public static class KeYParser.Primitive_termContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor and Description |
---|
Primitive_termContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
Modifier and Type | Method and Description |
---|---|
KeYParser.AbbreviationContext |
abbreviation() |
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
KeYParser.AccesstermContext |
accessterm() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
int |
getRuleIndex() |
KeYParser.IfExThenElseTermContext |
ifExThenElseTerm() |
KeYParser.IfThenElseTermContext |
ifThenElseTerm() |
KeYParser.LiteralsContext |
literals() |
KeYParser.TermParenContext |
termParen() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public Primitive_termContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public KeYParser.TermParenContext termParen()
public KeYParser.IfThenElseTermContext ifThenElseTerm()
public KeYParser.IfExThenElseTermContext ifExThenElseTerm()
public KeYParser.AbbreviationContext abbreviation()
public KeYParser.AccesstermContext accessterm()
public KeYParser.LiteralsContext literals()
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.