(stream, state)
| 348 | }); |
| 349 | |
| 350 | function tokenTripleString(stream, state) { |
| 351 | var escaped = false; |
| 352 | while (!stream.eol()) { |
| 353 | if (!escaped && stream.match('"""')) { |
| 354 | state.tokenize = null; |
| 355 | break; |
| 356 | } |
| 357 | escaped = stream.next() == "\\" && !escaped; |
| 358 | } |
| 359 | return "string"; |
| 360 | } |
| 361 | |
| 362 | def("text/x-scala", { |
| 363 | name: "clike", |
nothing calls this directly
no outgoing calls
no test coverage detected