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