Разбор вложенных тернарных выражений

Question

Продолжение моего квеста PyParsing - синтаксический анализ вложенных тернарных выражений (например, (x == 1 ? true : (y == 10 ? 100 : 200))). Таким образом, я построил следующее выражение. Который, для меня, кажется интуитивным. Однако я не получаю совпадений:

any = Word(printables) 

conditional = Forward() 
sub_exp = (conditional | any) 
conditional = Literal('(') + sub_exp + Literal('?') + sub_exp + Literal(':') + sub_exp + Literal(')') 

    for exp in conditional.scanString(block_str): 
     print exp 

Первоначально я думал, что проблема связана с печатаемыми вещами, потребляющими все; Я установил excludeChars не в соответствие с :?)(, но это тоже не помогло. Альтернативой было построение вложенных выражений, по одному для «(« »,« ?: »и« :) «блоки. Но этот подход очень запутан. Есть ли у кого-нибудь рекомендации по разбору терминов?

UPDATE Используя ответ снизу, но модифицированный для работы с scanString:

При использовании scanString однако, он возвращает много других матчей тоже (в основном, все, что соответствующий атом).

lpar = Literal('(').suppress() 
rpar = Literal(')').suppress() 
any = Combine(OneOrMore(Word(printables, excludeChars='()?:') | White(' ', max=1))) 
expr = Forward() 
atom = any | Group(lpar + expr + Literal('?') + expr + Literal(':') + expr + rpar) 
expr << Literal('(') + atom + ZeroOrMore(expr) + Literal('?') + atom + ZeroOrMore(expr) + Literal(':') + atom + ZeroOrMore(expr) + Literal(')') 

for ternary_exp in expr.scanString(block_str): 
    print ternary_exp 

Answer 1

Для такого рода арифметического выражения синтаксического анализа, попробуйте использовать Pyparsing-х infixNotation встроенный (ранее известный как operatorPrecedence):

from pyparsing import * 

integer = Word(nums) 
variable = Word(alphas, alphanums) 
boolLiteral = oneOf("true false") 

operand = boolLiteral | variable | integer 

comparison_op = oneOf("== <= >= != < >") 
QM,COLON = map(Literal,"?:") 
expr = infixNotation(operand, 
    [ 
    (comparison_op, 2, opAssoc.LEFT), 
    ((QM,COLON), 3, opAssoc.LEFT), 
    ]) 

print expr.parseString("(x==1? true: (y == 10? 100 : 200))") 

Печать

[[['x', '==', '1'], '?', 'true', ':', [['y', '==', '10'], '?', '100', ':', '200']]] 

infixNotation заботится о всех рекурсивных выражений, и решает приоритет операций и переопределение этого старшинства с помощью() 'ы.

Answer 2

Я думаю, ваша проблема заключается в два раза: пробельные (не обрабатывается хорошо вашим any определению), и рекурсия (который должен использовать оператор <<):

lpar = Literal('(').suppress() 
rpar = Literal(')').suppress() 
any = Combine(OneOrMore(Word(printables, excludeChars='()?:') | White(' ',max=1))) 
expr = Forward() 
atom = any | Group(lpar + expr + Literal('?') + expr + Literal(':') + expr + rpar) 
expr << atom + ZeroOrMore(expr) 

Например,

t2 = '(x == 1 ? true : (y == 10 ? 100 : 200))' 
expr.parseString(t2) 
([(['x == 1 ', '?', 'true ', ':', (['y == 10 ', '?', '100 ', ':', '200'], {})], {})], {})