pushMode、popMode、mode、OPEN和CLOSE在lexer语法中是什么意思？

Question

我正在研究lexer和解析器语法，并使用ANTLR创建基于.g4文件的解析器和lexer。然而，我很困惑的是pushMode和popMode通常是做什么的？

OPEN                : '[' -> pushMode(BBCODE) ;
TEXT                : ~('[')+ ;

mode BBCODE;

CLOSE               : ']' -> popMode ; 

Answer 1

pushMode和popMode用于所谓的“孤岛语法”或词汇模式。这些允许在同一文件中处理不同的格式。其基本思想是让lexer在看到某些字符序列时在模式之间切换。

在语法示例中，当lexer遇到[时，它将从默认语法（即在任何模式 之外定义的语法）切换到在

mode BBCODE;

而且

CLOSE               : ']' -> popMode ;

示例中的open和close是'['和']'的词法规则，可用于分析器语法以提高可读性。您可以编写close而不是编写']'->popmode。

如果你计划用ANTLR4做任何认真的封套，我强烈建议你阅读这本书：Terence Parr的ANTLR4参考文献。