(stream, c)
| 817 | |
| 818 | // return a part of suffix of current stream from current position |
| 819 | function suffix(stream, c){ |
| 820 | var y=stream.string.length; |
| 821 | var x=y-stream.pos+1; |
| 822 | return stream.string.substr(stream.pos,(c&&c<y?c:x)); |
| 823 | } |
| 824 | |
| 825 | // eating and vomiting a part of stream from current position |
| 826 | function eatSuffix(stream, c){ |