()
| 636 | } |
| 637 | |
| 638 | void LINEBREAK() { |
| 639 | match('\\'); // only kill 2nd \ as ESCAPE() kills first one |
| 640 | match(delimiterStopChar); |
| 641 | while ( c==' ' || c=='\t' ) consume(); // scarf WS after <\\> |
| 642 | if ( c==EOF ) { |
| 643 | RecognitionException re = new RecognitionException(input); |
| 644 | re.line = input.getLine(); |
| 645 | re.charPositionInLine = input.getCharPositionInLine(); |
| 646 | errMgr.lexerError(input.getSourceName(), "Missing newline after newline escape <\\\\>", templateToken, re); |
| 647 | return; |
| 648 | } |
| 649 | |
| 650 | if ( c=='\r' ) consume(); |
| 651 | match('\n'); |
| 652 | while ( c==' ' || c=='\t' ) consume(); // scarf any indent |
| 653 | } |
| 654 | |
| 655 | public static boolean isIDStartLetter(char c) { |
| 656 | return isIDLetter(c); |
no test coverage detected