()
| 708 | } |
| 709 | |
| 710 | function state_op() { |
| 711 | if(/[>\+~]/.test(c)) { |
| 712 | return gathered.push(c) |
| 713 | } |
| 714 | |
| 715 | // chomp down the following whitespace. |
| 716 | if(/\s/.test(c)) { |
| 717 | return |
| 718 | } |
| 719 | |
| 720 | stream.queue(token()) |
| 721 | state = READY |
| 722 | --idx |
| 723 | } |
| 724 | |
| 725 | function state_any_child() { |
| 726 | if(/\s/.test(c)) { |