| 189 | push_marked_until(pos); |
| 190 | } |
| 191 | State save() { |
| 192 | State result; |
| 193 | result.pos = pos; |
| 194 | result.marker = marker; |
| 195 | return result; |
| 196 | } |
| 197 | void restore(State state) { |
| 198 | pos = state.pos; |
| 199 | marker = state.marker; |
no outgoing calls
no test coverage detected