1 | private String pushElement(String name)↵ | | 1 | private 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 | //}}}↵
|
|
| | | 8 | //{{{ peekElement() method↵
|
7 | private String peekElement()↵ | | 9 | private String peekElement()↵
|
8 | {↵ | | 10 | {↵
|
9 | return (String) stateStack.peek();↵ | | 11 | return (String) stateStack.peek();↵
|
10 | }↵ | | 12 | }↵
|
| | | 13 | //}}}↵
|
|
| | | 14 | //{{{ popElement() method↵
|
11 | private String popElement()↵ | | 15 | private String popElement()↵
|
12 | {↵ | | 16 | {↵
|
13 | return (String) stateStack.pop(); | | 17 | return (String) stateStack.pop();
|