ANTLR4 Отрицательное обходное решение?

Question

Я использую antlr4, и я пытаюсь сделать парсер для Matlab. Одна из главных проблем заключается в том, что комментарии и транспонирование используют одиночные кавычки. То, что я думал о решении, заключалось в том, чтобы определить правило lexer STRING несколько следующим образом:

(if previous token is not ')','}',']' or [a-zA-Z0-9]) than match '\'' (ESC_SEQ | ~('\\'|'\''|'\r'|'\n'))* '\' '(но обратите внимание, что я не хочу использовать предыдущий токен, если это правда).

Кто-нибудь знает обходной путь этой проблемы, поскольку он не поддерживает отрицательные образы?

Answer 1

Вы можете сделать отрицательный lookahead в ANTLR4, используя _input.LA(-1) (на Java, см. how to resolve simple ambiguity или ANTLR4 negative lookahead in lexer).

Вы также можете использовать режим lexer для работы с подобными вещами, но ваш лексер должен быть определен в собственном файле. Идея состоит в том, чтобы перейти от состояния, которое может соответствовать некоторым токенам другому, которые могут соответствовать новым.

Вот пример из ANTLR4 lexer documentation:

// Default "mode": Everything OUTSIDE of a tag 
COMMENT : '<!--' .*? '-->' ; 
CDATA : '<![CDATA[' .*? ']]>' ; 
OPEN : '<'      -> pushMode(INSIDE) ; 
... 
XMLDeclOpen : '<?xml' S  -> pushMode(INSIDE) ; 
... 

// ----------------- Everything INSIDE of a tag ------------------ --- 
mode INSIDE; 
CLOSE : '>'   -> popMode ; 
SPECIAL_CLOSE: '?>' -> popMode ; // close <?xml...?> 
SLASH_CLOSE : '/>' -> popMode ;