Grammar

Question

ANLTR 4 in einem einzigen String in Anführungszeichen zwei gleiche Zeichen in einer Lexer Regel zu negieren 'Das wird zusätzliche Parsing benötigen. Daher müssen beide Beispiele unterstützt werden. Ich bin nicht so besorgt um das zweite Beispiel, denn das scheint trivial zu sein, wenn ich das erste zum Laufen bringen kann und nicht doppelte geschweifte Klammercharaktere.

1. 'this is a string literal with an escaped\' character' 2. 'this is a string {{functionName(x)}} literal with double curlies'

StringLiteral 
: '\'' (ESC | AnyExceptDblCurlies)*? '\'' ; 

fragment 
ESC : '\\' [btnr\'\\]; 

fragment 
AnyExceptDblCurlies 
: '{' ~'{' 
| ~'{' .; 

ich viel Forschung auf diesem getan haben und verstehen, dass Sie nicht mehrere Zeichen negieren können, und haben auch einen ähnlichen Ansatz Arbeit in Barts Antwort in diesem Beitrag nicht gesehen ...

Negating inside lexer- and parser rules

Aber was ich sehe ist, dass im obigen Beispiel 1, das entwichene Apostroph wird nicht erkannt wird und ich einen Parser-Fehler erhalten, dass es nicht ‚Charakter‘ mithalten kann.

, wenn ich die Stringliteral Token-Regel das ändern folgende es funktioniert ...

StringLiteral 
: '\'' (ESC | .)*? '\'' ; 

Irgendwelche Ideen, wie man dieses Szenario behandeln besser? Ich kann ableiten, dass der Escape-Zeichen von AnyExceptDblCurlies statt ESC abgeglichen wird, aber ich bin mir nicht sicher, wie dieses Problem zu lösen ist.

Answer 1

Um die Template-Definition aus der Zeichenkette zu analysieren, muss man sich im Parser ziemlich gut zurechtfinden. Verwenden Sie Lexer-Modi, um zwischen Zeichenfolgen und dem Vorlagennamen zu unterscheiden.

Parser:

options { 
    tokenVocab = TesterLexer ; 
} 

test : string EOF ; 
string : STRBEG (SCHAR | template)* STREND ; // allow multiple templates per string 
template : TMPLBEG TMPLNAME TMPLEND ; 

Lexer:

STRBEG : Squote -> pushMode(strMode) ; 

mode strMode ; 
    STRESQ : Esqote -> type(SCHAR) ; // predeclare SCHAR in tokens block 
    STREND : Squote -> popMode ; 
    TMPLBEG : DBrOpen -> pushMode(tmplMode) ; 
    STRCHAR : .  -> type(SCHAR) ; 

mode tmplMode ; 
    TMPLEND : DBrClose -> popMode ; 
    TMPLNAME : ~'}'* ; 

fragment Squote : '\'' ; 
fragment Esqote : '\\\'' ; 
fragment DBrOpen : '{{' ; 
fragment DBrClose : '}}' ; 

Aktualisiert die TMPLNAME Regel zu korrigieren, fügen Hauptregel und Optionen blockieren.