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