ANTRL простой грамматики и идентификатор

Question

Я написал эту простую грамматику для ANTLR

grammar ALang; 

@members { 

public static void main(String[] args) throws Exception { 
    ALangLexer lex = new ALangLexer(new ANTLRFileStream("antlr/ALang.al")); 
    CommonTokenStream tokens = new CommonTokenStream(lex); 
    ALangParser parser = new ALangParser(tokens); 
    parser.prog(); 
} 

} 

prog : 
    ID | PRINT 
    ; 

PRINT : 'print'; 
ID : ('a'..'z' | 'A'..'Z')+; 
WS : (' ' | '\t' | '\n' | '\r')+ { skip(); }; 

Использование в качестве входных данных:

print 

единственный маркер найден является маркером типа ID. Недостаточно ли поставить определение токена PRINT прямо перед определением идентификатора?

Answer 1

ALang.g:21:1: The following token definitions can never be matched because prior tokens match the same input: PRINT

Да, этого достаточно. Если определить PRINTпослеID, ANTLR выдаст ошибку:

ALang.g:21:1: The following token definitions can never be matched because prior tokens match the same input: PRINT 

I'm so sorry, i didn't want to use this production: PRINT : 'print '; but the production without the trailing space: PRINT : 'print'; The problem is that 'print' is derived from ID and not from PRINT

Нет, это не может быть.

Следующая:

grammar ALang; 

@members { 
    public static void main(String[] args) throws Exception { 
    ALangLexer lex = new ALangLexer(new ANTLRStringStream("sprint print prints foo")); 
    CommonTokenStream tokens = new CommonTokenStream(lex); 
    ALangParser parser = new ALangParser(tokens); 
    parser.prog(); 
    } 
} 

prog 
: (ID {System.out.printf("ID :: '\%s'\n", $ID.text);} 
    | PRINT {System.out.printf("PRINT :: '\%s'\n", $PRINT.text);} 
    )* 
    EOF 
; 

PRINT : 'print'; 
ID : ('a'..'z' | 'A'..'Z')+; 
WS : (' ' | '\t' | '\n' | '\r')+ {skip();}; 

напечатает:

ID :: 'sprint' 
PRINT :: 'print' 
ID :: 'prints' 
ID :: 'foo' 

Как вы видите, PRINT правило делает матч "print".