BNFC довольно принтер Java ошибка

Question

У меня есть этот файл 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;

с неопределенным количеством разделов и объявлений.

Я управлял командой 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 не удалось? Спасибо

Answer 1

Потому что 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;