changeset 25522 | 10d789df41bb |
parent 23010 | 6dadb192ad81 |
25521:80551dd1d902 | 25522:10d789df41bb |
---|---|
98 mk = marks.pop().intValue(); |
98 mk = marks.pop().intValue(); |
99 } |
99 } |
100 |
100 |
101 |
101 |
102 void openNodeScope(Node n) { |
102 void openNodeScope(Node n) { |
103 marks.push(new Integer(mk)); |
103 marks.push(mk); |
104 mk = sp; |
104 mk = sp; |
105 n.jjtOpen(); |
105 n.jjtOpen(); |
106 } |
106 } |
107 |
107 |
108 |
108 |