使用PEG.js进行简单的搜索/替换

Question

我正在尝试理解如何使用PEG.js在文本中进行简单的搜索/替换。当然，这不是解析器的预期用途，但不管怎样，我很好奇这些语言背后的逻辑，以产生一些搜索/替换。

我遇到的问题是，很难肯定地定义一些定义的互补性。例如:假设我想要搜索并替换类似以下语法的内容：

rule = (whatever_is_not_my_syntax* m:my_syntax)+ {replace m}
word = [a-z0-9_]+
my_syntax = word "." word
whatever_is_not_my_syntax = ???

在不与my_syntax发生部分冲突(以及由此导致的解析器错误)的情况下，很难肯定地描述PEG.js中的whatever_is_not_my_syntax是什么，或者至少我不知道如何做到这一点，因为PEG.js上唯一的负面解析器函数是!expression和[^characters]。

你能帮帮我吗?我将感谢任何关于这个主题的书籍或书目，如果有的话。提前谢谢你。

Answer 1

您不必指定语法中没有的内容。首先试着匹配你的语法，然后有一个后备的任何其他东西。

这里的rule是您语法中所有模式的列表。当它不匹配时，other将改为匹配。

expr =
    a:rule " " b:expr
        {return [a].concat(b)}
  / a:rule
        {return [a]}
  / a:other " " b:expr
        {return [a].concat(b)}
  / a:other
        {return [a]}

word =
    a:[a-z0-9_]+
        {return a.join("")}

rule =
    word "." word
        {return "rule1"} // Put replace logic here
  / word ":" word
        {return "rule2"} // Put replace logic here

other =
    word
        {return "other"}

你可以在线试用：http://pegjs.org/online

Answer 2

你很接近，我们唯一最大的不同是顺序：

应该是m:my_syntax whatever_is_not_my_syntax，而不是whatever_is_not_my_syntax* m:my_syntax。请注意，在这种情况下使用会生成错误：

Line 1, column 15: Possible infinite loop when parsing (repetition used with an expression that may not consume any input).

因此，只要whatever_is_not_my_syntax就足够了，而不是whatever_is_not_my_syntax*。

root = result:(rules / whatever_is_not_my_syntax)* { return result.join(""); }

rules = 
  my_syntax /
  else_syntax

else_syntax = word ":" word { return "replace2" }

my_syntax = word "." word { return "replace1" }

word = [a-z0-9_]+

whatever_is_not_my_syntax = .

输入：

a x:y b x.y c

将转换为：

"a replace2 b replace1 c"

你可以在线试用：http://pegjs.org/online

​

​