public static class JmlParser.OldexpressionContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor and Description |
---|
OldexpressionContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
org.antlr.v4.runtime.tree.TerminalNode |
COMMA() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
JmlParser.ExpressionContext |
expression() |
int |
getRuleIndex() |
org.antlr.v4.runtime.tree.TerminalNode |
IDENT() |
org.antlr.v4.runtime.tree.TerminalNode |
LPAREN() |
org.antlr.v4.runtime.tree.TerminalNode |
OLD() |
org.antlr.v4.runtime.tree.TerminalNode |
PRE() |
org.antlr.v4.runtime.tree.TerminalNode |
RPAREN() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public OldexpressionContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode PRE()
public org.antlr.v4.runtime.tree.TerminalNode LPAREN()
public JmlParser.ExpressionContext expression()
public org.antlr.v4.runtime.tree.TerminalNode RPAREN()
public org.antlr.v4.runtime.tree.TerminalNode OLD()
public org.antlr.v4.runtime.tree.TerminalNode COMMA()
public org.antlr.v4.runtime.tree.TerminalNode IDENT()
public int getRuleIndex()
getRuleIndex
in class org.antlr.v4.runtime.RuleContext
public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
enterRule
in class org.antlr.v4.runtime.ParserRuleContext
public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
exitRule
in class org.antlr.v4.runtime.ParserRuleContext
public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
accept
in interface org.antlr.v4.runtime.tree.ParseTree
accept
in class org.antlr.v4.runtime.RuleContext
Copyright © 2003-2019 The KeY-Project.