public static class KeYParser.Varexp_argumentContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
KeYParser.VarIdContext |
y |
Constructor and Description |
---|
Varexp_argumentContext(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 |
CONTAINERTYPE() |
org.antlr.v4.runtime.tree.TerminalNode |
DEPENDINGON() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
int |
getRuleIndex() |
org.antlr.v4.runtime.tree.TerminalNode |
LPAREN() |
org.antlr.v4.runtime.tree.TerminalNode |
RPAREN() |
KeYParser.SortIdContext |
sortId() |
KeYParser.TermContext |
term() |
org.antlr.v4.runtime.tree.TerminalNode |
TYPEOF() |
KeYParser.VarIdContext |
varId() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public KeYParser.VarIdContext y
public Varexp_argumentContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public KeYParser.SortIdContext sortId()
public org.antlr.v4.runtime.tree.TerminalNode TYPEOF()
public org.antlr.v4.runtime.tree.TerminalNode LPAREN()
public org.antlr.v4.runtime.tree.TerminalNode RPAREN()
public KeYParser.VarIdContext varId()
public org.antlr.v4.runtime.tree.TerminalNode CONTAINERTYPE()
public org.antlr.v4.runtime.tree.TerminalNode DEPENDINGON()
public KeYParser.TermContext term()
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.