| 382 | } |
| 383 | |
| 384 | void EraseId(ExprId id) { |
| 385 | positions_.erase(id); |
| 386 | if (expr_id_ == id + 1) { |
| 387 | --expr_id_; |
| 388 | } |
| 389 | } |
| 390 | |
| 391 | protected: |
| 392 | int64_t NextId() override { return NextId(macro_position_); } |
no outgoing calls
no test coverage detected