[英]define a grammar in Antlr
我定義了以下語法。
grammar Sample_1;
@header {
package a;
}
@lexer::header {
package a;
}
program
:
define*
implement*
;
define
: IDENT '=(' INTEGER',' INTEGER ')'
;
implement
:IDENT '=(' (IDENT ','?)* ')'
;
fragment LETTER : ('a'..'z' | 'A'..'Z') ;
fragment DIGIT : '0'..'9';
INTEGER : DIGIT+ ;
IDENT : LETTER (LETTER | DIGIT)*;
WS : (' ' | '\t' | '\n' | '\r' | '\f')+ {$channel = HIDDEN;};
COMMENT : '//' .* ('\n'|'\r') {$channel = HIDDEN;};
如何檢查這種語法,以便當我有例子時
A=(1,1)
B=(1,2)
G=(A,B)
結果是成功的,但是如果我寫
A=(1,1)
B=(1,2)
G=(A,E)
它給出一個錯誤,未定義E謝謝
結果:非常感謝:
grammar Sample_1;
@members{
int level=0;
}
@header {
package a;
}
@lexer::header {
package a;
}
program
:
block
;
block
scope {
List symbols;
}
@init {
$block::symbols=new ArrayList();
level++;
}
@after {
System.err.println("Hello");
level--;
}
: (define* implement+)
;
define
: IDENT {$block::symbols.add($IDENT.text);} '=(' INTEGER',' INTEGER ')'
;
implement
:IDENT '=(' (a=IDENT
{if (!$block::symbols.contains($a.text)){
System.err.println("undefined");
}}','?)* ')'
;
fragment LETTER : ('a'..'z' | 'A'..'Z') ;
fragment DIGIT : '0'..'9';
INTEGER : DIGIT+ ;
IDENT : LETTER (LETTER | DIGIT)*;
WS : (' ' | '\t' | '\n' | '\r' | '\f')+ {$channel = HIDDEN;};
COMMENT : '//' .* ('\n'|'\r') {$channel = HIDDEN;};
Antlr支持動作 ,語法文件中嵌入了一些代碼片段。
分配動作可以存儲到地圖中。 右側IDENT的操作可能會嘗試從映射中提取一個值,如果失敗則拋出異常。
Terrence Parr的“權威ANTLR參考”的第6章介紹了操作。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.