我似乎在SableCC生成相关词法分析器,节点和解析通常由语法文件自动生成的内容方面遇到问题。我现在没有实现抽象语法树。
当我尝试使用下面的语法文件运行SableCC时,出现以下错误:
[41,33]重新定义AFunctionHead.Id。我知道问题出在哪里,但这似乎是生产领域中的问题。我可能想念什么吗?
Package Grammar_Specification;
Helpers
digit = ['0'..'9'];
letter = (['a'..'z'] | ['A'..'Z']);
underscore = '_';
plus = '+';
minus = '-';
mult = '*';
div = '/';
equals = '=';
l_par = '(';
r_par = ')';
l_curly = '{';
r_curly = '}';
unicode_input_character = [0..0xffff];
lf = 0x000a;
cr = 0x000d;
line_terminator = lf | cr | cr lf;
input_character = [unicode_input_character - [cr + lf]];
not_star = [input_character - '*'] | line_terminator;
not_star_not_slash = [input_character - ['*' + '/']] | line_terminator;
multi_line_comment = '/*' not_star+ '*'+ (not_star_not_slash not_star* '*'+)* '/';
line_comment = '//' input_character* line_terminator?;
Tokens
func = 'FUNC';
id = (letter(letter | digit | underscore)* | underscore(letter | digit | underscore)*);
float_literal = minus? digit (digit)* ('.' (digit)*)? (('e' | 'E') (plus | minus)? digit (digit)*)?;
whitespace = (' ' | '\t' | '\n' | '\r')+;
comment = multi_line_comment | line_comment;
Productions
program = function_decl*statement*;
function_decl = function_head function_body;
function_head = func id l_par id r_par;
function_body = l_curly statement* r_curly;
statement = id equals expression;
expression = expression plus term |
expression minus term |
term;
term = term mult factor |
term div factor |
factor;
factor = l_par expression r_par |
identifier l_par expression r_par |
float_literal |
id;
最佳答案
这在SableCC documentation(又称为ÉtienneGagnon的硕士论文)中进行了解释:
与替代方案不同,元素具有明显的名称候选者,即元素本身的标识符。只要一个元素在同一替代方案中不出现两次,这将起作用。在这种情况下,当前版本的SableCC要求至少两个元素之一的名称。 (为了向后兼容,重复元素的一次出现可以保持未命名)。如果没有提供足够的名称,SableCC将发出错误。通过在方括号之间用标识符加上前缀和冒号来指定元素名称。
换句话说,在id
的生产中不能两次使用function_head
而不给它们至少一个命名(无论您是否生成AST)。
尝试这样的事情:
function_head = func id l_par [parameter]:id r_par;
关于java - SableCC语法文件存在问题,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/25769828/