Как запускать функции в подузлах в дереве Ruby Treetop. (было: Как не допустить, чтобы рубиновый Treetop делал SST-сквош)

Я использую treetop некоторое время. Я написал правила следующие

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, Но ни одно из исключений не сработало.

Источник

2 ответа

Решение

Ты звонишь to_array на tree, который является Bodies, Это единственное, что вы когда-либо называли to_array на, так что нет другого to_array метод будет вызван.

Если ты хочешь to_array вызываться на дочерних узлах Bodies узел, Bodies#to_array нужно позвонить to_array на этих дочерних узлах. Так что если вы хотите позвонить на Body узлы, которые вы пометили interesting, вы должны перебрать interesting и позвонить .to_array на каждом элементе.

Источник

Попробуйте взломать (body+) в новое правило, как это:

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

rule interesting
   body+ <Interesting>
end

В противном случае было бы полезно увидеть классы SyntaxNode.

Источник
Другие вопросы по тегам