public static class KeYParser.One_schema_var_declContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
KeYParser.Simple_identContext |
id |
KeYParser.Simple_ident_comma_listContext |
ids |
KeYParser.Simple_identContext |
nameString |
KeYParser.Simple_ident_dotsContext |
parameter |
KeYParser.SortIdContext |
s |
Constructor and Description |
---|
One_schema_var_declContext(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) |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
org.antlr.v4.runtime.tree.TerminalNode |
EQUALS() |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
org.antlr.v4.runtime.tree.TerminalNode |
FORMULA() |
int |
getRuleIndex() |
org.antlr.v4.runtime.tree.TerminalNode |
LBRACKET() |
org.antlr.v4.runtime.tree.TerminalNode |
MODALOPERATOR() |
KeYParser.One_schema_modal_op_declContext |
one_schema_modal_op_decl() |
org.antlr.v4.runtime.tree.TerminalNode |
PROGRAM() |
org.antlr.v4.runtime.tree.TerminalNode |
RBRACKET() |
KeYParser.Schema_modifiersContext |
schema_modifiers() |
KeYParser.Simple_ident_comma_listContext |
simple_ident_comma_list() |
KeYParser.Simple_ident_dotsContext |
simple_ident_dots() |
java.util.List<KeYParser.Simple_identContext> |
simple_ident() |
KeYParser.Simple_identContext |
simple_ident(int i) |
org.antlr.v4.runtime.tree.TerminalNode |
SKOLEMFORMULA() |
org.antlr.v4.runtime.tree.TerminalNode |
SKOLEMTERM() |
KeYParser.SortIdContext |
sortId() |
org.antlr.v4.runtime.tree.TerminalNode |
TERM() |
org.antlr.v4.runtime.tree.TerminalNode |
TERMLABEL() |
org.antlr.v4.runtime.tree.TerminalNode |
UPDATE() |
org.antlr.v4.runtime.tree.TerminalNode |
VARIABLE() |
org.antlr.v4.runtime.tree.TerminalNode |
VARIABLES() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public KeYParser.Simple_identContext id
public KeYParser.Simple_identContext nameString
public KeYParser.Simple_ident_dotsContext parameter
public KeYParser.Simple_ident_comma_listContext ids
public KeYParser.SortIdContext s
public One_schema_var_declContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode MODALOPERATOR()
public KeYParser.One_schema_modal_op_declContext one_schema_modal_op_decl()
public org.antlr.v4.runtime.tree.TerminalNode PROGRAM()
public java.util.List<KeYParser.Simple_identContext> simple_ident()
public KeYParser.Simple_identContext simple_ident(int i)
public KeYParser.Simple_ident_comma_listContext simple_ident_comma_list()
public KeYParser.Schema_modifiersContext schema_modifiers()
public org.antlr.v4.runtime.tree.TerminalNode LBRACKET()
public org.antlr.v4.runtime.tree.TerminalNode EQUALS()
public org.antlr.v4.runtime.tree.TerminalNode RBRACKET()
public KeYParser.Simple_ident_dotsContext simple_ident_dots()
public org.antlr.v4.runtime.tree.TerminalNode FORMULA()
public org.antlr.v4.runtime.tree.TerminalNode TERMLABEL()
public org.antlr.v4.runtime.tree.TerminalNode UPDATE()
public org.antlr.v4.runtime.tree.TerminalNode SKOLEMFORMULA()
public KeYParser.SortIdContext sortId()
public org.antlr.v4.runtime.tree.TerminalNode TERM()
public org.antlr.v4.runtime.tree.TerminalNode SKOLEMTERM()
public org.antlr.v4.runtime.tree.TerminalNode VARIABLES()
public org.antlr.v4.runtime.tree.TerminalNode VARIABLE()
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.