(state, stream, type)
| 120 | } |
| 121 | |
| 122 | function pushContext(state, stream, type) { |
| 123 | state.context = new Context(type, stream.indentation() + indentUnit, state.context); |
| 124 | return type; |
| 125 | } |
| 126 | |
| 127 | function popContext(state) { |
| 128 | state.context = state.context.prev; |