public static class JmlParser.MergeparamsspecContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
java.util.List<JmlParser.PredicateContext> |
abstrPred |
org.antlr.v4.runtime.Token |
latticetype |
org.antlr.v4.runtime.Token |
phName |
JmlParser.TypespecContext |
phType |
JmlParser.PredicateContext |
predicate |
Constructor and Description |
---|
MergeparamsspecContext(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 |
COLON() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
COMMA() |
org.antlr.v4.runtime.tree.TerminalNode |
COMMA(int i) |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
int |
getRuleIndex() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
IDENT() |
org.antlr.v4.runtime.tree.TerminalNode |
IDENT(int i) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
LBRACE() |
org.antlr.v4.runtime.tree.TerminalNode |
LBRACE(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
LPAREN() |
org.antlr.v4.runtime.tree.TerminalNode |
MERGE_PARAMS() |
java.util.List<JmlParser.PredicateContext> |
predicate() |
JmlParser.PredicateContext |
predicate(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
RARROW() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
RBRACE() |
org.antlr.v4.runtime.tree.TerminalNode |
RBRACE(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
RPAREN() |
JmlParser.TypespecContext |
typespec() |
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 latticetype
public JmlParser.TypespecContext phType
public org.antlr.v4.runtime.Token phName
public JmlParser.PredicateContext predicate
public java.util.List<JmlParser.PredicateContext> abstrPred
public MergeparamsspecContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode MERGE_PARAMS()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> LBRACE()
public org.antlr.v4.runtime.tree.TerminalNode LBRACE(int i)
public org.antlr.v4.runtime.tree.TerminalNode COLON()
public org.antlr.v4.runtime.tree.TerminalNode LPAREN()
public org.antlr.v4.runtime.tree.TerminalNode RPAREN()
public org.antlr.v4.runtime.tree.TerminalNode RARROW()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> RBRACE()
public org.antlr.v4.runtime.tree.TerminalNode RBRACE(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> IDENT()
public org.antlr.v4.runtime.tree.TerminalNode IDENT(int i)
public JmlParser.TypespecContext typespec()
public java.util.List<JmlParser.PredicateContext> predicate()
public JmlParser.PredicateContext predicate(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> COMMA()
public org.antlr.v4.runtime.tree.TerminalNode COMMA(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.