public static class JmlParser.Fieldarrayaccess_suffixContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor and Description |
---|
Fieldarrayaccess_suffixContext(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 |
DOT() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
JmlParser.ExpressionContext |
expression() |
int |
getRuleIndex() |
JmlParser.IdentContext |
ident() |
JmlParser.InvContext |
inv() |
org.antlr.v4.runtime.tree.TerminalNode |
INV() |
org.antlr.v4.runtime.tree.TerminalNode |
LBRACKET() |
org.antlr.v4.runtime.tree.TerminalNode |
RBRACKET() |
JmlParser.Super_Context |
super_() |
JmlParser.This_Context |
this_() |
org.antlr.v4.runtime.tree.TerminalNode |
TRANSIENT() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public Fieldarrayaccess_suffixContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode DOT()
public JmlParser.IdentContext ident()
public JmlParser.InvContext inv()
public JmlParser.This_Context this_()
public JmlParser.Super_Context super_()
public org.antlr.v4.runtime.tree.TerminalNode TRANSIENT()
public org.antlr.v4.runtime.tree.TerminalNode INV()
public org.antlr.v4.runtime.tree.TerminalNode LBRACKET()
public org.antlr.v4.runtime.tree.TerminalNode RBRACKET()
public JmlParser.ExpressionContext expression()
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.