Странность грамматики LPeg

Частью моего 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"

Он анализирует только первый токен, и я не могу понять, почему он это делает. Насколько я знаю, частичное совпадение невозможно из-за !. в конце начального нетерминала. Как я могу это исправить?


parsing lua boolean-expression lpeg peg
person mmirate    schedule 13.01.2012    source источник

Ответы (1)


arrow_upward
10
arrow_downward

Совпадение получает всю строку, но захваты неверны. Обратите внимание, что '->' имеет более высокий приоритет, чем конкатенация, поэтому вам, вероятно, понадобятся круглые скобки вокруг таких вещей:

  EXPR        <- S? ( TERM ( (S OPERATOR)? S TERM )+ ) -> {}
person Roberto Ierusalimschy    schedule 13.01.2012
comment
Благодарю вас! Это была именно та проблема, которая у меня была. Я никогда не осознавал, что захват таблицы на самом деле имеет высокий приоритет. - person mmirate; 14.01.2012