грамматики, чтобы свести на нет двух одинаковых символы в правиле лексического анализатора внутри одной строки в кавычках

Question

ANLTR 4:

мне нужно поддерживать один строку в кавычках с уцелевшими символами и способностью использовать двойные фигурные скобки в виде последовательности «бегству ', который потребует дополнительного разбора. Поэтому оба этих примера должны быть поддержаны. Меня не так беспокоит второй пример, потому что это кажется тривиальным, если я могу заставить первого работать и не совпадать с двойными фигурными фигурными фигурами.

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 
: '{' ~'{' 
| ~'{' .; 

Я сделал много исследований по этому вопросу и понять, что вы не можете отрицать несколько персонажей, и даже видели подобный подход работы в ответе Барта на этом посту ...

Negating inside lexer- and parser rules

Но что я вижу, что в приведенном выше примере 1, сбежавший апостроф не распознается, и я получаю сообщение об ошибке синтаксического анализатора, что он не может соответствовать «характер».

если я изменить строку правило буквальным маркера к следующему работает ...

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

Любые идеи, как обрабатывать этот сценарий лучше? Я могу вывести, что экранированный символ получает соответствие AnyExceptDblCurlies вместо ESC, но я не уверен, как решить эту проблему.

Answer 1

Для анализа определения шаблона из строки в значительной степени требуется обработка в синтаксическом анализаторе. Используйте режимы lexer для различения строковых символов и имени шаблона.

Parser:

options { 
    tokenVocab = TesterLexer ; 
} 

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

Лексер:

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 : '}}' ; 

Обновлено исправить правила TMPLNAME, добавьте основное правило и опции блокировки.