5

私の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"

最初のトークンを解析するだけで、なぜこれを行うのか理解できません。私の知る限り!.、開始非終端記号の終わりにあるため、部分一致は不可能です。どうすればこれを修正できますか？

4

1 に答える 1

10

一致は文字列全体を取得していますが、キャプチャは間違っています。'->'は連結よりも優先順位が高いため、次のようなものを括弧で囲む必要があることに注意してください。

  EXPR        <- S? ( TERM ( (S OPERATOR)? S TERM )+ ) -> {}
于 2012-01-13T18:01:58.800 に答える