0

我似乎在 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;
4

1 回答 1

2

这在SableCC 文档中进行了解释，也就是 Étienne Gagnon 的硕士论文：

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

换句话说，如果不给其中至少一个命名（无论您是否正在生成 AST） ，您就不能id在生产中使用两次 for 。function_head

尝试这样的事情：

function_head = func id l_par [parameter]:id r_par;
于 2014-09-10T16:10:40.700 回答