public static class JmlParser.Relational_chainContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
org.antlr.v4.runtime.Token |
_tset1784 |
org.antlr.v4.runtime.Token |
_tset1800 |
org.antlr.v4.runtime.Token |
GEQ |
org.antlr.v4.runtime.Token |
GT |
org.antlr.v4.runtime.Token |
LEQ |
org.antlr.v4.runtime.Token |
LT |
java.util.List<org.antlr.v4.runtime.Token> |
op |
Constructor and Description |
---|
Relational_chainContext(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) |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
GEQ() |
org.antlr.v4.runtime.tree.TerminalNode |
GEQ(int i) |
int |
getRuleIndex() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
GT() |
org.antlr.v4.runtime.tree.TerminalNode |
GT(int i) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
LEQ() |
org.antlr.v4.runtime.tree.TerminalNode |
LEQ(int i) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
LT() |
org.antlr.v4.runtime.tree.TerminalNode |
LT(int i) |
java.util.List<JmlParser.ShiftexprContext> |
shiftexpr() |
JmlParser.ShiftexprContext |
shiftexpr(int i) |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public org.antlr.v4.runtime.Token GT
public java.util.List<org.antlr.v4.runtime.Token> op
public org.antlr.v4.runtime.Token GEQ
public org.antlr.v4.runtime.Token _tset1784
public org.antlr.v4.runtime.Token LT
public org.antlr.v4.runtime.Token LEQ
public org.antlr.v4.runtime.Token _tset1800
public Relational_chainContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public java.util.List<JmlParser.ShiftexprContext> shiftexpr()
public JmlParser.ShiftexprContext shiftexpr(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> GT()
public org.antlr.v4.runtime.tree.TerminalNode GT(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> GEQ()
public org.antlr.v4.runtime.tree.TerminalNode GEQ(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> LT()
public org.antlr.v4.runtime.tree.TerminalNode LT(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> LEQ()
public org.antlr.v4.runtime.tree.TerminalNode LEQ(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.