Question

我似乎遇到了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;

Answer 1

这在SableCC documentation中解释，又名ÉtienneGagnon的硕士论文：

与替代方案不同，元素有一个明显的名称候选者，它是元素本身的标识符。这将起作用，只要元素在同一替代中不出现两次。在这种情况下，当前版本的SableCC需要两个元素中至少一个的名称。（为了向后兼容，重复元素的一次出现可以保持未命名）。如果没有提供足够的名称，SableCC将发出错误。元素名称通过在元素前面加上方括号后跟冒号的标识符来指定。

换句话说，您不能在id的制作中使用function_head两次，而不至少给其中一个名称（无论您是否生成AST）。

尝试这样的事情：

function_head = func id l_par [parameter]:id r_par;

SableCC语法文件的问题

1 个答案: