(ContextType type)
| 125 | } |
| 126 | |
| 127 | private void pushContext(ContextType type) { |
| 128 | ParserContext parent = currentContext(); |
| 129 | ParserContext ctx = new ParserContext(parent, type); |
| 130 | if (this.forceStrict || (this.context.size() > 0 && currentContext().isStrict())) { |
| 131 | ctx.setStrict(true); |
| 132 | } |
| 133 | this.context.add(ctx); |
| 134 | } |
| 135 | |
| 136 | private void popContext() { |
| 137 | this.context.remove(this.context.size() - 1); |
no test coverage detected