(stream,state,string)
| 501 | return state.tokenize(stream,state);} |
| 502 | |
| 503 | function tokenSOMETHING(stream,state,string){ |
| 504 | state.tokenize=function(stream,state){ |
| 505 | if(stream.string==string) |
| 506 | state.tokenize=tokenPerl; |
| 507 | stream.skipToEnd(); |
| 508 | return "string";}; |
| 509 | return state.tokenize(stream,state);} |
| 510 | |
| 511 | function tokenPerl(stream,state){ |
| 512 | if(stream.eatSpace()) |