Antlr4如何建立一個語法允許關鍵字作爲標識符

這是一個演示代碼Antlr4如何建立一個語法允許關鍵字作爲標識符

label: 
var id 
let id = 10 
goto label

如果允許關鍵字作爲標識符將

let: 
var var 
let var = 10 
goto let

這是完全合法的代碼。但是在antlr中這樣做很難。

AFAIK，如果antlr匹配令牌讓，永遠不會退回到id令牌。所以ANTLR會看到

LET_TOKEN : 
VAR_TOKEN <missing ID_TOKEN>VAR_TOKEN 
LET_TOKEN <missing ID_TOKEN>VAR_TOKEN = 10

雖然ANTLR允許predicate，我必須控制不斷令牌匹配和問題。語法變成這樣

grammar Demo; 
options { 
    language = Go; 
} 
@parser::members{ 
    var _need = map[string]bool{} 
    func skip(name string,v bool){ 
     _need[name] = !v 
     fmt.Println("SKIP",name,v) 
    } 
    func need(name string)bool{ 
     fmt.Println("NEED",name,_need[name]) 
     return _need[name] 
    } 
} 

[email protected]{skip("inst",false)}: (line? NL)* EOF; 
line 
    : VAR ID 
    | LET ID EQ? Integer 
    ; 

NL: '\n'; 
VAR: {need("inst")}? 'var' {skip("inst",true)}; 
LET: {need("inst")}? 'let' {skip("inst",true)}; 
EQ: '='; 

ID: ([a-zA-Z] [a-zA-Z0-9]*); 
Integer: [0-9]+; 

WS: [ \t] -> skip;

看起來真可怕。

但是，這很容易在PEG，在pegjs

Expression = (Line? _ '\n')* ; 

Line 
    = 'var' _ ID 
/'let' _ ID _ "=" _ Integer 

Integer "integer" 
    = [0-9]+ { return parseInt(text(), 10); } 

ID = [a-zA-Z] [a-zA-Z0-9]* 

_ "whitespace" 
    = [ \t]*

測試這個我其實在peggo和javacc做到了這一點。

我的問題是如何在antlr4.6中處理這些語法，我對antlr4.6 go的目標非常興奮，但似乎我爲我的語法選擇了錯誤的工具？

來源

2017-01-02 wener

最簡單的方法是定義一個解析器規則標識符：

id: ID | VAR | LET; 

VAR: 'var'; 
LET: 'let'; 
ID: [a-zA-Z] [a-zA-Z0-9]*;

然後用id而不是ID在你的語法規則。

另一種方法是使用ID作爲標識符和關鍵字，並使用謂詞進行消歧。但它的可讀性較差，所以我會用第一種方式代替。

來源

2017-01-02 13:42:40

Antlr4如何建立一個語法允許關鍵字作爲標識符

回答

相關問題