T
- The return type of the visit operation. Use Void
for
operations with no return type.public class KeYParserBaseVisitor<T> extends org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T> implements KeYParserVisitor<T>
KeYParserVisitor
,
which can be extended to create a visitor which only needs to handle a subset
of the available methods.Constructor and Description |
---|
KeYParserBaseVisitor() |
aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal
public T visitFile(KeYParser.FileContext ctx)
KeYParser.file()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFile
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitDecls(KeYParser.DeclsContext ctx)
KeYParser.decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDecls
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitProblem(KeYParser.ProblemContext ctx)
KeYParser.problem()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitProblem
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOne_include_statement(KeYParser.One_include_statementContext ctx)
KeYParser.one_include_statement()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOne_include_statement
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOne_include(KeYParser.One_includeContext ctx)
KeYParser.one_include()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOne_include
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOptions_choice(KeYParser.Options_choiceContext ctx)
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<T>
ctx
- the parse treepublic T visitActivated_choice(KeYParser.Activated_choiceContext ctx)
KeYParser.activated_choice()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitActivated_choice
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOption_decls(KeYParser.Option_declsContext ctx)
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<T>
ctx
- the parse treepublic T visitChoice(KeYParser.ChoiceContext ctx)
KeYParser.choice()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitChoice
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOptionDecl(KeYParser.OptionDeclContext ctx)
KeYParser.optionDecl()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOptionDecl
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSort_decls(KeYParser.Sort_declsContext ctx)
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<T>
ctx
- the parse treepublic T visitOne_sort_decl(KeYParser.One_sort_declContext ctx)
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<T>
ctx
- the parse treepublic T visitSimple_ident_dots(KeYParser.Simple_ident_dotsContext ctx)
KeYParser.simple_ident_dots()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSimple_ident_dots
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSimple_ident_dots_comma_list(KeYParser.Simple_ident_dots_comma_listContext ctx)
KeYParser.simple_ident_dots_comma_list()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSimple_ident_dots_comma_list
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitExtends_sorts(KeYParser.Extends_sortsContext ctx)
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<T>
ctx
- the parse treepublic T visitOneof_sorts(KeYParser.Oneof_sortsContext ctx)
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<T>
ctx
- the parse treepublic T visitKeyjavatype(KeYParser.KeyjavatypeContext ctx)
KeYParser.keyjavatype()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitKeyjavatype
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitProg_var_decls(KeYParser.Prog_var_declsContext ctx)
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<T>
ctx
- the parse treepublic T visitString_literal(KeYParser.String_literalContext ctx)
KeYParser.string_literal()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitString_literal
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitString_value(KeYParser.String_valueContext ctx)
KeYParser.string_value()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitString_value
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSimple_ident(KeYParser.Simple_identContext ctx)
KeYParser.simple_ident()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSimple_ident
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSimple_ident_comma_list(KeYParser.Simple_ident_comma_listContext ctx)
KeYParser.simple_ident_comma_list()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSimple_ident_comma_list
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSchema_var_decls(KeYParser.Schema_var_declsContext ctx)
KeYParser.schema_var_decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSchema_var_decls
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOne_schema_var_decl(KeYParser.One_schema_var_declContext ctx)
KeYParser.one_schema_var_decl()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOne_schema_var_decl
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSchema_modifiers(KeYParser.Schema_modifiersContext ctx)
KeYParser.schema_modifiers()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSchema_modifiers
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOne_schema_modal_op_decl(KeYParser.One_schema_modal_op_declContext ctx)
KeYParser.one_schema_modal_op_decl()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOne_schema_modal_op_decl
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitPred_decl(KeYParser.Pred_declContext ctx)
KeYParser.pred_decl()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPred_decl
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitPred_decls(KeYParser.Pred_declsContext ctx)
KeYParser.pred_decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPred_decls
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitFunc_decl(KeYParser.Func_declContext ctx)
KeYParser.func_decl()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFunc_decl
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitFunc_decls(KeYParser.Func_declsContext ctx)
KeYParser.func_decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFunc_decls
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitArg_sorts_or_formula(KeYParser.Arg_sorts_or_formulaContext ctx)
KeYParser.arg_sorts_or_formula()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitArg_sorts_or_formula
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitArg_sorts_or_formula_helper(KeYParser.Arg_sorts_or_formula_helperContext ctx)
KeYParser.arg_sorts_or_formula_helper()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitArg_sorts_or_formula_helper
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTransform_decl(KeYParser.Transform_declContext ctx)
KeYParser.transform_decl()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTransform_decl
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTransform_decls(KeYParser.Transform_declsContext ctx)
KeYParser.transform_decls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTransform_decls
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitArrayopid(KeYParser.ArrayopidContext ctx)
KeYParser.arrayopid()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitArrayopid
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitArg_sorts(KeYParser.Arg_sortsContext ctx)
KeYParser.arg_sorts()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitArg_sorts
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitWhere_to_bind(KeYParser.Where_to_bindContext ctx)
KeYParser.where_to_bind()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitWhere_to_bind
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitRuleset_decls(KeYParser.Ruleset_declsContext ctx)
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<T>
ctx
- the parse treepublic T visitSortId(KeYParser.SortIdContext ctx)
KeYParser.sortId()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSortId
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitId_declaration(KeYParser.Id_declarationContext ctx)
KeYParser.id_declaration()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitId_declaration
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitFuncpred_name(KeYParser.Funcpred_nameContext ctx)
KeYParser.funcpred_name()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFuncpred_name
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTermEOF(KeYParser.TermEOFContext ctx)
KeYParser.termEOF()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTermEOF
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBoolean_literal(KeYParser.Boolean_literalContext ctx)
KeYParser.boolean_literal()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBoolean_literal
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitLiterals(KeYParser.LiteralsContext ctx)
KeYParser.literals()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLiterals
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTerm(KeYParser.TermContext ctx)
KeYParser.term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTerm
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitParallel_term(KeYParser.Parallel_termContext ctx)
KeYParser.parallel_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitParallel_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitElementary_update_term(KeYParser.Elementary_update_termContext ctx)
KeYParser.elementary_update_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitElementary_update_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitEquivalence_term(KeYParser.Equivalence_termContext ctx)
KeYParser.equivalence_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitEquivalence_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitImplication_term(KeYParser.Implication_termContext ctx)
KeYParser.implication_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitImplication_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitDisjunction_term(KeYParser.Disjunction_termContext ctx)
KeYParser.disjunction_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDisjunction_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitConjunction_term(KeYParser.Conjunction_termContext ctx)
KeYParser.conjunction_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitConjunction_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTerm60(KeYParser.Term60Context ctx)
KeYParser.term60()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTerm60
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitNegation_term(KeYParser.Negation_termContext ctx)
negation_term
labeled alternative in KeYParser.unary_formula()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitNegation_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitQuantifierterm(KeYParser.QuantifiertermContext ctx)
quantifierterm
labeled alternative in KeYParser.unary_formula()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitQuantifierterm
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitModality_term(KeYParser.Modality_termContext ctx)
modality_term
labeled alternative in KeYParser.unary_formula()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitModality_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitEquality_term(KeYParser.Equality_termContext ctx)
KeYParser.equality_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitEquality_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitComparison_term(KeYParser.Comparison_termContext ctx)
KeYParser.comparison_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitComparison_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitWeak_arith_term(KeYParser.Weak_arith_termContext ctx)
KeYParser.weak_arith_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitWeak_arith_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitStrong_arith_term_1(KeYParser.Strong_arith_term_1Context ctx)
KeYParser.strong_arith_term_1()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitStrong_arith_term_1
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitStrong_arith_term_2(KeYParser.Strong_arith_term_2Context ctx)
KeYParser.strong_arith_term_2()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitStrong_arith_term_2
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitUpdate_term(KeYParser.Update_termContext ctx)
KeYParser.update_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitUpdate_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSubstitution_term(KeYParser.Substitution_termContext ctx)
KeYParser.substitution_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSubstitution_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitCast_term(KeYParser.Cast_termContext ctx)
KeYParser.cast_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitCast_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitUnary_minus_term(KeYParser.Unary_minus_termContext ctx)
KeYParser.unary_minus_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitUnary_minus_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAtom_prefix(KeYParser.Atom_prefixContext ctx)
KeYParser.atom_prefix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAtom_prefix
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBracket_term(KeYParser.Bracket_termContext ctx)
KeYParser.bracket_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBracket_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBracket_suffix_heap(KeYParser.Bracket_suffix_heapContext ctx)
KeYParser.bracket_suffix_heap()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBracket_suffix_heap
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBracket_access_heap_update(KeYParser.Bracket_access_heap_updateContext ctx)
bracket_access_heap_update
labeled alternative in KeYParser.brace_suffix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBracket_access_heap_update
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBracket_access_heap_term(KeYParser.Bracket_access_heap_termContext ctx)
bracket_access_heap_term
labeled alternative in KeYParser.brace_suffix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBracket_access_heap_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBracket_access_star(KeYParser.Bracket_access_starContext ctx)
bracket_access_star
labeled alternative in KeYParser.brace_suffix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBracket_access_star
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBracket_access_indexrange(KeYParser.Bracket_access_indexrangeContext ctx)
bracket_access_indexrange
labeled alternative in KeYParser.brace_suffix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBracket_access_indexrange
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitPrimitive_labeled_term(KeYParser.Primitive_labeled_termContext ctx)
KeYParser.primitive_labeled_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimitive_labeled_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTermParen(KeYParser.TermParenContext ctx)
KeYParser.termParen()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTermParen
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAbbreviation(KeYParser.AbbreviationContext ctx)
KeYParser.abbreviation()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAbbreviation
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitPrimitive_term(KeYParser.Primitive_termContext ctx)
KeYParser.primitive_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimitive_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAccessterm(KeYParser.AccesstermContext ctx)
KeYParser.accessterm()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAccessterm
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAttribute_star(KeYParser.Attribute_starContext ctx)
attribute_star
labeled alternative in KeYParser.attribute()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAttribute_star
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAttribute_simple(KeYParser.Attribute_simpleContext ctx)
attribute_simple
labeled alternative in KeYParser.attribute()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAttribute_simple
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAttribute_complex(KeYParser.Attribute_complexContext ctx)
attribute_complex
labeled alternative in KeYParser.attribute()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAttribute_complex
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitCall(KeYParser.CallContext ctx)
KeYParser.call()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitCall
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitLabel(KeYParser.LabelContext ctx)
KeYParser.label()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLabel
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSingle_label(KeYParser.Single_labelContext ctx)
KeYParser.single_label()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSingle_label
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitLocation_term(KeYParser.Location_termContext ctx)
KeYParser.location_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLocation_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitIfThenElseTerm(KeYParser.IfThenElseTermContext ctx)
KeYParser.ifThenElseTerm()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitIfThenElseTerm
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitIfExThenElseTerm(KeYParser.IfExThenElseTermContext ctx)
KeYParser.ifExThenElseTerm()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitIfExThenElseTerm
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitLocset_term(KeYParser.Locset_termContext ctx)
KeYParser.locset_term()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLocset_term
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBound_variables(KeYParser.Bound_variablesContext ctx)
KeYParser.bound_variables()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBound_variables
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOne_bound_variable(KeYParser.One_bound_variableContext ctx)
KeYParser.one_bound_variable()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOne_bound_variable
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitArgument_list(KeYParser.Argument_listContext ctx)
KeYParser.argument_list()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitArgument_list
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitNumber(KeYParser.NumberContext ctx)
KeYParser.number()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitNumber
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitChar_literal(KeYParser.Char_literalContext ctx)
KeYParser.char_literal()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitChar_literal
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitVarId(KeYParser.VarIdContext ctx)
KeYParser.varId()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitVarId
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitVarIds(KeYParser.VarIdsContext ctx)
KeYParser.varIds()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitVarIds
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTriggers(KeYParser.TriggersContext ctx)
KeYParser.triggers()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTriggers
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTaclet(KeYParser.TacletContext ctx)
KeYParser.taclet()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTaclet
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitModifiers(KeYParser.ModifiersContext ctx)
KeYParser.modifiers()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitModifiers
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSeq(KeYParser.SeqContext ctx)
KeYParser.seq()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSeq
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSeqEOF(KeYParser.SeqEOFContext ctx)
KeYParser.seqEOF()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSeqEOF
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTermorseq(KeYParser.TermorseqContext ctx)
KeYParser.termorseq()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTermorseq
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitSemisequent(KeYParser.SemisequentContext ctx)
KeYParser.semisequent()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSemisequent
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitVarexplist(KeYParser.VarexplistContext ctx)
KeYParser.varexplist()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitVarexplist
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitVarexp(KeYParser.VarexpContext ctx)
KeYParser.varexp()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitVarexp
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitVarexpId(KeYParser.VarexpIdContext ctx)
KeYParser.varexpId()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitVarexpId
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitVarexp_argument(KeYParser.Varexp_argumentContext ctx)
KeYParser.varexp_argument()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitVarexp_argument
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitGoalspecs(KeYParser.GoalspecsContext ctx)
KeYParser.goalspecs()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitGoalspecs
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitGoalspecwithoption(KeYParser.GoalspecwithoptionContext ctx)
KeYParser.goalspecwithoption()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitGoalspecwithoption
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOption(KeYParser.OptionContext ctx)
KeYParser.option()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOption
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOption_list(KeYParser.Option_listContext ctx)
KeYParser.option_list()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOption_list
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitGoalspec(KeYParser.GoalspecContext ctx)
KeYParser.goalspec()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitGoalspec
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitReplacewith(KeYParser.ReplacewithContext ctx)
KeYParser.replacewith()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitReplacewith
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAdd(KeYParser.AddContext ctx)
KeYParser.add()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAdd
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAddrules(KeYParser.AddrulesContext ctx)
KeYParser.addrules()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAddrules
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitAddprogvar(KeYParser.AddprogvarContext ctx)
KeYParser.addprogvar()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAddprogvar
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitTacletlist(KeYParser.TacletlistContext ctx)
KeYParser.tacletlist()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTacletlist
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitPvset(KeYParser.PvsetContext ctx)
KeYParser.pvset()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPvset
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitRulesets(KeYParser.RulesetsContext ctx)
KeYParser.rulesets()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRulesets
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitRuleset(KeYParser.RulesetContext ctx)
KeYParser.ruleset()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRuleset
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitMetaId(KeYParser.MetaIdContext ctx)
KeYParser.metaId()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMetaId
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitMetaTerm(KeYParser.MetaTermContext ctx)
KeYParser.metaTerm()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMetaTerm
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitContracts(KeYParser.ContractsContext ctx)
KeYParser.contracts()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitContracts
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitInvariants(KeYParser.InvariantsContext ctx)
KeYParser.invariants()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitInvariants
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOne_contract(KeYParser.One_contractContext ctx)
KeYParser.one_contract()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOne_contract
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOne_invariant(KeYParser.One_invariantContext ctx)
KeYParser.one_invariant()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOne_invariant
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitRulesOrAxioms(KeYParser.RulesOrAxiomsContext ctx)
KeYParser.rulesOrAxioms()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRulesOrAxioms
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitBootClassPath(KeYParser.BootClassPathContext ctx)
KeYParser.bootClassPath()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBootClassPath
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitClassPaths(KeYParser.ClassPathsContext ctx)
KeYParser.classPaths()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClassPaths
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitJavaSource(KeYParser.JavaSourceContext ctx)
KeYParser.javaSource()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitJavaSource
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitOneJavaSource(KeYParser.OneJavaSourceContext ctx)
KeYParser.oneJavaSource()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOneJavaSource
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitProfile(KeYParser.ProfileContext ctx)
KeYParser.profile()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitProfile
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitPreferences(KeYParser.PreferencesContext ctx)
KeYParser.preferences()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPreferences
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitProofScript(KeYParser.ProofScriptContext ctx)
KeYParser.proofScript()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitProofScript
in interface KeYParserVisitor<T>
ctx
- the parse treepublic T visitProof(KeYParser.ProofContext ctx)
KeYParser.proof()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitProof
in interface KeYParserVisitor<T>
ctx
- the parse treeCopyright © 2003-2019 The KeY-Project.