ruby - 学习树顶

Question

我正在尝试自学 Ruby 的 Treetop 语法生成器。我发现，不仅“最佳”文档的文档少得可怜，而且它似乎也不像我希望的那样直观地工作。

在高层次上，我真的很喜欢比现场文档或视频更好的教程，如果有的话。

在较低的层次上，这是一个我根本无法使用的语法:

grammar SimpleTest

  rule num
    (float / integer)
  end

  rule float
   (
    (( '+' / '-')? plain_digits '.' plain_digits) /
    (( '+' / '-')? plain_digits ('E' / 'e') plain_digits ) /
    (( '+' / '-')? plain_digits '.') / 
    (( '+' / '-')? '.' plain_digits) 
   ) {
      def eval
        text_value.to_f
      end
   }
  end

  rule integer
    (( '+' / '-' )? plain_digits) {
      def eval
        text_value.to_i
      end
    }
  end

  rule plain_digits
    [0-9] [0-9]*      
  end

end

当我加载它并在一个非常简单的测试对象中运行一些断言时，我发现:

assert_equal @parser.parse('3.14').eval,3.14

工作正常，而

assert_equal @parser.parse('3').eval,3

引发错误:NoMethodError:为 # 调用了私有(private)方法“eval”

如果我在描述中反转整数和 float ，整数和 float 都会给我这个错误。我认为这可能与有限的前瞻有关，但我无法在任何文档中找到任何信息来涵盖在“或”上下文中进行评估的想法

更多信息可能会有所帮助。这是这两个 parse() block 的 pp 信息。

float :

SyntaxNode+Float4+Float0 offset=0, "3.14" (eval,plain_digits):
  SyntaxNode offset=0, ""
  SyntaxNode+PlainDigits0 offset=0, "3":
    SyntaxNode offset=0, "3"
    SyntaxNode offset=1, ""
  SyntaxNode offset=1, "."
  SyntaxNode+PlainDigits0 offset=2, "14":
    SyntaxNode offset=2, "1"
    SyntaxNode offset=3, "4":
      SyntaxNode offset=3, "4"

Integer...注意它似乎已经被定义为遵循整数规则，但没有捕获到 eval() 方法:

SyntaxNode+Integer0 offset=0, "3" (plain_digits):
  SyntaxNode offset=0, ""
  SyntaxNode+PlainDigits0 offset=0, "3":
    SyntaxNode offset=0, "3"
    SyntaxNode offset=1, ""

更新:

我解决了我的特殊问题，但我不知道为什么:

  rule integer
    ( '+' / '-' )? plain_digits
     {
      def eval
        text_value.to_i
      end
    }
  end

这对于存在的文档没有任何意义，但只需删除额外的括号就可以使匹配包括 Integer1 类和 Integer0。 Integer1 显然是持有 eval() 方法的类。我不知道为什么会这样。

我仍在寻找有关 treetop 的更多信息。

Answer 1

您可能会喜欢 Paul Battley 在 Getting started with Treetop

从最简单的语法开始，他展示了如何创建一个解析器，然后通过几次迭代添加了一些功能。这足以让我走出起跑线。