(SavePoint savePoint)
| 227 | } |
| 228 | |
| 229 | public void reset(SavePoint savePoint) { |
| 230 | this.pos = savePoint.bp; |
| 231 | this.bufPos = savePoint.sp; |
| 232 | this.mark = savePoint.np; |
| 233 | this.ch = savePoint.ch; |
| 234 | this.token = savePoint.token; |
| 235 | this.stringVal = savePoint.stringVal; |
| 236 | this.hash = savePoint.hash; |
| 237 | this.hashLCase = savePoint.hashLCase; |
| 238 | this.startPos = savePoint.startPos; |
| 239 | } |
| 240 | |
| 241 | //出现多次调用mark()后调用reset()会有问题 |
| 242 | @Deprecated |
no test coverage detected