1 | String pushElement(String name)↵ | | 1 | String pushElement(String name)↵
|
2 | {↵ | | 2 | {↵
|
3 | name = (name == null) ? null : name.intern();↵ | | 3 | name = (name == null) ? null : name.intern();↵
|
|
4 | stateStack.push(name);↵ | | 4 | stateStack.push(name);↵
|
|
5 | return name;↵ | | 5 | return name;↵
|
6 | } //}}}↵ | | 6 | }↵
|
|
7 | //{{{ peekElement() method↵ | | |
|
|
8 | private String peekElement()↵ | | 7 | private String peekElement()↵
|
9 | {↵ | | 8 | {↵
|
10 | return (String) stateStack.peek();↵ | | 9 | return (String) stateStack.peek();↵
|
11 | } //}}}↵ | | 10 | }↵
|
|
12 | //{{{ popElement() method↵ | | |
|
|
13 | private String popElement()↵ | | 11 | private String popElement()↵
|
14 | {↵ | | 12 | {↵
|
15 | return (String) stateStack.pop();↵ | | 13 | return (String) stateStack.pop();↵
|
16 | } | | 14 | }
|