public static class JmlParser.Determines_clauseContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
JmlParser.InfflowspeclistContext |
by |
org.antlr.v4.runtime.Token |
byItself |
java.util.List<JmlParser.InfflowspeclistContext> |
decl |
JmlParser.InfflowspeclistContext |
determined |
java.util.List<JmlParser.InfflowspeclistContext> |
erases |
JmlParser.InfflowspeclistContext |
infflowspeclist |
java.util.List<JmlParser.InfflowspeclistContext> |
newObs |
Constructor and Description |
---|
Determines_clauseContext(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 |
BY() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
DECLASSIFIES() |
org.antlr.v4.runtime.tree.TerminalNode |
DECLASSIFIES(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
DETERMINES() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
ERASES() |
org.antlr.v4.runtime.tree.TerminalNode |
ERASES(int i) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
int |
getRuleIndex() |
java.util.List<JmlParser.InfflowspeclistContext> |
infflowspeclist() |
JmlParser.InfflowspeclistContext |
infflowspeclist(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
ITSELF() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
NEW_OBJECTS() |
org.antlr.v4.runtime.tree.TerminalNode |
NEW_OBJECTS(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
SEMI_TOPLEVEL() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public JmlParser.InfflowspeclistContext determined
public org.antlr.v4.runtime.Token byItself
public JmlParser.InfflowspeclistContext by
public JmlParser.InfflowspeclistContext infflowspeclist
public java.util.List<JmlParser.InfflowspeclistContext> decl
public java.util.List<JmlParser.InfflowspeclistContext> erases
public java.util.List<JmlParser.InfflowspeclistContext> newObs
public Determines_clauseContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode DETERMINES()
public org.antlr.v4.runtime.tree.TerminalNode BY()
public org.antlr.v4.runtime.tree.TerminalNode SEMI_TOPLEVEL()
public java.util.List<JmlParser.InfflowspeclistContext> infflowspeclist()
public JmlParser.InfflowspeclistContext infflowspeclist(int i)
public org.antlr.v4.runtime.tree.TerminalNode ITSELF()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> DECLASSIFIES()
public org.antlr.v4.runtime.tree.TerminalNode DECLASSIFIES(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> ERASES()
public org.antlr.v4.runtime.tree.TerminalNode ERASES(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> NEW_OBJECTS()
public org.antlr.v4.runtime.tree.TerminalNode NEW_OBJECTS(int i)
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.