我正在尝试在Antlr中为命题逻辑创建BNF语法,但我不断收到错误消息:
java.lang.NoSuchFieldError:offendingToken
由于没有显示行号,所以我不知道错误在哪里。 构建成功,但是当我输入示例输入时,树停在句子中,这是BNF中定义的第一项。
这是我的BNF:
grammar Grammar;
options {
language = Java;
output = AST;
ASTLabelType=CommonTree;
}
@header {
package antlr;
}
@members {
}
@lexer::header { //lexer
package antlr;
}
@lexer::members {
}
sentence: atomicsentence | complexsentence;
atomicsentence: 'T' | 'F' | symbol;
complexsentence: unop sentence | sentence binop sentence | (sentence);
unop: 'NOT';
binop: 'AND' | 'OR' | 'IMPLIES' | 'EQUIVALENT';
symbol: (LEXRULE)+;
LEXRULE: ('a'..'z')|('A'..'Z');
如果您在句子中注释掉复杂句,则原子句部分会起作用,直到由于没有EOF而终止为止。 我不确定应该在哪里,因为将其添加到句子中不起作用。
好吧,请举例说明您的输入。
另外向我们显示您的语法的完整来源,包括标题
我添加了完整的语法。 我也尝试了各种输入,最简单的输入是NOT p,这不起作用。
看看我编辑的答案
您的语法是递归的,ANTLR在尝试生成解析器时会提到:
[17:31:32] error(210): The following sets of rules are mutually left-recursive [complexsentence, sentence]
[17:31:32] Aborting because the following rules are mutually left-recursive:
[[T.complexsentence,index=4,line=15], [T.sentence,index=2,line=11]]
规则sentence与complexsentence匹配,而complexsentence规则又与sentence匹配。 ANTLR(v3)无法应付此类左递归规则。
语法的另一个问题是,您没有用于whiate空间的词法分析器规则,但是示例输入"NOT p"包含空格。
有关使用ANTLR的简单表达式解析器,请参阅:
ANTLR:有一个简单的例子吗?
使用ANTLR 3.3吗?
(编辑)
我已经重构了您的语法,因此它应该可以按您的预期工作。
grammar Grammar;
options {
language = Java;
output = AST;
ASTLabelType=CommonTree;
}
tokens {
CODE;
}
@header {
package antlr;
}
@members {
}
@lexer::header { //lexer
package antlr;
}
@lexer::members {
}
code : sentence -> ^(CODE code);
sentence: UNOP? complexsentence (BINOP sentence)?;
atomicsentence: 'T' | 'F' | SYMBOL;
complexsentence: atomicsentence | '(' sentence ')';
UNOP: 'NOT';
BINOP: 'AND' | 'OR' | 'IMPLIES' | 'EQUIVALENT';
SYMBOL: LEXRULE+;
fragment
LEXRULE: ('a'..'z')|('A'..'Z');
对不起,我是antlr的新手,但是是的,我的意思是(句子)允许用户在输入中使用方括号。 但是,使用此修复程序,仍会产生相同的错误。