Parlet : 排除条款

Question

我目前正在使用 Ruby 编写一个 Ruby 解析器，更准确地说是 Parslet，因为我认为它比 Treetop 或 Citrus 更容易使用。我使用官方规范创建我的规则，但有一些语句我无法编写，因为它们“排除”了某些语法，而且我不知道该怎么做......好吧，这里有一个示例供您理解。 ..

这是一个基本规则：

foo::=
any-character+ BUT NOT (foo* escape_character barbar*)
# Knowing that (foo* escape_character barbar*) is included in any-character

我如何使用 Parslet 翻译它？也许缺席？/在场？东西 ？

非常感谢你，希望有人有想法......祝

你有美好的一天！

编辑： 我尝试了你所说的，所以这是我使用parslet翻译成Ruby语言：

  rule(:line_comment){(source_character.repeat >> line_terminator >> source_character.repeat).absent? >> source_character.repeat(1)}

但是，它似乎不起作用（括号中的序列）。我做了一些测试，得出的结论是我的括号中写的是错误的。

这是一个非常简单的示例，让我们考虑这些规则：

# Parslet rules
rule(:source_character) {any}
rule(:line_terminator){ str("\n") >> str("\r").maybe }  

rule(:not){source_character.repeat >> line_terminator }
# Which looks like what I try to "detect" up there

我使用以下代码编写这些规则：

# Code to test : 
code = "test
"

但我明白：

无法匹配序列 (SOURCE_CHARACTER{0, } LINE_TERMINATOR) 第 2 行字符 1。- 无法匹配序列 (SOURCE_CHARACTER{0, } LINE_TERMINATOR) 在第 2 行字符 1。- 无法匹配序列 (' ' ' '?) 在第 2 行字符 1 处。 `- 第 2 行字符 1 处的输入过早结束。nil

如果这个序列不起作用，我的“完整”规则将永远不起作用......如果有人有一个想法，那就太好了。

谢谢 ！

Answer 1

您可以执行以下操作：

rule(:word) { match['^")(\\s'].repeat(1) } # normal word
rule(:op) { str('AND') | str('OR') | str('NOT') }
rule(:keyword) { str('all:') | str('any:') }
rule(:searchterm) { keyword.absent? >> op.absent? >>  word }

在这种情况下，absent? 会进行前瞻以确保下一个标记不是关键字；如果不是，那么它会检查以确保它不是操作员；如果不是，最后看看它是否是一个有效的单词。

等效规则是：

rule(:searchterm) { (keyword | op).absent? >> word }

Answer 2

Parlet 匹配本质上是贪婪的。这意味着当您重复诸如

foo.repeat

parslet 之类的内容时，它将匹配 foo 直到失败。如果 foo 是，

rule(:foo) { any }

您将走上失败之路，因为 any.repeat 始终匹配文档的整个其余部分！

您正在寻找的内容类似于示例/string_parser.rb（parslet源树）中的字符串匹配器：

rule :string do
  str('"') >> 
  (
    (str('\\') >> any) |
    (str('"').absent? >> any)
  ).repeat.as(:string) >> 
  str('"')
end

这表示的是：“匹配”，然后匹配反斜杠后跟任何字符，或者匹配任何其他字符，只要它不是终止符“.'”

那么缺席吗？实际上是一种从匹配中排除某些内容的方法：

str('foo').absent? >> (str('foo') | str('bar'))

仅匹配“bar”。如果你明白了这一点，我想你就能解决你的困难。尽管这些不会是您使用 Ruby 解析器的最后一个......