public static class KeYParser.TacletContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
KeYParser.Option_listContext |
choices_ |
org.antlr.v4.runtime.Token |
doc |
KeYParser.TermorseqContext |
find |
KeYParser.TermContext |
form |
KeYParser.SeqContext |
ifSeq |
org.antlr.v4.runtime.Token |
name |
Constructor and Description |
---|
TacletContext(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) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
ANTECEDENTPOLARITY() |
org.antlr.v4.runtime.tree.TerminalNode |
ANTECEDENTPOLARITY(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
ASSUMES() |
org.antlr.v4.runtime.tree.TerminalNode |
DOC_COMMENT() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
org.antlr.v4.runtime.tree.TerminalNode |
FIND() |
int |
getRuleIndex() |
KeYParser.GoalspecsContext |
goalspecs() |
org.antlr.v4.runtime.tree.TerminalNode |
IDENT() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
INSEQUENTSTATE() |
org.antlr.v4.runtime.tree.TerminalNode |
INSEQUENTSTATE(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
LBRACE() |
org.antlr.v4.runtime.tree.TerminalNode |
LEMMA() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
LPAREN() |
org.antlr.v4.runtime.tree.TerminalNode |
LPAREN(int i) |
KeYParser.ModifiersContext |
modifiers() |
java.util.List<KeYParser.One_schema_var_declContext> |
one_schema_var_decl() |
KeYParser.One_schema_var_declContext |
one_schema_var_decl(int i) |
KeYParser.Option_listContext |
option_list() |
org.antlr.v4.runtime.tree.TerminalNode |
RBRACE() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
RPAREN() |
org.antlr.v4.runtime.tree.TerminalNode |
RPAREN(int i) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
SAMEUPDATELEVEL() |
org.antlr.v4.runtime.tree.TerminalNode |
SAMEUPDATELEVEL(int i) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
SCHEMAVAR() |
org.antlr.v4.runtime.tree.TerminalNode |
SCHEMAVAR(int i) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
SEMI() |
org.antlr.v4.runtime.tree.TerminalNode |
SEMI(int i) |
KeYParser.SeqContext |
seq() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
SUCCEDENTPOLARITY() |
org.antlr.v4.runtime.tree.TerminalNode |
SUCCEDENTPOLARITY(int i) |
KeYParser.TermContext |
term() |
KeYParser.TermorseqContext |
termorseq() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
VARCOND() |
org.antlr.v4.runtime.tree.TerminalNode |
VARCOND(int i) |
java.util.List<KeYParser.VarexplistContext> |
varexplist() |
KeYParser.VarexplistContext |
varexplist(int i) |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public org.antlr.v4.runtime.Token doc
public org.antlr.v4.runtime.Token name
public KeYParser.Option_listContext choices_
public KeYParser.TermContext form
public KeYParser.SeqContext ifSeq
public KeYParser.TermorseqContext find
public TacletContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode LBRACE()
public org.antlr.v4.runtime.tree.TerminalNode RBRACE()
public org.antlr.v4.runtime.tree.TerminalNode IDENT()
public KeYParser.GoalspecsContext goalspecs()
public KeYParser.ModifiersContext modifiers()
public org.antlr.v4.runtime.tree.TerminalNode LEMMA()
public KeYParser.TermContext term()
public org.antlr.v4.runtime.tree.TerminalNode DOC_COMMENT()
public KeYParser.Option_listContext option_list()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> SCHEMAVAR()
public org.antlr.v4.runtime.tree.TerminalNode SCHEMAVAR(int i)
public java.util.List<KeYParser.One_schema_var_declContext> one_schema_var_decl()
public KeYParser.One_schema_var_declContext one_schema_var_decl(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> SEMI()
public org.antlr.v4.runtime.tree.TerminalNode SEMI(int i)
public org.antlr.v4.runtime.tree.TerminalNode ASSUMES()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> LPAREN()
public org.antlr.v4.runtime.tree.TerminalNode LPAREN(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> RPAREN()
public org.antlr.v4.runtime.tree.TerminalNode RPAREN(int i)
public org.antlr.v4.runtime.tree.TerminalNode FIND()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> VARCOND()
public org.antlr.v4.runtime.tree.TerminalNode VARCOND(int i)
public java.util.List<KeYParser.VarexplistContext> varexplist()
public KeYParser.VarexplistContext varexplist(int i)
public KeYParser.SeqContext seq()
public KeYParser.TermorseqContext termorseq()
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> SAMEUPDATELEVEL()
public org.antlr.v4.runtime.tree.TerminalNode SAMEUPDATELEVEL(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> INSEQUENTSTATE()
public org.antlr.v4.runtime.tree.TerminalNode INSEQUENTSTATE(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> ANTECEDENTPOLARITY()
public org.antlr.v4.runtime.tree.TerminalNode ANTECEDENTPOLARITY(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> SUCCEDENTPOLARITY()
public org.antlr.v4.runtime.tree.TerminalNode SUCCEDENTPOLARITY(int i)
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.