我有一个BNFC文件描述了一个由许多部分组成的配置文件,每个部分在[]之间都有一个名称,后面是一个简单声明列表
comment "#";
rulse Boolean ::= "True" | "False";
Conf. Config ::= [Section]; //a config is a list of sections
terminator Section "";
Sec. Section ::= "[" NomeSec "]" [Decl]; //A section is made of a name and a list of declarations
terminator Decl ";";
NomeSez. NomeSec ::= Ident;
Dec. Decl ::= VarN "=" Type;
VarName. VarN ::= Ident;
Int. Type::=Integer;
Char. Type::=Char;
String. Type::=String;
Float. Type::=Double;
Bool. Type::=Boolean;示例:
[Section1]
Var1 = 3;
Var2 = "test";
#ignored comment
[SectionA]
var4 = True;有一个未定义的节和声明的数目。
我从shell中运行了命令bnfc -m -java <filename>,从漂亮的打印机运行了一个部件,一切正常。当编译prettyprinter.java的时候会产生大量的错误。例如:
ES5/PrettyPrinter.java:10: error: reference to String is ambiguos
private static final String _L_PAREN = new String("("); both class
ES5.Absyn.String and class java.lang.String in java.lang match所有的错误都是这种类型的。我想知道,我刚刚构建了语法,我失败了语法,还是BNFC失败了?谢谢
发布于 2016-06-05 15:29:46
因为BNFC为每个类别和标签创建java类,如果使用java.lang中的名称,则会产生歧义(例如String、Boolean.)。
它适用于以下重命名(我还添加了一个显式入口点):
entrypoints Config;
comment "#";
rules MyBoolean ::= "True" | "False";
Conf. Config ::= [Section]; -- a config is a list of sections
terminator Section "";
Sec. Section ::= "[" NomeSec "]" [Decl]; -- A section is made of a name and a list of declarations
terminator Decl ";";
NomeSez. NomeSec ::= Ident;
Dec. Decl ::= VarN "=" Type;
VarName. VarN ::= Ident;
TInt. Type::=Integer;
TChar. Type::=Char;
TString. Type::=String;
TFloat. Type::=Double;
TBool. Type::=MyBoolean;https://stackoverflow.com/questions/37529742
复制相似问题