public static class KeYParser.DeclsContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
KeYParser.PreferencesContext |
pref |
KeYParser.ClassPathsContext |
stlist |
KeYParser.JavaSourceContext |
string |
Constructor and Description |
---|
DeclsContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public KeYParser.PreferencesContext pref
public KeYParser.ClassPathsContext stlist
public KeYParser.JavaSourceContext string
public DeclsContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public java.util.List<KeYParser.ProfileContext> profile()
public KeYParser.ProfileContext profile(int i)
public java.util.List<KeYParser.BootClassPathContext> bootClassPath()
public KeYParser.BootClassPathContext bootClassPath(int i)
public java.util.List<KeYParser.One_include_statementContext> one_include_statement()
public KeYParser.One_include_statementContext one_include_statement(int i)
public java.util.List<KeYParser.Options_choiceContext> options_choice()
public KeYParser.Options_choiceContext options_choice(int i)
public java.util.List<KeYParser.Option_declsContext> option_decls()
public KeYParser.Option_declsContext option_decls(int i)
public java.util.List<KeYParser.Sort_declsContext> sort_decls()
public KeYParser.Sort_declsContext sort_decls(int i)
public java.util.List<KeYParser.Prog_var_declsContext> prog_var_decls()
public KeYParser.Prog_var_declsContext prog_var_decls(int i)
public java.util.List<KeYParser.Schema_var_declsContext> schema_var_decls()
public KeYParser.Schema_var_declsContext schema_var_decls(int i)
public java.util.List<KeYParser.Pred_declsContext> pred_decls()
public KeYParser.Pred_declsContext pred_decls(int i)
public java.util.List<KeYParser.Func_declsContext> func_decls()
public KeYParser.Func_declsContext func_decls(int i)
public java.util.List<KeYParser.Transform_declsContext> transform_decls()
public KeYParser.Transform_declsContext transform_decls(int i)
public java.util.List<KeYParser.Ruleset_declsContext> ruleset_decls()
public KeYParser.Ruleset_declsContext ruleset_decls(int i)
public java.util.List<KeYParser.ContractsContext> contracts()
public KeYParser.ContractsContext contracts(int i)
public java.util.List<KeYParser.InvariantsContext> invariants()
public KeYParser.InvariantsContext invariants(int i)
public java.util.List<KeYParser.RulesOrAxiomsContext> rulesOrAxioms()
public KeYParser.RulesOrAxiomsContext rulesOrAxioms(int i)
public java.util.List<KeYParser.PreferencesContext> preferences()
public KeYParser.PreferencesContext preferences(int i)
public java.util.List<KeYParser.ClassPathsContext> classPaths()
public KeYParser.ClassPathsContext classPaths(int i)
public java.util.List<KeYParser.JavaSourceContext> javaSource()
public KeYParser.JavaSourceContext javaSource(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.