pyparsing - 需要确认 pyparsing 中 PEG 的语义谓词

Question

PEG论文描述了两种语义谓词解析表达式:

1. 和谓词&e
2. 不是谓词!e

pyparsing 是否支持 And 谓词？或者这只是排序解析表达式的同义词？在这种情况下，它应该等同于 And 类。对吗？

NotAny 是否表示 Not 谓词？

具体来说，它们是否符合规范的行为:

The parsing expression foo &(bar) matches and consumes the text "foo" but only if it is followed by the text "bar". The parsing expression foo !(bar) matches the text "foo" but only if it is not followed by the text "bar". The expression !(a+ b) a matches a single "a" but only if it is not the first in an arbitrarily-long sequence of a's followed by a b.

Answer 1

PEG & 和 !谓词是非消耗性的前瞻，对应于 pyparsing 的 FollowedBy 和 NotAny。 & 与序列的不同之处在于“a + b”消耗输入字符串中的 a 和 b 表达式的文本，但“a & b”表示“仅在后面跟着 b 时匹配 a，但不消耗 b”。