ANTLR Rewrite-Abfragetext zu wiederholen Text mit früheren Knoten

Question

ich bin neu in ANTLR und ich versuche, Abfragen zu analysieren die folgenden using

grammar SearchEngineQuery; 

options { language = CSharp2; output = AST; } 

tokens { 
AndNode; 
} 

LPARENTHESIS : '('; 
RPARENTHESIS : ')'; 

AND : 'and'; 
OR  : 'or'; 
ANDNOT : 'andnot'; 
NOT : 'not'; 
NEAR : 'near'; 


fragment CHARACTER : ('a'..'z'|'0'..'9'|'-'); 
fragment QUOTE  : ('"'); 
fragment WILDCARD : ('*'|'?'); 
fragment SPACE  : (' '|'\n'|'\r'|'\t'|'\u000C'); 

WILD_STRING 
    : (CHARACTER)* 
    ( 
     ('?') 
     (CHARACTER)* 
    )+ 
    ; 
PREFIX_STRING 
    : (CHARACTER)+ 
    ( 
     ('*') 
    )+ 
    ; 
WS  : (SPACE) { $channel=HIDDEN; }; 
PHRASE : (QUOTE)(WORD)(WILDCARD)?((SPACE)+(WORD)(WILDCARD)?)*(QUOTE); 
WORD : (CHARACTER)+; 

startExpression : nearExpression; 
nearExpression  : andExpression (NEAR^ andExpression)*; 
andExpression 
    : (andnotExpression  -> andnotExpression) 
    (AND? a=andnotExpression -> ^(AndNode $andnotExpression $a))* 
    ; 

andnotExpression : orExpression (ANDNOT^ orExpression)*; 
orExpression  : notExpression (OR^ notExpression)* ; 
notExpression : (NOT^)? (phraseExpression | wildExpression | prefixExpression | atomicExpression); 
phraseExpression : (PHRASE^); 
wildExpression : (WILD_STRING^); 
prefixExpression : (PREFIX_STRING^); 
atomicExpression : WORD | LPARENTHESIS! andExpression RPARENTHESIS!; 

Dies scheint für allgemeine Fragen ok zu arbeiten. Allerdings muss der Fall von a near (b or c) als tatsächlich behandelt werden:

und a near (b or c and (d or e)) Bedürfnissen behandelt werden wie:

Ich bin nicht in der Lage zu bestimmen, wie dies zu tun. Jede Hilfe würde sehr geschätzt werden.

Dank

Answer 1

Sie würden wahrscheinlich in der Lage sein, dies zu erreichen, indem ein Mehrfachdurchlauf Baum Umschreiben Grammatik. Die Regeln sollten ziemlich kurz sein.

etwas ähnliches wie dies für den OP Fall:

orCaseRight: a=. NEAR ^(OR x=. y=.) -> ^(OR ^(NEAR $a $x) ^(NEAR $a $y)); 
orCaseLeft: ^(OR x=. y=.) NEAR a=. -> ^(OR ^(NEAR $a $x) ^(NEAR $a $y)); 

in TopDown eine Aktion hinzufügen, die einen rewrite Flag setzt, sobald eine Regel abgestimmt, so dass Sie so lange diese Grammatik anwenden können, wie der rewrite-Flag gesetzt ist .

Ich benutze dies um mathematische Ausdrücke zu optimieren/vorberechnen und es funktioniert wie ein Zauber.