ANTLR4-嵌套函数中的参数

Question

lexer grammar TLexer;

TEXT
 : ~[$]
 ;

FUNCTION_START
 : '$' -> pushMode(IN_FUNCTION), skip
 ;

mode IN_FUNCTION;
  FUNTION_NESTED : '$' -> pushMode(IN_FUNCTION), skip;
  ID             : [a-zA-Z_]+;
  PAR_OPEN       : '(';
  PAR_CLOSE      : ')' -> popMode;
  NUMBER         : [0-9]+;
  STRING         : '\'' ( ~'\'' | '\'\'' )* '\'';
  COMMA          : ',';
  SPACE          : [ \t\r\n]-> skip;

options {
  tokenVocab=TLexer;
}

parse
 : atom* EOF
 ;

atom
 : text
 | function
 ;

text
 : TEXT+
 ;

function
 : ID params
 ;

params
 : PAR_OPEN ( param ( COMMA param )* )? PAR_CLOSE
 ;

param
 : NUMBER
 | STRING
 | function
 ;

Answer 1

解析器在$foo($3,'str arg')上不会失败，因为当它遇到第二个$时，它已经处于in_function模式，并且它需要一个参数。它跳过字符并读取号。

如果您希望它失败，您需要删除lexer中的美元符号：

FUNCTION_START : '$' -> pushMode(IN_FUNCTION);

mode IN_FUNCTION;
    FUNTION_START : '$' -> pushMode(IN_FUNCTION);

并修改函数规则：

function : FUNCTION_START ID params;