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