()
| 409 | } |
| 410 | |
| 411 | Token ESCAPE() { |
| 412 | startCharIndex = input.index(); |
| 413 | startCharPositionInLine = input.getCharPositionInLine(); |
| 414 | consume(); // kill \\ |
| 415 | if ( c=='u' ) return UNICODE(); |
| 416 | String text; |
| 417 | switch (c) { |
| 418 | case '\\' : |
| 419 | LINEBREAK(); |
| 420 | return SKIP; |
| 421 | case 'n' : |
| 422 | text = "\n"; |
| 423 | break; |
| 424 | case 't' : |
| 425 | text = "\t"; |
| 426 | break; |
| 427 | case ' ' : |
| 428 | text = " "; |
| 429 | break; |
| 430 | default: |
| 431 | NoViableAltException e = new NoViableAltException("", 0, 0, input); |
| 432 | errMgr.lexerError(input.getSourceName(), "invalid escaped char: '"+str(c)+"'", templateToken, e); |
| 433 | consume(); |
| 434 | match(delimiterStopChar); |
| 435 | return SKIP; |
| 436 | } |
| 437 | consume(); |
| 438 | Token t = newToken(TEXT, text, input.getCharPositionInLine() -2); |
| 439 | match(delimiterStopChar); |
| 440 | return t; |
| 441 | } |
| 442 | |
| 443 | Token UNICODE() { |
| 444 | consume(); |
no test coverage detected