public class DeclarationBuilder extends DefaultBuilder
These information are registered into the given NamespaceSet
.
for level-1 declarations
LIMIT_SUFFIX, nss, services
Constructor and Description |
---|
DeclarationBuilder(Services services,
NamespaceSet nss) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(org.antlr.v4.runtime.RuleContext ctx)
Helper function for avoiding cast.
|
protected <T> T |
accept(org.antlr.v4.runtime.RuleContext ctx,
java.lang.Object... args) |
protected <T> T |
acceptFirst(java.util.Collection<? extends org.antlr.v4.runtime.RuleContext> seq) |
protected BuildingIssue |
addWarning(org.antlr.v4.runtime.ParserRuleContext node,
java.lang.String description) |
protected BuildingIssue |
addWarning(java.lang.String description) |
protected T |
aggregateResult(T aggregate,
T nextResult) |
protected void |
each(java.util.Collection<? extends org.antlr.v4.runtime.ParserRuleContext> argument) |
protected void |
each(org.antlr.v4.runtime.RuleContext... ctx) |
java.util.List<BuildingIssue> |
getBuildingIssues() |
protected <T2> java.util.List<T2> |
mapMapOf(java.util.List<? extends org.antlr.v4.runtime.RuleContext>... ctxss) |
protected <T> java.util.List<T> |
mapOf(java.util.Collection<? extends org.antlr.v4.runtime.ParserRuleContext> argument) |
protected <T> T |
oneOf(org.antlr.v4.runtime.ParserRuleContext... ctxs) |
protected <T> T |
peek() |
protected <T> T |
pop() |
protected void |
push(java.lang.Object... obj) |
protected void |
semanticError(org.antlr.v4.runtime.ParserRuleContext ctx,
java.lang.String format,
java.lang.Object... args)
Throws a semanticError for the given ast node and message.
|
protected void |
throwEx(java.lang.Throwable e)
Wraps an exception into a
BuildingException |
java.lang.Object |
visitChoice(KeYParser.ChoiceContext ctx)
Visit a parse tree produced by
KeYParser.choice() . |
java.lang.Object |
visitDecls(KeYParser.DeclsContext ctx)
Visit a parse tree produced by
KeYParser.decls() . |
java.util.List<Sort> |
visitExtends_sorts(KeYParser.Extends_sortsContext ctx)
Visit a parse tree produced by
KeYParser.extends_sorts() . |
java.lang.Object |
visitOne_sort_decl(KeYParser.One_sort_declContext ctx)
Visit a parse tree produced by
KeYParser.one_sort_decl() . |
java.util.List<Sort> |
visitOneof_sorts(KeYParser.Oneof_sortsContext ctx)
Visit a parse tree produced by
KeYParser.oneof_sorts() . |
java.lang.Object |
visitOption_decls(KeYParser.Option_declsContext ctx)
Visit a parse tree produced by
KeYParser.option_decls() . |
java.lang.Object |
visitOptions_choice(KeYParser.Options_choiceContext ctx)
Visit a parse tree produced by
KeYParser.options_choice() . |
java.lang.Object |
visitProg_var_decls(KeYParser.Prog_var_declsContext ctx)
Visit a parse tree produced by
KeYParser.prog_var_decls() . |
java.lang.Object |
visitRuleset_decls(KeYParser.Ruleset_declsContext ctx)
Visit a parse tree produced by
KeYParser.ruleset_decls() . |
java.lang.Object |
visitSort_decls(KeYParser.Sort_declsContext ctx)
Visit a parse tree produced by
KeYParser.sort_decls() . |
choices, doLookup, functions, getJavaInfo, getServices, lookup, lookupSort, lookupVarfuncId, namespaces, programVariables, ruleSets, schemaVariables, semanticErrorMsg, setSchemaVariables, sorts, toArraySort, unbindVars, variables, visitArg_sorts_or_formula_helper, visitArg_sorts_or_formula, visitArg_sorts, visitFuncpred_name, visitKeyjavatype, visitPvset, visitRuleset, visitRulesets, visitSimple_ident_comma_list, visitSimple_ident_dots_comma_list, visitSimple_ident_dots, visitSimple_ident, visitSortId, visitString_value, visitVarIds, visitWhere_to_bind
visitAbbreviation, visitAccessterm, visitActivated_choice, visitAdd, visitAddprogvar, visitAddrules, visitArgument_list, visitArrayopid, visitAtom_prefix, visitAttribute_complex, visitAttribute_simple, visitAttribute_star, visitBoolean_literal, visitBootClassPath, visitBound_variables, visitBracket_access_heap_term, visitBracket_access_heap_update, visitBracket_access_indexrange, visitBracket_access_star, visitBracket_suffix_heap, visitBracket_term, visitCall, visitCast_term, visitChar_literal, visitClassPaths, visitComparison_term, visitConjunction_term, visitContracts, visitDisjunction_term, visitElementary_update_term, visitEquality_term, visitEquivalence_term, visitFile, visitFunc_decl, visitFunc_decls, visitGoalspec, visitGoalspecs, visitGoalspecwithoption, visitId_declaration, visitIfExThenElseTerm, visitIfThenElseTerm, visitImplication_term, visitInvariants, visitJavaSource, visitLabel, visitLiterals, visitLocation_term, visitLocset_term, visitMetaId, visitMetaTerm, visitModality_term, visitModifiers, visitNegation_term, visitNumber, visitOne_bound_variable, visitOne_contract, visitOne_include_statement, visitOne_include, visitOne_invariant, visitOne_schema_modal_op_decl, visitOne_schema_var_decl, visitOneJavaSource, visitOption_list, visitOption, visitOptionDecl, visitParallel_term, visitPred_decl, visitPred_decls, visitPreferences, visitPrimitive_labeled_term, visitPrimitive_term, visitProblem, visitProfile, visitProof, visitProofScript, visitQuantifierterm, visitReplacewith, visitRulesOrAxioms, visitSchema_modifiers, visitSchema_var_decls, visitSemisequent, visitSeq, visitSeqEOF, visitSingle_label, visitString_literal, visitStrong_arith_term_1, visitStrong_arith_term_2, visitSubstitution_term, visitTaclet, visitTacletlist, visitTerm, visitTerm60, visitTermEOF, visitTermorseq, visitTermParen, visitTransform_decl, visitTransform_decls, visitTriggers, visitUnary_minus_term, visitUpdate_term, visitVarexp_argument, visitVarexp, visitVarexpId, visitVarexplist, visitVarId, visitWeak_arith_term
defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal
public DeclarationBuilder(Services services, NamespaceSet nss)
public java.lang.Object visitDecls(KeYParser.DeclsContext ctx)
KeYParserBaseVisitor
KeYParser.decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDecls
in interface KeYParserVisitor<java.lang.Object>
visitDecls
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.lang.Object visitProg_var_decls(KeYParser.Prog_var_declsContext ctx)
KeYParserBaseVisitor
KeYParser.prog_var_decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitProg_var_decls
in interface KeYParserVisitor<java.lang.Object>
visitProg_var_decls
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.lang.Object visitChoice(KeYParser.ChoiceContext ctx)
KeYParserBaseVisitor
KeYParser.choice()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitChoice
in interface KeYParserVisitor<java.lang.Object>
visitChoice
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.lang.Object visitSort_decls(KeYParser.Sort_declsContext ctx)
KeYParserBaseVisitor
KeYParser.sort_decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSort_decls
in interface KeYParserVisitor<java.lang.Object>
visitSort_decls
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.lang.Object visitOne_sort_decl(KeYParser.One_sort_declContext ctx)
KeYParserBaseVisitor
KeYParser.one_sort_decl()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOne_sort_decl
in interface KeYParserVisitor<java.lang.Object>
visitOne_sort_decl
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.lang.Object visitOption_decls(KeYParser.Option_declsContext ctx)
KeYParserBaseVisitor
KeYParser.option_decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOption_decls
in interface KeYParserVisitor<java.lang.Object>
visitOption_decls
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.util.List<Sort> visitExtends_sorts(KeYParser.Extends_sortsContext ctx)
KeYParserBaseVisitor
KeYParser.extends_sorts()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitExtends_sorts
in interface KeYParserVisitor<java.lang.Object>
visitExtends_sorts
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.util.List<Sort> visitOneof_sorts(KeYParser.Oneof_sortsContext ctx)
KeYParserBaseVisitor
KeYParser.oneof_sorts()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOneof_sorts
in interface KeYParserVisitor<java.lang.Object>
visitOneof_sorts
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.lang.Object visitRuleset_decls(KeYParser.Ruleset_declsContext ctx)
KeYParserBaseVisitor
KeYParser.ruleset_decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRuleset_decls
in interface KeYParserVisitor<java.lang.Object>
visitRuleset_decls
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse treepublic java.lang.Object visitOptions_choice(KeYParser.Options_choiceContext ctx)
KeYParserBaseVisitor
KeYParser.options_choice()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOptions_choice
in interface KeYParserVisitor<java.lang.Object>
visitOptions_choice
in class KeYParserBaseVisitor<java.lang.Object>
ctx
- the parse tree@Nullable public <T> T accept(@Nullable org.antlr.v4.runtime.RuleContext ctx)
T
- ctx
- protected T aggregateResult(T aggregate, T nextResult)
aggregateResult
in class org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>
protected <T> T peek()
T
- protected <T> T acceptFirst(java.util.Collection<? extends org.antlr.v4.runtime.RuleContext> seq)
protected <T> T pop()
protected void push(java.lang.Object... obj)
@Nullable protected <T> T accept(@Nullable org.antlr.v4.runtime.RuleContext ctx, java.lang.Object... args)
protected <T> T oneOf(org.antlr.v4.runtime.ParserRuleContext... ctxs)
protected <T> java.util.List<T> mapOf(java.util.Collection<? extends org.antlr.v4.runtime.ParserRuleContext> argument)
protected void each(org.antlr.v4.runtime.RuleContext... ctx)
protected void each(java.util.Collection<? extends org.antlr.v4.runtime.ParserRuleContext> argument)
protected <T2> java.util.List<T2> mapMapOf(java.util.List<? extends org.antlr.v4.runtime.RuleContext>... ctxss)
@Nonnull public java.util.List<BuildingIssue> getBuildingIssues()
protected BuildingIssue addWarning(org.antlr.v4.runtime.ParserRuleContext node, java.lang.String description)
protected BuildingIssue addWarning(java.lang.String description)
protected void semanticError(org.antlr.v4.runtime.ParserRuleContext ctx, java.lang.String format, java.lang.Object... args)
ctx
- format
- args
- protected void throwEx(java.lang.Throwable e)
BuildingException
e
- Copyright © 2003-2019 The KeY-Project.