public static class JmlParser.PrimaryUnionInfContext extends JmlParser.JmlprimaryContext
Constructor and Description |
---|
PrimaryUnionInfContext(JmlParser.JmlprimaryContext ctx) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
JmlParser.BoundvarmodifiersContext |
boundvarmodifiers() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
org.antlr.v4.runtime.tree.TerminalNode |
LPAREN() |
JmlParser.PredicateContext |
predicate() |
JmlParser.QuantifiedvardeclsContext |
quantifiedvardecls() |
org.antlr.v4.runtime.tree.TerminalNode |
RPAREN() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
SEMI() |
org.antlr.v4.runtime.tree.TerminalNode |
SEMI(int i) |
JmlParser.StorerefContext |
storeref() |
org.antlr.v4.runtime.tree.TerminalNode |
UNIONINF() |
copyFrom, getRuleIndex
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public PrimaryUnionInfContext(JmlParser.JmlprimaryContext ctx)
public org.antlr.v4.runtime.tree.TerminalNode UNIONINF()
public org.antlr.v4.runtime.tree.TerminalNode LPAREN()
public JmlParser.QuantifiedvardeclsContext quantifiedvardecls()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> SEMI()
public org.antlr.v4.runtime.tree.TerminalNode SEMI(int i)
public JmlParser.StorerefContext storeref()
public org.antlr.v4.runtime.tree.TerminalNode RPAREN()
public JmlParser.BoundvarmodifiersContext boundvarmodifiers()
public JmlParser.PredicateContext predicate()
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.