用于同时解析字符串和数字的语义谓词

Question

有了后面的简单语法，我想同时解析字符串和数字：

grammar Simple;

aRule : 'fs' '(' value["textual"] ')' ;
bRule : 'fi' '(' value["numeral"] ')' ;
cRule : 'f' '(' (value["textual"] | value["numeral"]) ')' ;    

value[String k]
  : {$k.equals("any") || $k.equals("textual")}? string 
  | {$k.equals("any") || $k.equals("numeral")}? numeric 
  ;

string
  : STRING_LITERAL
  ;

numeric
  : ('+' | '-')? INTEGER_LITERAL
  ;

STRING_LITERAL
  : '\'' (~('\'' | '\r' | '\n') | '\'' '\'' | NEWLINE)* '\''
  ;

INTEGER_LITERAL
  : '0' | [1-9] [0-9]* 
  ;

SPACES
  : [ \t\r\n]+ -> skip
  ;

fragment NEWLINE                   : '\r'? '\n';

现在，我想解析以下表达式：

fs('asdf') // works
fi(512)    // works
f('asdf')  // works
f(512)     // fails

如果我在cRule 中切换textual 和numeral，则f('asdf') 失败而f(512) 有效。

有什么想法吗？

更新1

grammar Simple;

rules : aRule | bRule | cRule ;
aRule : 'fs' '(' value["textual"] ')' ;
bRule : 'fi' '(' value["numeral"] ')' ;
cRule : 'f' '(' (tRule | nRule) ')' ;
tRule : value["textual"] ;
nRule : value["numeral"] ;
value[String k]
  : {$k.equals("any") || $k.equals("textual")}? string 
  | {$k.equals("any") || $k.equals("numeral")}? numeric 
  ;
string  : STRING_LITERAL ;
numeric : ('+' | '-')? INTEGER_LITERAL ;

STRING_LITERAL  : '\'' (~('\'' | '\r' | '\n') | '\'' '\'' | NEWLINE)* '\'' ;
INTEGER_LITERAL : '0' | [1-9] [0-9]* ;
SPACES          : [ \t\r\n]+ -> skip ;

fragment NEWLINE : '\r'? '\n';

即使有了这个更新的语法——正如@GRosenberg 所建议的——对于f(512)，我仍然得到no viable alternative at input '512'。再次 fs('asdf')、fi(512) 和 f('asdf') 工作。

Answer 1

下面列出了相关的生成代码。在其中，请注意谓词约束失败导致异常。这解释了为什么总是跳过第二个 alt —— 第一个 alt 是正确的，或者整个规则都失败了。

生成的代码是否以某种方式“不正确”是一个问题，最好直接转到 ANTLR4 Google 小组或 Github 问题页面。

无论如何，解决方案是使用子规则进行分隔：

cRule   : F LPAREN ( dRule | eRule ) RPAREN EOF ;
dRule   : value["textual"] ;
eRule   : value["numeral"] ;

更新

值规则是需要拆分成子规则的：

cRule   : F LPAREN ( valuet["textual"] | valuen["numeral"] ) RPAREN EOF ;

valuet[String k]
    : {$k.equals("any") || $k.equals("textual")}? string
    ;

valuen[String k]
    : {$k.equals("any") || $k.equals("numeral")}? numeric
    ;

测试/工作。

---

public final ValueContext value(String k) throws RecognitionException {
    ValueContext _localctx = new ValueContext(_ctx, getState(), k);
    enterRule(_localctx, 2, RULE_value);
    try {
        setState(21);
        _errHandler.sync(this);
        switch (getInterpreter().adaptivePredict(_input, 1, _ctx)) {
            case 1:
                enterOuterAlt(_localctx, 1); {
                setState(17);
                if (!(_localctx.k.equals("any") || _localctx.k.equals("textual")))
                    throw new FailedPredicateException(this, "$k.equals(\"any\") || $k.equals(\"textual\")");
                setState(18);
                string();
            }
                break;
            case 2:
                enterOuterAlt(_localctx, 2); {
                setState(19);
                if (!(_localctx.k.equals("any") || _localctx.k.equals("numeral")))
                    throw new FailedPredicateException(this, "$k.equals(\"any\") || $k.equals(\"numeral\")");
                setState(20);
                numeric();
            }
                break;
        }
    } catch (RecognitionException re) {
        _localctx.exception = re;
        _errHandler.reportError(this, re);
        _errHandler.recover(this, re);
    } finally {
        exitRule();
    }
    return _localctx;
}

Answer 2

我同意 Lucas 的观点，这是一个完全过于复杂的语法。如果您只想接受一个字符串，那么一定要在语法中只指定字符串。为什么要使用具有所有不同选项的值规则并将其限制为单个选项？这是一个典型的脚部射击。而是这样做：

rules : aRule | bRule | cRule ;
aRule : 'fs' '(' string ')' ;
bRule : 'fi' '(' numberic ')' ;
cRule : 'f' '(' (tRule | nRule) ')' ;
tRule : string ;
nRule : numeric ;

如果你拼出你想要你的语言看出来的东西，而不是试图参数化一些通用规则，它也会更容易阅读。