()
| 604 | } |
| 605 | |
| 606 | void LINEBREAK() { |
| 607 | match('\\'); // only kill 2nd \ as ESCAPE() kills first one |
| 608 | match(delimiterStopChar); |
| 609 | while ( c==' ' || c=='\t' ) consume(); // scarf WS after <\\> |
| 610 | if ( c==EOF ) { |
| 611 | RecognitionException re = new RecognitionException(input); |
| 612 | re.line = input.getLine(); |
| 613 | re.charPositionInLine = input.getCharPositionInLine(); |
| 614 | errMgr.lexerError(input.getSourceName(), "Missing newline after newline escape <\\\\>", templateToken, re); |
| 615 | return; |
| 616 | } |
| 617 | |
| 618 | if ( c=='\r' ) consume(); |
| 619 | match('\n'); |
| 620 | while ( c==' ' || c=='\t' ) consume(); // scarf any indent |
| 621 | } |
| 622 | |
| 623 | public static boolean isIDStartLetter(char c) { |
| 624 | return isIDLetter(c); |
no test coverage detected