LPEG文法の奇妙さ
-
27-10-2019 - |
質問
私のLUAアプリケーションの一部は検索バーであり、ブール表現を理解させようとしています。私はLPEGを使用していますが、現在の文法は奇妙な結果をもたらします。
> re, yajl = require're', require'yajl'
> querypattern = re.compile[=[
QUERY <- ( EXPR / TERM )? S? !. -> {}
EXPR <- S? TERM ( (S OPERATOR)? S TERM )+ -> {}
TERM <- KEYWORD / ( "(" S? EXPR S? ")" ) -> {}
KEYWORD <- ( WORD {":"} )? ( WORD / STRING )
WORD <- {[A-Za-z][A-Za-z0-9]*}
OPERATOR <- {("AND" / "XOR" / "NOR" / "OR")}
STRING <- ('"' {[^"]*} '"' / "'" {[^']*} "'") -> {}
S <- %s+
]=]
> = yajl.to_string(lpeg.match(querypattern, "bar foo"))
"bar"
> = yajl.to_string(lpeg.match(querypattern, "name:bar AND foo"))
> = yajl.to_string(lpeg.match(querypattern, "name:bar AND foo"))
"name"
> = yajl.to_string(lpeg.match(querypattern, "name:'bar' AND foo"))
"name"
> = yajl.to_string(lpeg.match(querypattern, "bar AND (name:foo OR place:here)"))
"bar"
それは最初のトークンを解析するだけであり、なぜこれを行うのかを理解することはできません。私の知る限り、部分的な一致は不可能です。 !.
開始非ターミナルの終わりに。どうすればこれを修正できますか?
解決
試合は文字列全体を取得していますが、キャプチャは間違っています。 「 - >」は連結よりも優先されるため、おそらく次のことを囲む必要があることに注意してください。
EXPR <- S? ( TERM ( (S OPERATOR)? S TERM )+ ) -> {}
所属していません StackOverflow