()
| 47393 | } |
| 47394 | |
| 47395 | function state_op() { |
| 47396 | if(/[>\+~]/.test(c)) { |
| 47397 | return gathered.push(c) |
| 47398 | } |
| 47399 | |
| 47400 | // chomp down the following whitespace. |
| 47401 | if(/\s/.test(c)) { |
| 47402 | return |
| 47403 | } |
| 47404 | |
| 47405 | stream.queue(token()) |
| 47406 | state = READY |
| 47407 | --idx |
| 47408 | } |
| 47409 | |
| 47410 | function state_any_child() { |
| 47411 | if(/\s/.test(c)) { |