ParserRule匹配錯誤的標記

Question

我想學習一點ANTLR4並定義一些4GL語言的語法。

這是我有：

compileUnit 
: 
    typedeclaration EOF 
; 

typedeclaration 
: 
    ID LPAREN DATATYPE INT RPAREN 
; 

DATATYPE 
: 
    DATATYPE_ALPHANUMERIC 
    | DATATYPE_NUMERIC 
; 

DATATYPE_ALPHANUMERIC 
: 
    'A' 
; 

DATATYPE_NUMERIC 
: 
    'N' 
; 

fragment 
DIGIT 
: 
    [0-9] 
; 

fragment 
LETTER 
: 
    [a-zA-Z] 
; 

INT 
: 
    DIGIT+ 
; 

ID 
: 
    LETTER 
    (
     LETTER 
     | DIGIT 
    )* 
; 

LPAREN 
: 
    '(' 
; 

RPAREN 
: 
    ')' 
; 

WS 
: 
    [ \t\f]+ -> skip 
; 

我希望能夠解析什麼：

TEST（A10）

我得到什麼：

typedeclaration：1：6：不匹配輸入'A10'期待DATATYPE

不過，我能寫：

測試（10）

爲什麼我需要把空白會在這裏？ LPAREN DATATYPE本身正在工作，所以不需要在兩者之間留出空間。 INT RPAREN也在工作。 爲什麼DATATYPE和INT之間需要一個空間？我對這個有點困惑。 我想它是匹配ID，因爲它是「最長」的匹配，但是必須有某種方法來強迫這裏變得更懶，對嗎？

Answer 1

您應該在ID的第一個位置忽略'A'和'N'聊天。由於@CoronA注意到ANTLR儘可能長地匹配令牌（ID'A10'的長度超過DATATYPE_ALPHANUMERIC'A'的長度）。另請閱讀：Priority rules。嘗試使用以下語法：

grammar expr; 

compileUnit 
    : typedeclaration EOF 
    ; 

typedeclaration 
    : ID LPAREN datatype INT RPAREN 
    ; 

datatype 
    : DATATYPE_ALPHANUMERIC 
    | DATATYPE_NUMERIC 
    ; 

DATATYPE_ALPHANUMERIC 
    : 'A' 
    ; 

DATATYPE_NUMERIC 
    : 'N' 
    ; 

INT 
    : DIGIT+ 
    ; 

ID 
    : [b-mo-zB-MO-Z] (LETTER | DIGIT)* 
; 

LPAREN 
    : '(' 
    ; 

RPAREN 
    : ')' 
    ; 

WS 
    : [ \t\f]+ -> skip 
    ; 

fragment 
DIGIT 
    : [0-9] 
    ; 

fragment 
LETTER 
    : [a-zA-Z] 
    ; 

此外，您可以使用以下不帶ID限制的語法。數據類型將比字母更早識別。它也不清楚：

grammar expr; 

compileUnit 
    : typedeclaration EOF 
    ; 

typedeclaration 
    : id LPAREN datatype DIGIT+ RPAREN 
    ; 

id 
    : (datatype | LETTER) (datatype | LETTER | DIGIT)* 
    ; 

datatype 
    : DATATYPE_ALPHANUMERIC 
    | DATATYPE_NUMERIC 
    ; 

DATATYPE_ALPHANUMERIC: 'A'; 
DATATYPE_NUMERIC:  'N'; 
// List with another Data types. 
LETTER:    [a-zA-Z]; 

LPAREN 
    : '(' 
    ; 

RPAREN 
    : ')' 
    ; 

WS 
    : [ \t\f]+ -> skip 
    ; 

DIGIT 
    : [0-9] 
    ;