public static class KeYParser.Atom_prefixContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor and Description |
---|
Atom_prefixContext(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) |
KeYParser.Bracket_termContext |
bracket_term() |
KeYParser.Cast_termContext |
cast_term() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
int |
getRuleIndex() |
KeYParser.Locset_termContext |
locset_term() |
KeYParser.Substitution_termContext |
substitution_term() |
KeYParser.Unary_minus_termContext |
unary_minus_term() |
KeYParser.Update_termContext |
update_term() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public Atom_prefixContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public KeYParser.Update_termContext update_term()
public KeYParser.Substitution_termContext substitution_term()
public KeYParser.Locset_termContext locset_term()
public KeYParser.Cast_termContext cast_term()
public KeYParser.Unary_minus_termContext unary_minus_term()
public KeYParser.Bracket_termContext bracket_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.