public static class KeYParser.Bracket_access_indexrangeContext extends KeYParser.Brace_suffixContext
Modifier and Type | Field and Description |
---|---|
KeYParser.TermContext |
indexTerm |
KeYParser.TermContext |
rangeTo |
Constructor and Description |
---|
Bracket_access_indexrangeContext(KeYParser.Brace_suffixContext ctx) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
org.antlr.v4.runtime.tree.TerminalNode |
DOTRANGE() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
org.antlr.v4.runtime.tree.TerminalNode |
LBRACKET() |
org.antlr.v4.runtime.tree.TerminalNode |
RBRACKET() |
java.util.List<KeYParser.TermContext> |
term() |
KeYParser.TermContext |
term(int i) |
copyFrom, getRuleIndex
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public KeYParser.TermContext indexTerm
public KeYParser.TermContext rangeTo
public Bracket_access_indexrangeContext(KeYParser.Brace_suffixContext ctx)
public org.antlr.v4.runtime.tree.TerminalNode LBRACKET()
public org.antlr.v4.runtime.tree.TerminalNode RBRACKET()
public java.util.List<KeYParser.TermContext> term()
public KeYParser.TermContext term(int i)
public org.antlr.v4.runtime.tree.TerminalNode DOTRANGE()
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.