Que signifie « fragmenter » en ANTLR ?

Question

Que signifie fragment en ANTLR ?

J'ai vu les deux règles :

 fragment DIGIT : '0'..'9';

et

 DIGIT : '0'..'9';

Quelle est la différence?

Answer 1

Cet article de blog a un exemple très clair où fragment fait une différence significative :

 grammar number;  

number: INT;  
DIGIT : '0'..'9';  
INT   :  DIGIT+;

La grammaire reconnaîtra '42' mais pas '7'. Vous pouvez le corriger en faisant de digit un fragment (ou en déplaçant DIGIT après INT).