| 356 | } |
| 357 | |
| 358 | public void stash() { |
| 359 | int count = 0; |
| 360 | while (!unparsed.isEmpty()) { |
| 361 | stashedStrings.push(unparsed.pop()); |
| 362 | stashedNumbers.push(unparsedPosition.pop()); |
| 363 | stashedNumbers.push(unparsedPosition.pop()); |
| 364 | count++; |
| 365 | } |
| 366 | stashedStrings.push(next != null ? next : NULL_SENTINEL); |
| 367 | stashedNumbers.push(getPosition()); |
| 368 | stashedNumbers.push(count); |
| 369 | // clear next because we create a new parsing context |
| 370 | next = null; |
| 371 | } |
| 372 | |
| 373 | public void unparse(CharSequence what, int last, int pos) { |
| 374 | unparsed.push(what); |