0

我一直在使用树顶。我写了以下规则

http://thingsaaronmade.com/blog/a-quick-intro-to-writing-a-parser-using-treetop.html

我可以解析我的整个输入字符串，但to_array除了最初的函数之外，我没有其他函数被触发。

然后我找到了https://whitequark.org/blog/2011/09/08/treetop-typical-errors/，我发现AST squashing我的规则也在做同样的事情。

我的第一条规则是

  rule bodies
    blankLine* interesting:(body+) blankLine* <Bodies>
  end

一切都被吞噬了body。

有人可以建议我如何解决这个问题吗？

编辑 添加代码片段：

grammar Sexp

  rule bodies
    blankLine* interesting:(body+) blankLine* <Bodies>
  end

  rule body
    commentPortString (ifdef_blocks / interface)+ (blankLine / end_of_file) <Body>
  end

  rule interface
    space? (intf / intfWithSize) space?  newLine <Interface>
  end

  rule commentPortString
    space? '//' space portString space?  <CommentPortString>
  end

  rule portString
    'Port' space? '.' newLine <PortString>
  end

  rule expression
    space? '(' body ')' space? <Expression>
  end

  rule intf
    (input / output) space wire:wireName space? ';' <Intf>
  end

  rule intfWithSize
    (input / output) space? width:ifWidth space? wire:wireName space? ';' <IntfWithSize>
  end

  rule input
    'input' <InputDir>
  end

  rule output
    'output' <OutputDir>
  end

  rule ifdef_blocks
    ifdef_line (interface / ifdef_block)* endif_line <IfdefBlocks>
  end

  rule ifdef_block
    ifdef_line interface* endif_line <IfdefBlocks>
  end

  rule ifdef_line
    space? (ifdef / ifndef) space+  allCaps space? newLine <IfdefLine>
  end

  rule endif_line
    space? (endif) space? newLine <EndifLine>
  end

  rule ifdef
    '`ifdef' <Ifdef>
  end

  rule ifndef
    '`ifndef' <Ifndef>
  end

  rule endif
    '`endif' <Endif>
  end

  rule ifWidth
    '[' space? msb:digits space? ':' space? lsb:digits ']' <IfWidth>
  end

  rule digits
    [0-9]+ <Digits>
  end

  rule integer
    ('+' / '-')? [0-9]+ <IntegerLiteral>
  end

  rule float
    ('+' / '-')? [0-9]+ (('.' [0-9]+) / ('e' [0-9]+)) <FloatLiteral>
  end

  rule string
    '"' ('\"' / !'"' .)* '"' <StringLiteral>
  end

  rule identifier
    [a-zA-Z\=\*] [a-zA-Z0-9_\=\*]* <Identifier>
  end

  rule allCaps
    [A-Z] [A-Z0-9_]*
  end

  rule wireName
    [a-zA-Z] [a-zA-Z0-9_]* <WireName>
  end

  rule non_space
    !space .
  end

  rule space
    [^\S\n]+
  end

  rule non_space
    !space .
  end

  rule blankLine
    space* newLine
  end

  rule not_newLine
    !newLine .
  end

  rule newLine
    [\n\r]
  end

  rule end_of_file
    !.
  end

end

测试字符串

// Port.
input         CLK;

// Port.
input         REFCLK;

// Port.
input [ 41:0] mem_power_ctrl;
output data;

编辑：添加更多细节

测试代码签入： https ://github.com/justrajdeep/treetop_ruby_issue 。

正如您在我的node_extensions.rb所有节点中看到的那样，Bodies除了在方法中引发异常to_array。但没有任何异常触发。

4

2 回答 2

1

你打电话to_array，tree这是一个Bodies。这是你唯一调用过的东西to_array，所以不会调用其他to_array方法。

如果要to_array在节点的子节点上被调用Bodies，则Bodies#to_array需要to_array在那些子节点上调用。所以如果你想在Body你标记的节点上调用它interesting，你应该迭代interesting并调用.to_array每个元素。

于 2018-08-02T21:16:05.747 回答
0

尝试打破(body+)这样的新规则：

rule bodies
   blankLine* interesting:interesting blankLine* <Bodies>
end

rule interesting
   body+ <Interesting>
end

否则，查看 SyntaxNode 类会很有帮助。

于 2018-08-02T18:09:16.967 回答