public static class JmlParser.SequenceCreateContext extends JmlParser.SequenceContext
Constructor and Description |
---|
SequenceCreateContext(JmlParser.SequenceContext ctx) |
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) |
JmlParser.ExprListContext |
exprList() |
org.antlr.v4.runtime.tree.TerminalNode |
LPAREN() |
org.antlr.v4.runtime.tree.TerminalNode |
RPAREN() |
org.antlr.v4.runtime.tree.TerminalNode |
SEQ() |
org.antlr.v4.runtime.tree.TerminalNode |
SEQSINGLETON() |
copyFrom, getRuleIndex
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public SequenceCreateContext(JmlParser.SequenceContext ctx)
public org.antlr.v4.runtime.tree.TerminalNode LPAREN()
public JmlParser.ExprListContext exprList()
public org.antlr.v4.runtime.tree.TerminalNode RPAREN()
public org.antlr.v4.runtime.tree.TerminalNode SEQSINGLETON()
public org.antlr.v4.runtime.tree.TerminalNode SEQ()
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.