如何在Ruby Treetop树的子节点中触发函数。（是：如何防止红宝石Treetop进行AST压榨）

Question

我使用树梢已有一段时间了。 我写了以下规则

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看到的node_extensions.rb ，除了Bodies之外，所有节点都在to_array方法中引发异常。 但是没有异常触发。

Answer 1

您在tree调用to_array ，它是一个Bodies 。 那是您曾经调用过to_array to_array方法，因此不会调用其他to_array方法。

如果你想to_array的子节点上被称为Bodies的节点， Bodies#to_array需要调用to_array这些子节点上。 因此，如果要在标记为“ interesting的Body节点上调用它，则应遍历interesting并在每个元素上调用.to_array 。

Answer 2

尝试将(body+)分解成这样的新规则：

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

rule interesting
   body+ <Interesting>
end

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

如何在Ruby Treetop树的子节点中触发函数。（是：如何防止红宝石Treetop进行AST压榨）

问题描述

2 个解决方案

解决方案1
1 已采纳 2018-08-02 21:16:05

解决方案2
0 2018-08-02 18:09:16

如何在Ruby Treetop树的子节点中触发函数。 （是：如何防止红宝石Treetop进行AST压榨）

问题描述

2 个解决方案

解决方案1 1 已采纳 2018-08-02 21:16:05

解决方案2 0 2018-08-02 18:09:16

如何在Ruby Treetop树的子节点中触发函数。（是：如何防止红宝石Treetop进行AST压榨）

解决方案1
1 已采纳 2018-08-02 21:16:05

解决方案2
0 2018-08-02 18:09:16