1 | /* Generated By:JavaCC: Do not edit this line. JJTFramclipseNonScriptParserState.java Version 4.2 */ |
---|
2 | package com.framsticks.framclipse.internal.parser; |
---|
3 | |
---|
4 | public class JJTFramclipseNonScriptParserState { |
---|
5 | private java.util.List nodes; |
---|
6 | private java.util.List marks; |
---|
7 | |
---|
8 | private int sp; // number of nodes on stack |
---|
9 | private int mk; // current mark |
---|
10 | private boolean node_created; |
---|
11 | |
---|
12 | public JJTFramclipseNonScriptParserState() { |
---|
13 | nodes = new java.util.ArrayList(); |
---|
14 | marks = new java.util.ArrayList(); |
---|
15 | sp = 0; |
---|
16 | mk = 0; |
---|
17 | } |
---|
18 | |
---|
19 | /* Determines whether the current node was actually closed and |
---|
20 | pushed. This should only be called in the final user action of a |
---|
21 | node scope. */ |
---|
22 | public boolean nodeCreated() { |
---|
23 | return node_created; |
---|
24 | } |
---|
25 | |
---|
26 | /* Call this to reinitialize the node stack. It is called |
---|
27 | automatically by the parser's ReInit() method. */ |
---|
28 | public void reset() { |
---|
29 | nodes.clear(); |
---|
30 | marks.clear(); |
---|
31 | sp = 0; |
---|
32 | mk = 0; |
---|
33 | } |
---|
34 | |
---|
35 | /* Returns the root node of the AST. It only makes sense to call |
---|
36 | this after a successful parse. */ |
---|
37 | public Node rootNode() { |
---|
38 | return (Node)nodes.get(0); |
---|
39 | } |
---|
40 | |
---|
41 | /* Pushes a node on to the stack. */ |
---|
42 | public void pushNode(Node n) { |
---|
43 | nodes.add(n); |
---|
44 | ++sp; |
---|
45 | } |
---|
46 | |
---|
47 | /* Returns the node on the top of the stack, and remove it from the |
---|
48 | stack. */ |
---|
49 | public Node popNode() { |
---|
50 | if (--sp < mk) { |
---|
51 | mk = ((Integer)marks.remove(marks.size()-1)).intValue(); |
---|
52 | } |
---|
53 | return (Node)nodes.remove(nodes.size()-1); |
---|
54 | } |
---|
55 | |
---|
56 | /* Returns the node currently on the top of the stack. */ |
---|
57 | public Node peekNode() { |
---|
58 | return (Node)nodes.get(nodes.size()-1); |
---|
59 | } |
---|
60 | |
---|
61 | /* Returns the number of children on the stack in the current node |
---|
62 | scope. */ |
---|
63 | public int nodeArity() { |
---|
64 | return sp - mk; |
---|
65 | } |
---|
66 | |
---|
67 | |
---|
68 | public void clearNodeScope(Node n) { |
---|
69 | while (sp > mk) { |
---|
70 | popNode(); |
---|
71 | } |
---|
72 | mk = ((Integer)marks.remove(marks.size()-1)).intValue(); |
---|
73 | } |
---|
74 | |
---|
75 | |
---|
76 | public void openNodeScope(Node n) { |
---|
77 | marks.add(new Integer(mk)); |
---|
78 | mk = sp; |
---|
79 | n.jjtOpen(); |
---|
80 | } |
---|
81 | |
---|
82 | |
---|
83 | /* A definite node is constructed from a specified number of |
---|
84 | children. That number of nodes are popped from the stack and |
---|
85 | made the children of the definite node. Then the definite node |
---|
86 | is pushed on to the stack. */ |
---|
87 | public void closeNodeScope(Node n, int num) { |
---|
88 | mk = ((Integer)marks.remove(marks.size()-1)).intValue(); |
---|
89 | while (num-- > 0) { |
---|
90 | Node c = popNode(); |
---|
91 | c.jjtSetParent(n); |
---|
92 | n.jjtAddChild(c, num); |
---|
93 | } |
---|
94 | n.jjtClose(); |
---|
95 | pushNode(n); |
---|
96 | node_created = true; |
---|
97 | } |
---|
98 | |
---|
99 | |
---|
100 | /* A conditional node is constructed if its condition is true. All |
---|
101 | the nodes that have been pushed since the node was opened are |
---|
102 | made children of the conditional node, which is then pushed |
---|
103 | on to the stack. If the condition is false the node is not |
---|
104 | constructed and they are left on the stack. */ |
---|
105 | public void closeNodeScope(Node n, boolean condition) { |
---|
106 | if (condition) { |
---|
107 | int a = nodeArity(); |
---|
108 | mk = ((Integer)marks.remove(marks.size()-1)).intValue(); |
---|
109 | while (a-- > 0) { |
---|
110 | Node c = popNode(); |
---|
111 | c.jjtSetParent(n); |
---|
112 | n.jjtAddChild(c, a); |
---|
113 | } |
---|
114 | n.jjtClose(); |
---|
115 | pushNode(n); |
---|
116 | node_created = true; |
---|
117 | } else { |
---|
118 | mk = ((Integer)marks.remove(marks.size()-1)).intValue(); |
---|
119 | node_created = false; |
---|
120 | } |
---|
121 | } |
---|
122 | } |
---|
123 | /* JavaCC - OriginalChecksum=ed2f6ddf30a55603bf51a90fa2bd55b9 (do not edit this line) */ |
---|