(stream)
| 70 | return"comment"; |
| 71 | } |
| 72 | function tokenCommentToEOF(stream){return stream.skipToEnd(),"comment";} |
| 73 | function tokenString(stream,state){ |
| 74 | var escaped=false,next,end=false; |
| 75 | while((next=stream.next())){ |
nothing calls this directly
no outgoing calls
no test coverage detected