public class KeYParserBaseListener extends java.lang.Object implements KeYParserListener
KeYParserListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.Constructor and Description |
---|
KeYParserBaseListener() |
public void enterFile(KeYParser.FileContext ctx)
KeYParser.file()
.
The default implementation does nothing.
enterFile
in interface KeYParserListener
ctx
- the parse treepublic void exitFile(KeYParser.FileContext ctx)
KeYParser.file()
.
The default implementation does nothing.
exitFile
in interface KeYParserListener
ctx
- the parse treepublic void enterDecls(KeYParser.DeclsContext ctx)
KeYParser.decls()
.
The default implementation does nothing.
enterDecls
in interface KeYParserListener
ctx
- the parse treepublic void exitDecls(KeYParser.DeclsContext ctx)
KeYParser.decls()
.
The default implementation does nothing.
exitDecls
in interface KeYParserListener
ctx
- the parse treepublic void enterProblem(KeYParser.ProblemContext ctx)
KeYParser.problem()
.
The default implementation does nothing.
enterProblem
in interface KeYParserListener
ctx
- the parse treepublic void exitProblem(KeYParser.ProblemContext ctx)
KeYParser.problem()
.
The default implementation does nothing.
exitProblem
in interface KeYParserListener
ctx
- the parse treepublic void enterOne_include_statement(KeYParser.One_include_statementContext ctx)
KeYParser.one_include_statement()
.
The default implementation does nothing.
enterOne_include_statement
in interface KeYParserListener
ctx
- the parse treepublic void exitOne_include_statement(KeYParser.One_include_statementContext ctx)
KeYParser.one_include_statement()
.
The default implementation does nothing.
exitOne_include_statement
in interface KeYParserListener
ctx
- the parse treepublic void enterOne_include(KeYParser.One_includeContext ctx)
KeYParser.one_include()
.
The default implementation does nothing.
enterOne_include
in interface KeYParserListener
ctx
- the parse treepublic void exitOne_include(KeYParser.One_includeContext ctx)
KeYParser.one_include()
.
The default implementation does nothing.
exitOne_include
in interface KeYParserListener
ctx
- the parse treepublic void enterOptions_choice(KeYParser.Options_choiceContext ctx)
KeYParser.options_choice()
.
The default implementation does nothing.
enterOptions_choice
in interface KeYParserListener
ctx
- the parse treepublic void exitOptions_choice(KeYParser.Options_choiceContext ctx)
KeYParser.options_choice()
.
The default implementation does nothing.
exitOptions_choice
in interface KeYParserListener
ctx
- the parse treepublic void enterActivated_choice(KeYParser.Activated_choiceContext ctx)
KeYParser.activated_choice()
.
The default implementation does nothing.
enterActivated_choice
in interface KeYParserListener
ctx
- the parse treepublic void exitActivated_choice(KeYParser.Activated_choiceContext ctx)
KeYParser.activated_choice()
.
The default implementation does nothing.
exitActivated_choice
in interface KeYParserListener
ctx
- the parse treepublic void enterOption_decls(KeYParser.Option_declsContext ctx)
KeYParser.option_decls()
.
The default implementation does nothing.
enterOption_decls
in interface KeYParserListener
ctx
- the parse treepublic void exitOption_decls(KeYParser.Option_declsContext ctx)
KeYParser.option_decls()
.
The default implementation does nothing.
exitOption_decls
in interface KeYParserListener
ctx
- the parse treepublic void enterChoice(KeYParser.ChoiceContext ctx)
KeYParser.choice()
.
The default implementation does nothing.
enterChoice
in interface KeYParserListener
ctx
- the parse treepublic void exitChoice(KeYParser.ChoiceContext ctx)
KeYParser.choice()
.
The default implementation does nothing.
exitChoice
in interface KeYParserListener
ctx
- the parse treepublic void enterOptionDecl(KeYParser.OptionDeclContext ctx)
KeYParser.optionDecl()
.
The default implementation does nothing.
enterOptionDecl
in interface KeYParserListener
ctx
- the parse treepublic void exitOptionDecl(KeYParser.OptionDeclContext ctx)
KeYParser.optionDecl()
.
The default implementation does nothing.
exitOptionDecl
in interface KeYParserListener
ctx
- the parse treepublic void enterSort_decls(KeYParser.Sort_declsContext ctx)
KeYParser.sort_decls()
.
The default implementation does nothing.
enterSort_decls
in interface KeYParserListener
ctx
- the parse treepublic void exitSort_decls(KeYParser.Sort_declsContext ctx)
KeYParser.sort_decls()
.
The default implementation does nothing.
exitSort_decls
in interface KeYParserListener
ctx
- the parse treepublic void enterOne_sort_decl(KeYParser.One_sort_declContext ctx)
KeYParser.one_sort_decl()
.
The default implementation does nothing.
enterOne_sort_decl
in interface KeYParserListener
ctx
- the parse treepublic void exitOne_sort_decl(KeYParser.One_sort_declContext ctx)
KeYParser.one_sort_decl()
.
The default implementation does nothing.
exitOne_sort_decl
in interface KeYParserListener
ctx
- the parse treepublic void enterSimple_ident_dots(KeYParser.Simple_ident_dotsContext ctx)
KeYParser.simple_ident_dots()
.
The default implementation does nothing.
enterSimple_ident_dots
in interface KeYParserListener
ctx
- the parse treepublic void exitSimple_ident_dots(KeYParser.Simple_ident_dotsContext ctx)
KeYParser.simple_ident_dots()
.
The default implementation does nothing.
exitSimple_ident_dots
in interface KeYParserListener
ctx
- the parse treepublic void enterSimple_ident_dots_comma_list(KeYParser.Simple_ident_dots_comma_listContext ctx)
KeYParser.simple_ident_dots_comma_list()
.
The default implementation does nothing.
enterSimple_ident_dots_comma_list
in interface KeYParserListener
ctx
- the parse treepublic void exitSimple_ident_dots_comma_list(KeYParser.Simple_ident_dots_comma_listContext ctx)
KeYParser.simple_ident_dots_comma_list()
.
The default implementation does nothing.
exitSimple_ident_dots_comma_list
in interface KeYParserListener
ctx
- the parse treepublic void enterExtends_sorts(KeYParser.Extends_sortsContext ctx)
KeYParser.extends_sorts()
.
The default implementation does nothing.
enterExtends_sorts
in interface KeYParserListener
ctx
- the parse treepublic void exitExtends_sorts(KeYParser.Extends_sortsContext ctx)
KeYParser.extends_sorts()
.
The default implementation does nothing.
exitExtends_sorts
in interface KeYParserListener
ctx
- the parse treepublic void enterOneof_sorts(KeYParser.Oneof_sortsContext ctx)
KeYParser.oneof_sorts()
.
The default implementation does nothing.
enterOneof_sorts
in interface KeYParserListener
ctx
- the parse treepublic void exitOneof_sorts(KeYParser.Oneof_sortsContext ctx)
KeYParser.oneof_sorts()
.
The default implementation does nothing.
exitOneof_sorts
in interface KeYParserListener
ctx
- the parse treepublic void enterKeyjavatype(KeYParser.KeyjavatypeContext ctx)
KeYParser.keyjavatype()
.
The default implementation does nothing.
enterKeyjavatype
in interface KeYParserListener
ctx
- the parse treepublic void exitKeyjavatype(KeYParser.KeyjavatypeContext ctx)
KeYParser.keyjavatype()
.
The default implementation does nothing.
exitKeyjavatype
in interface KeYParserListener
ctx
- the parse treepublic void enterProg_var_decls(KeYParser.Prog_var_declsContext ctx)
KeYParser.prog_var_decls()
.
The default implementation does nothing.
enterProg_var_decls
in interface KeYParserListener
ctx
- the parse treepublic void exitProg_var_decls(KeYParser.Prog_var_declsContext ctx)
KeYParser.prog_var_decls()
.
The default implementation does nothing.
exitProg_var_decls
in interface KeYParserListener
ctx
- the parse treepublic void enterString_literal(KeYParser.String_literalContext ctx)
KeYParser.string_literal()
.
The default implementation does nothing.
enterString_literal
in interface KeYParserListener
ctx
- the parse treepublic void exitString_literal(KeYParser.String_literalContext ctx)
KeYParser.string_literal()
.
The default implementation does nothing.
exitString_literal
in interface KeYParserListener
ctx
- the parse treepublic void enterString_value(KeYParser.String_valueContext ctx)
KeYParser.string_value()
.
The default implementation does nothing.
enterString_value
in interface KeYParserListener
ctx
- the parse treepublic void exitString_value(KeYParser.String_valueContext ctx)
KeYParser.string_value()
.
The default implementation does nothing.
exitString_value
in interface KeYParserListener
ctx
- the parse treepublic void enterSimple_ident(KeYParser.Simple_identContext ctx)
KeYParser.simple_ident()
.
The default implementation does nothing.
enterSimple_ident
in interface KeYParserListener
ctx
- the parse treepublic void exitSimple_ident(KeYParser.Simple_identContext ctx)
KeYParser.simple_ident()
.
The default implementation does nothing.
exitSimple_ident
in interface KeYParserListener
ctx
- the parse treepublic void enterSimple_ident_comma_list(KeYParser.Simple_ident_comma_listContext ctx)
KeYParser.simple_ident_comma_list()
.
The default implementation does nothing.
enterSimple_ident_comma_list
in interface KeYParserListener
ctx
- the parse treepublic void exitSimple_ident_comma_list(KeYParser.Simple_ident_comma_listContext ctx)
KeYParser.simple_ident_comma_list()
.
The default implementation does nothing.
exitSimple_ident_comma_list
in interface KeYParserListener
ctx
- the parse treepublic void enterSchema_var_decls(KeYParser.Schema_var_declsContext ctx)
KeYParser.schema_var_decls()
.
The default implementation does nothing.
enterSchema_var_decls
in interface KeYParserListener
ctx
- the parse treepublic void exitSchema_var_decls(KeYParser.Schema_var_declsContext ctx)
KeYParser.schema_var_decls()
.
The default implementation does nothing.
exitSchema_var_decls
in interface KeYParserListener
ctx
- the parse treepublic void enterOne_schema_var_decl(KeYParser.One_schema_var_declContext ctx)
KeYParser.one_schema_var_decl()
.
The default implementation does nothing.
enterOne_schema_var_decl
in interface KeYParserListener
ctx
- the parse treepublic void exitOne_schema_var_decl(KeYParser.One_schema_var_declContext ctx)
KeYParser.one_schema_var_decl()
.
The default implementation does nothing.
exitOne_schema_var_decl
in interface KeYParserListener
ctx
- the parse treepublic void enterSchema_modifiers(KeYParser.Schema_modifiersContext ctx)
KeYParser.schema_modifiers()
.
The default implementation does nothing.
enterSchema_modifiers
in interface KeYParserListener
ctx
- the parse treepublic void exitSchema_modifiers(KeYParser.Schema_modifiersContext ctx)
KeYParser.schema_modifiers()
.
The default implementation does nothing.
exitSchema_modifiers
in interface KeYParserListener
ctx
- the parse treepublic void enterOne_schema_modal_op_decl(KeYParser.One_schema_modal_op_declContext ctx)
KeYParser.one_schema_modal_op_decl()
.
The default implementation does nothing.
enterOne_schema_modal_op_decl
in interface KeYParserListener
ctx
- the parse treepublic void exitOne_schema_modal_op_decl(KeYParser.One_schema_modal_op_declContext ctx)
KeYParser.one_schema_modal_op_decl()
.
The default implementation does nothing.
exitOne_schema_modal_op_decl
in interface KeYParserListener
ctx
- the parse treepublic void enterPred_decl(KeYParser.Pred_declContext ctx)
KeYParser.pred_decl()
.
The default implementation does nothing.
enterPred_decl
in interface KeYParserListener
ctx
- the parse treepublic void exitPred_decl(KeYParser.Pred_declContext ctx)
KeYParser.pred_decl()
.
The default implementation does nothing.
exitPred_decl
in interface KeYParserListener
ctx
- the parse treepublic void enterPred_decls(KeYParser.Pred_declsContext ctx)
KeYParser.pred_decls()
.
The default implementation does nothing.
enterPred_decls
in interface KeYParserListener
ctx
- the parse treepublic void exitPred_decls(KeYParser.Pred_declsContext ctx)
KeYParser.pred_decls()
.
The default implementation does nothing.
exitPred_decls
in interface KeYParserListener
ctx
- the parse treepublic void enterFunc_decl(KeYParser.Func_declContext ctx)
KeYParser.func_decl()
.
The default implementation does nothing.
enterFunc_decl
in interface KeYParserListener
ctx
- the parse treepublic void exitFunc_decl(KeYParser.Func_declContext ctx)
KeYParser.func_decl()
.
The default implementation does nothing.
exitFunc_decl
in interface KeYParserListener
ctx
- the parse treepublic void enterFunc_decls(KeYParser.Func_declsContext ctx)
KeYParser.func_decls()
.
The default implementation does nothing.
enterFunc_decls
in interface KeYParserListener
ctx
- the parse treepublic void exitFunc_decls(KeYParser.Func_declsContext ctx)
KeYParser.func_decls()
.
The default implementation does nothing.
exitFunc_decls
in interface KeYParserListener
ctx
- the parse treepublic void enterArg_sorts_or_formula(KeYParser.Arg_sorts_or_formulaContext ctx)
KeYParser.arg_sorts_or_formula()
.
The default implementation does nothing.
enterArg_sorts_or_formula
in interface KeYParserListener
ctx
- the parse treepublic void exitArg_sorts_or_formula(KeYParser.Arg_sorts_or_formulaContext ctx)
KeYParser.arg_sorts_or_formula()
.
The default implementation does nothing.
exitArg_sorts_or_formula
in interface KeYParserListener
ctx
- the parse treepublic void enterArg_sorts_or_formula_helper(KeYParser.Arg_sorts_or_formula_helperContext ctx)
KeYParser.arg_sorts_or_formula_helper()
.
The default implementation does nothing.
enterArg_sorts_or_formula_helper
in interface KeYParserListener
ctx
- the parse treepublic void exitArg_sorts_or_formula_helper(KeYParser.Arg_sorts_or_formula_helperContext ctx)
KeYParser.arg_sorts_or_formula_helper()
.
The default implementation does nothing.
exitArg_sorts_or_formula_helper
in interface KeYParserListener
ctx
- the parse treepublic void enterTransform_decl(KeYParser.Transform_declContext ctx)
KeYParser.transform_decl()
.
The default implementation does nothing.
enterTransform_decl
in interface KeYParserListener
ctx
- the parse treepublic void exitTransform_decl(KeYParser.Transform_declContext ctx)
KeYParser.transform_decl()
.
The default implementation does nothing.
exitTransform_decl
in interface KeYParserListener
ctx
- the parse treepublic void enterTransform_decls(KeYParser.Transform_declsContext ctx)
KeYParser.transform_decls()
.
The default implementation does nothing.
enterTransform_decls
in interface KeYParserListener
ctx
- the parse treepublic void exitTransform_decls(KeYParser.Transform_declsContext ctx)
KeYParser.transform_decls()
.
The default implementation does nothing.
exitTransform_decls
in interface KeYParserListener
ctx
- the parse treepublic void enterArrayopid(KeYParser.ArrayopidContext ctx)
KeYParser.arrayopid()
.
The default implementation does nothing.
enterArrayopid
in interface KeYParserListener
ctx
- the parse treepublic void exitArrayopid(KeYParser.ArrayopidContext ctx)
KeYParser.arrayopid()
.
The default implementation does nothing.
exitArrayopid
in interface KeYParserListener
ctx
- the parse treepublic void enterArg_sorts(KeYParser.Arg_sortsContext ctx)
KeYParser.arg_sorts()
.
The default implementation does nothing.
enterArg_sorts
in interface KeYParserListener
ctx
- the parse treepublic void exitArg_sorts(KeYParser.Arg_sortsContext ctx)
KeYParser.arg_sorts()
.
The default implementation does nothing.
exitArg_sorts
in interface KeYParserListener
ctx
- the parse treepublic void enterWhere_to_bind(KeYParser.Where_to_bindContext ctx)
KeYParser.where_to_bind()
.
The default implementation does nothing.
enterWhere_to_bind
in interface KeYParserListener
ctx
- the parse treepublic void exitWhere_to_bind(KeYParser.Where_to_bindContext ctx)
KeYParser.where_to_bind()
.
The default implementation does nothing.
exitWhere_to_bind
in interface KeYParserListener
ctx
- the parse treepublic void enterRuleset_decls(KeYParser.Ruleset_declsContext ctx)
KeYParser.ruleset_decls()
.
The default implementation does nothing.
enterRuleset_decls
in interface KeYParserListener
ctx
- the parse treepublic void exitRuleset_decls(KeYParser.Ruleset_declsContext ctx)
KeYParser.ruleset_decls()
.
The default implementation does nothing.
exitRuleset_decls
in interface KeYParserListener
ctx
- the parse treepublic void enterSortId(KeYParser.SortIdContext ctx)
KeYParser.sortId()
.
The default implementation does nothing.
enterSortId
in interface KeYParserListener
ctx
- the parse treepublic void exitSortId(KeYParser.SortIdContext ctx)
KeYParser.sortId()
.
The default implementation does nothing.
exitSortId
in interface KeYParserListener
ctx
- the parse treepublic void enterId_declaration(KeYParser.Id_declarationContext ctx)
KeYParser.id_declaration()
.
The default implementation does nothing.
enterId_declaration
in interface KeYParserListener
ctx
- the parse treepublic void exitId_declaration(KeYParser.Id_declarationContext ctx)
KeYParser.id_declaration()
.
The default implementation does nothing.
exitId_declaration
in interface KeYParserListener
ctx
- the parse treepublic void enterFuncpred_name(KeYParser.Funcpred_nameContext ctx)
KeYParser.funcpred_name()
.
The default implementation does nothing.
enterFuncpred_name
in interface KeYParserListener
ctx
- the parse treepublic void exitFuncpred_name(KeYParser.Funcpred_nameContext ctx)
KeYParser.funcpred_name()
.
The default implementation does nothing.
exitFuncpred_name
in interface KeYParserListener
ctx
- the parse treepublic void enterTermEOF(KeYParser.TermEOFContext ctx)
KeYParser.termEOF()
.
The default implementation does nothing.
enterTermEOF
in interface KeYParserListener
ctx
- the parse treepublic void exitTermEOF(KeYParser.TermEOFContext ctx)
KeYParser.termEOF()
.
The default implementation does nothing.
exitTermEOF
in interface KeYParserListener
ctx
- the parse treepublic void enterBoolean_literal(KeYParser.Boolean_literalContext ctx)
KeYParser.boolean_literal()
.
The default implementation does nothing.
enterBoolean_literal
in interface KeYParserListener
ctx
- the parse treepublic void exitBoolean_literal(KeYParser.Boolean_literalContext ctx)
KeYParser.boolean_literal()
.
The default implementation does nothing.
exitBoolean_literal
in interface KeYParserListener
ctx
- the parse treepublic void enterLiterals(KeYParser.LiteralsContext ctx)
KeYParser.literals()
.
The default implementation does nothing.
enterLiterals
in interface KeYParserListener
ctx
- the parse treepublic void exitLiterals(KeYParser.LiteralsContext ctx)
KeYParser.literals()
.
The default implementation does nothing.
exitLiterals
in interface KeYParserListener
ctx
- the parse treepublic void enterTerm(KeYParser.TermContext ctx)
KeYParser.term()
.
The default implementation does nothing.
enterTerm
in interface KeYParserListener
ctx
- the parse treepublic void exitTerm(KeYParser.TermContext ctx)
KeYParser.term()
.
The default implementation does nothing.
exitTerm
in interface KeYParserListener
ctx
- the parse treepublic void enterParallel_term(KeYParser.Parallel_termContext ctx)
KeYParser.parallel_term()
.
The default implementation does nothing.
enterParallel_term
in interface KeYParserListener
ctx
- the parse treepublic void exitParallel_term(KeYParser.Parallel_termContext ctx)
KeYParser.parallel_term()
.
The default implementation does nothing.
exitParallel_term
in interface KeYParserListener
ctx
- the parse treepublic void enterElementary_update_term(KeYParser.Elementary_update_termContext ctx)
KeYParser.elementary_update_term()
.
The default implementation does nothing.
enterElementary_update_term
in interface KeYParserListener
ctx
- the parse treepublic void exitElementary_update_term(KeYParser.Elementary_update_termContext ctx)
KeYParser.elementary_update_term()
.
The default implementation does nothing.
exitElementary_update_term
in interface KeYParserListener
ctx
- the parse treepublic void enterEquivalence_term(KeYParser.Equivalence_termContext ctx)
KeYParser.equivalence_term()
.
The default implementation does nothing.
enterEquivalence_term
in interface KeYParserListener
ctx
- the parse treepublic void exitEquivalence_term(KeYParser.Equivalence_termContext ctx)
KeYParser.equivalence_term()
.
The default implementation does nothing.
exitEquivalence_term
in interface KeYParserListener
ctx
- the parse treepublic void enterImplication_term(KeYParser.Implication_termContext ctx)
KeYParser.implication_term()
.
The default implementation does nothing.
enterImplication_term
in interface KeYParserListener
ctx
- the parse treepublic void exitImplication_term(KeYParser.Implication_termContext ctx)
KeYParser.implication_term()
.
The default implementation does nothing.
exitImplication_term
in interface KeYParserListener
ctx
- the parse treepublic void enterDisjunction_term(KeYParser.Disjunction_termContext ctx)
KeYParser.disjunction_term()
.
The default implementation does nothing.
enterDisjunction_term
in interface KeYParserListener
ctx
- the parse treepublic void exitDisjunction_term(KeYParser.Disjunction_termContext ctx)
KeYParser.disjunction_term()
.
The default implementation does nothing.
exitDisjunction_term
in interface KeYParserListener
ctx
- the parse treepublic void enterConjunction_term(KeYParser.Conjunction_termContext ctx)
KeYParser.conjunction_term()
.
The default implementation does nothing.
enterConjunction_term
in interface KeYParserListener
ctx
- the parse treepublic void exitConjunction_term(KeYParser.Conjunction_termContext ctx)
KeYParser.conjunction_term()
.
The default implementation does nothing.
exitConjunction_term
in interface KeYParserListener
ctx
- the parse treepublic void enterTerm60(KeYParser.Term60Context ctx)
KeYParser.term60()
.
The default implementation does nothing.
enterTerm60
in interface KeYParserListener
ctx
- the parse treepublic void exitTerm60(KeYParser.Term60Context ctx)
KeYParser.term60()
.
The default implementation does nothing.
exitTerm60
in interface KeYParserListener
ctx
- the parse treepublic void enterNegation_term(KeYParser.Negation_termContext ctx)
negation_term
labeled alternative in KeYParser.unary_formula()
.
The default implementation does nothing.
enterNegation_term
in interface KeYParserListener
ctx
- the parse treepublic void exitNegation_term(KeYParser.Negation_termContext ctx)
negation_term
labeled alternative in KeYParser.unary_formula()
.
The default implementation does nothing.
exitNegation_term
in interface KeYParserListener
ctx
- the parse treepublic void enterQuantifierterm(KeYParser.QuantifiertermContext ctx)
quantifierterm
labeled alternative in KeYParser.unary_formula()
.
The default implementation does nothing.
enterQuantifierterm
in interface KeYParserListener
ctx
- the parse treepublic void exitQuantifierterm(KeYParser.QuantifiertermContext ctx)
quantifierterm
labeled alternative in KeYParser.unary_formula()
.
The default implementation does nothing.
exitQuantifierterm
in interface KeYParserListener
ctx
- the parse treepublic void enterModality_term(KeYParser.Modality_termContext ctx)
modality_term
labeled alternative in KeYParser.unary_formula()
.
The default implementation does nothing.
enterModality_term
in interface KeYParserListener
ctx
- the parse treepublic void exitModality_term(KeYParser.Modality_termContext ctx)
modality_term
labeled alternative in KeYParser.unary_formula()
.
The default implementation does nothing.
exitModality_term
in interface KeYParserListener
ctx
- the parse treepublic void enterEquality_term(KeYParser.Equality_termContext ctx)
KeYParser.equality_term()
.
The default implementation does nothing.
enterEquality_term
in interface KeYParserListener
ctx
- the parse treepublic void exitEquality_term(KeYParser.Equality_termContext ctx)
KeYParser.equality_term()
.
The default implementation does nothing.
exitEquality_term
in interface KeYParserListener
ctx
- the parse treepublic void enterComparison_term(KeYParser.Comparison_termContext ctx)
KeYParser.comparison_term()
.
The default implementation does nothing.
enterComparison_term
in interface KeYParserListener
ctx
- the parse treepublic void exitComparison_term(KeYParser.Comparison_termContext ctx)
KeYParser.comparison_term()
.
The default implementation does nothing.
exitComparison_term
in interface KeYParserListener
ctx
- the parse treepublic void enterWeak_arith_term(KeYParser.Weak_arith_termContext ctx)
KeYParser.weak_arith_term()
.
The default implementation does nothing.
enterWeak_arith_term
in interface KeYParserListener
ctx
- the parse treepublic void exitWeak_arith_term(KeYParser.Weak_arith_termContext ctx)
KeYParser.weak_arith_term()
.
The default implementation does nothing.
exitWeak_arith_term
in interface KeYParserListener
ctx
- the parse treepublic void enterStrong_arith_term_1(KeYParser.Strong_arith_term_1Context ctx)
KeYParser.strong_arith_term_1()
.
The default implementation does nothing.
enterStrong_arith_term_1
in interface KeYParserListener
ctx
- the parse treepublic void exitStrong_arith_term_1(KeYParser.Strong_arith_term_1Context ctx)
KeYParser.strong_arith_term_1()
.
The default implementation does nothing.
exitStrong_arith_term_1
in interface KeYParserListener
ctx
- the parse treepublic void enterStrong_arith_term_2(KeYParser.Strong_arith_term_2Context ctx)
KeYParser.strong_arith_term_2()
.
The default implementation does nothing.
enterStrong_arith_term_2
in interface KeYParserListener
ctx
- the parse treepublic void exitStrong_arith_term_2(KeYParser.Strong_arith_term_2Context ctx)
KeYParser.strong_arith_term_2()
.
The default implementation does nothing.
exitStrong_arith_term_2
in interface KeYParserListener
ctx
- the parse treepublic void enterUpdate_term(KeYParser.Update_termContext ctx)
KeYParser.update_term()
.
The default implementation does nothing.
enterUpdate_term
in interface KeYParserListener
ctx
- the parse treepublic void exitUpdate_term(KeYParser.Update_termContext ctx)
KeYParser.update_term()
.
The default implementation does nothing.
exitUpdate_term
in interface KeYParserListener
ctx
- the parse treepublic void enterSubstitution_term(KeYParser.Substitution_termContext ctx)
KeYParser.substitution_term()
.
The default implementation does nothing.
enterSubstitution_term
in interface KeYParserListener
ctx
- the parse treepublic void exitSubstitution_term(KeYParser.Substitution_termContext ctx)
KeYParser.substitution_term()
.
The default implementation does nothing.
exitSubstitution_term
in interface KeYParserListener
ctx
- the parse treepublic void enterCast_term(KeYParser.Cast_termContext ctx)
KeYParser.cast_term()
.
The default implementation does nothing.
enterCast_term
in interface KeYParserListener
ctx
- the parse treepublic void exitCast_term(KeYParser.Cast_termContext ctx)
KeYParser.cast_term()
.
The default implementation does nothing.
exitCast_term
in interface KeYParserListener
ctx
- the parse treepublic void enterUnary_minus_term(KeYParser.Unary_minus_termContext ctx)
KeYParser.unary_minus_term()
.
The default implementation does nothing.
enterUnary_minus_term
in interface KeYParserListener
ctx
- the parse treepublic void exitUnary_minus_term(KeYParser.Unary_minus_termContext ctx)
KeYParser.unary_minus_term()
.
The default implementation does nothing.
exitUnary_minus_term
in interface KeYParserListener
ctx
- the parse treepublic void enterAtom_prefix(KeYParser.Atom_prefixContext ctx)
KeYParser.atom_prefix()
.
The default implementation does nothing.
enterAtom_prefix
in interface KeYParserListener
ctx
- the parse treepublic void exitAtom_prefix(KeYParser.Atom_prefixContext ctx)
KeYParser.atom_prefix()
.
The default implementation does nothing.
exitAtom_prefix
in interface KeYParserListener
ctx
- the parse treepublic void enterBracket_term(KeYParser.Bracket_termContext ctx)
KeYParser.bracket_term()
.
The default implementation does nothing.
enterBracket_term
in interface KeYParserListener
ctx
- the parse treepublic void exitBracket_term(KeYParser.Bracket_termContext ctx)
KeYParser.bracket_term()
.
The default implementation does nothing.
exitBracket_term
in interface KeYParserListener
ctx
- the parse treepublic void enterBracket_suffix_heap(KeYParser.Bracket_suffix_heapContext ctx)
KeYParser.bracket_suffix_heap()
.
The default implementation does nothing.
enterBracket_suffix_heap
in interface KeYParserListener
ctx
- the parse treepublic void exitBracket_suffix_heap(KeYParser.Bracket_suffix_heapContext ctx)
KeYParser.bracket_suffix_heap()
.
The default implementation does nothing.
exitBracket_suffix_heap
in interface KeYParserListener
ctx
- the parse treepublic void enterBracket_access_heap_update(KeYParser.Bracket_access_heap_updateContext ctx)
bracket_access_heap_update
labeled alternative in KeYParser.brace_suffix()
.
The default implementation does nothing.
enterBracket_access_heap_update
in interface KeYParserListener
ctx
- the parse treepublic void exitBracket_access_heap_update(KeYParser.Bracket_access_heap_updateContext ctx)
bracket_access_heap_update
labeled alternative in KeYParser.brace_suffix()
.
The default implementation does nothing.
exitBracket_access_heap_update
in interface KeYParserListener
ctx
- the parse treepublic void enterBracket_access_heap_term(KeYParser.Bracket_access_heap_termContext ctx)
bracket_access_heap_term
labeled alternative in KeYParser.brace_suffix()
.
The default implementation does nothing.
enterBracket_access_heap_term
in interface KeYParserListener
ctx
- the parse treepublic void exitBracket_access_heap_term(KeYParser.Bracket_access_heap_termContext ctx)
bracket_access_heap_term
labeled alternative in KeYParser.brace_suffix()
.
The default implementation does nothing.
exitBracket_access_heap_term
in interface KeYParserListener
ctx
- the parse treepublic void enterBracket_access_star(KeYParser.Bracket_access_starContext ctx)
bracket_access_star
labeled alternative in KeYParser.brace_suffix()
.
The default implementation does nothing.
enterBracket_access_star
in interface KeYParserListener
ctx
- the parse treepublic void exitBracket_access_star(KeYParser.Bracket_access_starContext ctx)
bracket_access_star
labeled alternative in KeYParser.brace_suffix()
.
The default implementation does nothing.
exitBracket_access_star
in interface KeYParserListener
ctx
- the parse treepublic void enterBracket_access_indexrange(KeYParser.Bracket_access_indexrangeContext ctx)
bracket_access_indexrange
labeled alternative in KeYParser.brace_suffix()
.
The default implementation does nothing.
enterBracket_access_indexrange
in interface KeYParserListener
ctx
- the parse treepublic void exitBracket_access_indexrange(KeYParser.Bracket_access_indexrangeContext ctx)
bracket_access_indexrange
labeled alternative in KeYParser.brace_suffix()
.
The default implementation does nothing.
exitBracket_access_indexrange
in interface KeYParserListener
ctx
- the parse treepublic void enterPrimitive_labeled_term(KeYParser.Primitive_labeled_termContext ctx)
KeYParser.primitive_labeled_term()
.
The default implementation does nothing.
enterPrimitive_labeled_term
in interface KeYParserListener
ctx
- the parse treepublic void exitPrimitive_labeled_term(KeYParser.Primitive_labeled_termContext ctx)
KeYParser.primitive_labeled_term()
.
The default implementation does nothing.
exitPrimitive_labeled_term
in interface KeYParserListener
ctx
- the parse treepublic void enterTermParen(KeYParser.TermParenContext ctx)
KeYParser.termParen()
.
The default implementation does nothing.
enterTermParen
in interface KeYParserListener
ctx
- the parse treepublic void exitTermParen(KeYParser.TermParenContext ctx)
KeYParser.termParen()
.
The default implementation does nothing.
exitTermParen
in interface KeYParserListener
ctx
- the parse treepublic void enterAbbreviation(KeYParser.AbbreviationContext ctx)
KeYParser.abbreviation()
.
The default implementation does nothing.
enterAbbreviation
in interface KeYParserListener
ctx
- the parse treepublic void exitAbbreviation(KeYParser.AbbreviationContext ctx)
KeYParser.abbreviation()
.
The default implementation does nothing.
exitAbbreviation
in interface KeYParserListener
ctx
- the parse treepublic void enterPrimitive_term(KeYParser.Primitive_termContext ctx)
KeYParser.primitive_term()
.
The default implementation does nothing.
enterPrimitive_term
in interface KeYParserListener
ctx
- the parse treepublic void exitPrimitive_term(KeYParser.Primitive_termContext ctx)
KeYParser.primitive_term()
.
The default implementation does nothing.
exitPrimitive_term
in interface KeYParserListener
ctx
- the parse treepublic void enterAccessterm(KeYParser.AccesstermContext ctx)
KeYParser.accessterm()
.
The default implementation does nothing.
enterAccessterm
in interface KeYParserListener
ctx
- the parse treepublic void exitAccessterm(KeYParser.AccesstermContext ctx)
KeYParser.accessterm()
.
The default implementation does nothing.
exitAccessterm
in interface KeYParserListener
ctx
- the parse treepublic void enterAttribute_star(KeYParser.Attribute_starContext ctx)
attribute_star
labeled alternative in KeYParser.attribute()
.
The default implementation does nothing.
enterAttribute_star
in interface KeYParserListener
ctx
- the parse treepublic void exitAttribute_star(KeYParser.Attribute_starContext ctx)
attribute_star
labeled alternative in KeYParser.attribute()
.
The default implementation does nothing.
exitAttribute_star
in interface KeYParserListener
ctx
- the parse treepublic void enterAttribute_simple(KeYParser.Attribute_simpleContext ctx)
attribute_simple
labeled alternative in KeYParser.attribute()
.
The default implementation does nothing.
enterAttribute_simple
in interface KeYParserListener
ctx
- the parse treepublic void exitAttribute_simple(KeYParser.Attribute_simpleContext ctx)
attribute_simple
labeled alternative in KeYParser.attribute()
.
The default implementation does nothing.
exitAttribute_simple
in interface KeYParserListener
ctx
- the parse treepublic void enterAttribute_complex(KeYParser.Attribute_complexContext ctx)
attribute_complex
labeled alternative in KeYParser.attribute()
.
The default implementation does nothing.
enterAttribute_complex
in interface KeYParserListener
ctx
- the parse treepublic void exitAttribute_complex(KeYParser.Attribute_complexContext ctx)
attribute_complex
labeled alternative in KeYParser.attribute()
.
The default implementation does nothing.
exitAttribute_complex
in interface KeYParserListener
ctx
- the parse treepublic void enterCall(KeYParser.CallContext ctx)
KeYParser.call()
.
The default implementation does nothing.
enterCall
in interface KeYParserListener
ctx
- the parse treepublic void exitCall(KeYParser.CallContext ctx)
KeYParser.call()
.
The default implementation does nothing.
exitCall
in interface KeYParserListener
ctx
- the parse treepublic void enterLabel(KeYParser.LabelContext ctx)
KeYParser.label()
.
The default implementation does nothing.
enterLabel
in interface KeYParserListener
ctx
- the parse treepublic void exitLabel(KeYParser.LabelContext ctx)
KeYParser.label()
.
The default implementation does nothing.
exitLabel
in interface KeYParserListener
ctx
- the parse treepublic void enterSingle_label(KeYParser.Single_labelContext ctx)
KeYParser.single_label()
.
The default implementation does nothing.
enterSingle_label
in interface KeYParserListener
ctx
- the parse treepublic void exitSingle_label(KeYParser.Single_labelContext ctx)
KeYParser.single_label()
.
The default implementation does nothing.
exitSingle_label
in interface KeYParserListener
ctx
- the parse treepublic void enterLocation_term(KeYParser.Location_termContext ctx)
KeYParser.location_term()
.
The default implementation does nothing.
enterLocation_term
in interface KeYParserListener
ctx
- the parse treepublic void exitLocation_term(KeYParser.Location_termContext ctx)
KeYParser.location_term()
.
The default implementation does nothing.
exitLocation_term
in interface KeYParserListener
ctx
- the parse treepublic void enterIfThenElseTerm(KeYParser.IfThenElseTermContext ctx)
KeYParser.ifThenElseTerm()
.
The default implementation does nothing.
enterIfThenElseTerm
in interface KeYParserListener
ctx
- the parse treepublic void exitIfThenElseTerm(KeYParser.IfThenElseTermContext ctx)
KeYParser.ifThenElseTerm()
.
The default implementation does nothing.
exitIfThenElseTerm
in interface KeYParserListener
ctx
- the parse treepublic void enterIfExThenElseTerm(KeYParser.IfExThenElseTermContext ctx)
KeYParser.ifExThenElseTerm()
.
The default implementation does nothing.
enterIfExThenElseTerm
in interface KeYParserListener
ctx
- the parse treepublic void exitIfExThenElseTerm(KeYParser.IfExThenElseTermContext ctx)
KeYParser.ifExThenElseTerm()
.
The default implementation does nothing.
exitIfExThenElseTerm
in interface KeYParserListener
ctx
- the parse treepublic void enterLocset_term(KeYParser.Locset_termContext ctx)
KeYParser.locset_term()
.
The default implementation does nothing.
enterLocset_term
in interface KeYParserListener
ctx
- the parse treepublic void exitLocset_term(KeYParser.Locset_termContext ctx)
KeYParser.locset_term()
.
The default implementation does nothing.
exitLocset_term
in interface KeYParserListener
ctx
- the parse treepublic void enterBound_variables(KeYParser.Bound_variablesContext ctx)
KeYParser.bound_variables()
.
The default implementation does nothing.
enterBound_variables
in interface KeYParserListener
ctx
- the parse treepublic void exitBound_variables(KeYParser.Bound_variablesContext ctx)
KeYParser.bound_variables()
.
The default implementation does nothing.
exitBound_variables
in interface KeYParserListener
ctx
- the parse treepublic void enterOne_bound_variable(KeYParser.One_bound_variableContext ctx)
KeYParser.one_bound_variable()
.
The default implementation does nothing.
enterOne_bound_variable
in interface KeYParserListener
ctx
- the parse treepublic void exitOne_bound_variable(KeYParser.One_bound_variableContext ctx)
KeYParser.one_bound_variable()
.
The default implementation does nothing.
exitOne_bound_variable
in interface KeYParserListener
ctx
- the parse treepublic void enterArgument_list(KeYParser.Argument_listContext ctx)
KeYParser.argument_list()
.
The default implementation does nothing.
enterArgument_list
in interface KeYParserListener
ctx
- the parse treepublic void exitArgument_list(KeYParser.Argument_listContext ctx)
KeYParser.argument_list()
.
The default implementation does nothing.
exitArgument_list
in interface KeYParserListener
ctx
- the parse treepublic void enterNumber(KeYParser.NumberContext ctx)
KeYParser.number()
.
The default implementation does nothing.
enterNumber
in interface KeYParserListener
ctx
- the parse treepublic void exitNumber(KeYParser.NumberContext ctx)
KeYParser.number()
.
The default implementation does nothing.
exitNumber
in interface KeYParserListener
ctx
- the parse treepublic void enterChar_literal(KeYParser.Char_literalContext ctx)
KeYParser.char_literal()
.
The default implementation does nothing.
enterChar_literal
in interface KeYParserListener
ctx
- the parse treepublic void exitChar_literal(KeYParser.Char_literalContext ctx)
KeYParser.char_literal()
.
The default implementation does nothing.
exitChar_literal
in interface KeYParserListener
ctx
- the parse treepublic void enterVarId(KeYParser.VarIdContext ctx)
KeYParser.varId()
.
The default implementation does nothing.
enterVarId
in interface KeYParserListener
ctx
- the parse treepublic void exitVarId(KeYParser.VarIdContext ctx)
KeYParser.varId()
.
The default implementation does nothing.
exitVarId
in interface KeYParserListener
ctx
- the parse treepublic void enterVarIds(KeYParser.VarIdsContext ctx)
KeYParser.varIds()
.
The default implementation does nothing.
enterVarIds
in interface KeYParserListener
ctx
- the parse treepublic void exitVarIds(KeYParser.VarIdsContext ctx)
KeYParser.varIds()
.
The default implementation does nothing.
exitVarIds
in interface KeYParserListener
ctx
- the parse treepublic void enterTriggers(KeYParser.TriggersContext ctx)
KeYParser.triggers()
.
The default implementation does nothing.
enterTriggers
in interface KeYParserListener
ctx
- the parse treepublic void exitTriggers(KeYParser.TriggersContext ctx)
KeYParser.triggers()
.
The default implementation does nothing.
exitTriggers
in interface KeYParserListener
ctx
- the parse treepublic void enterTaclet(KeYParser.TacletContext ctx)
KeYParser.taclet()
.
The default implementation does nothing.
enterTaclet
in interface KeYParserListener
ctx
- the parse treepublic void exitTaclet(KeYParser.TacletContext ctx)
KeYParser.taclet()
.
The default implementation does nothing.
exitTaclet
in interface KeYParserListener
ctx
- the parse treepublic void enterModifiers(KeYParser.ModifiersContext ctx)
KeYParser.modifiers()
.
The default implementation does nothing.
enterModifiers
in interface KeYParserListener
ctx
- the parse treepublic void exitModifiers(KeYParser.ModifiersContext ctx)
KeYParser.modifiers()
.
The default implementation does nothing.
exitModifiers
in interface KeYParserListener
ctx
- the parse treepublic void enterSeq(KeYParser.SeqContext ctx)
KeYParser.seq()
.
The default implementation does nothing.
enterSeq
in interface KeYParserListener
ctx
- the parse treepublic void exitSeq(KeYParser.SeqContext ctx)
KeYParser.seq()
.
The default implementation does nothing.
exitSeq
in interface KeYParserListener
ctx
- the parse treepublic void enterSeqEOF(KeYParser.SeqEOFContext ctx)
KeYParser.seqEOF()
.
The default implementation does nothing.
enterSeqEOF
in interface KeYParserListener
ctx
- the parse treepublic void exitSeqEOF(KeYParser.SeqEOFContext ctx)
KeYParser.seqEOF()
.
The default implementation does nothing.
exitSeqEOF
in interface KeYParserListener
ctx
- the parse treepublic void enterTermorseq(KeYParser.TermorseqContext ctx)
KeYParser.termorseq()
.
The default implementation does nothing.
enterTermorseq
in interface KeYParserListener
ctx
- the parse treepublic void exitTermorseq(KeYParser.TermorseqContext ctx)
KeYParser.termorseq()
.
The default implementation does nothing.
exitTermorseq
in interface KeYParserListener
ctx
- the parse treepublic void enterSemisequent(KeYParser.SemisequentContext ctx)
KeYParser.semisequent()
.
The default implementation does nothing.
enterSemisequent
in interface KeYParserListener
ctx
- the parse treepublic void exitSemisequent(KeYParser.SemisequentContext ctx)
KeYParser.semisequent()
.
The default implementation does nothing.
exitSemisequent
in interface KeYParserListener
ctx
- the parse treepublic void enterVarexplist(KeYParser.VarexplistContext ctx)
KeYParser.varexplist()
.
The default implementation does nothing.
enterVarexplist
in interface KeYParserListener
ctx
- the parse treepublic void exitVarexplist(KeYParser.VarexplistContext ctx)
KeYParser.varexplist()
.
The default implementation does nothing.
exitVarexplist
in interface KeYParserListener
ctx
- the parse treepublic void enterVarexp(KeYParser.VarexpContext ctx)
KeYParser.varexp()
.
The default implementation does nothing.
enterVarexp
in interface KeYParserListener
ctx
- the parse treepublic void exitVarexp(KeYParser.VarexpContext ctx)
KeYParser.varexp()
.
The default implementation does nothing.
exitVarexp
in interface KeYParserListener
ctx
- the parse treepublic void enterVarexpId(KeYParser.VarexpIdContext ctx)
KeYParser.varexpId()
.
The default implementation does nothing.
enterVarexpId
in interface KeYParserListener
ctx
- the parse treepublic void exitVarexpId(KeYParser.VarexpIdContext ctx)
KeYParser.varexpId()
.
The default implementation does nothing.
exitVarexpId
in interface KeYParserListener
ctx
- the parse treepublic void enterVarexp_argument(KeYParser.Varexp_argumentContext ctx)
KeYParser.varexp_argument()
.
The default implementation does nothing.
enterVarexp_argument
in interface KeYParserListener
ctx
- the parse treepublic void exitVarexp_argument(KeYParser.Varexp_argumentContext ctx)
KeYParser.varexp_argument()
.
The default implementation does nothing.
exitVarexp_argument
in interface KeYParserListener
ctx
- the parse treepublic void enterGoalspecs(KeYParser.GoalspecsContext ctx)
KeYParser.goalspecs()
.
The default implementation does nothing.
enterGoalspecs
in interface KeYParserListener
ctx
- the parse treepublic void exitGoalspecs(KeYParser.GoalspecsContext ctx)
KeYParser.goalspecs()
.
The default implementation does nothing.
exitGoalspecs
in interface KeYParserListener
ctx
- the parse treepublic void enterGoalspecwithoption(KeYParser.GoalspecwithoptionContext ctx)
KeYParser.goalspecwithoption()
.
The default implementation does nothing.
enterGoalspecwithoption
in interface KeYParserListener
ctx
- the parse treepublic void exitGoalspecwithoption(KeYParser.GoalspecwithoptionContext ctx)
KeYParser.goalspecwithoption()
.
The default implementation does nothing.
exitGoalspecwithoption
in interface KeYParserListener
ctx
- the parse treepublic void enterOption(KeYParser.OptionContext ctx)
KeYParser.option()
.
The default implementation does nothing.
enterOption
in interface KeYParserListener
ctx
- the parse treepublic void exitOption(KeYParser.OptionContext ctx)
KeYParser.option()
.
The default implementation does nothing.
exitOption
in interface KeYParserListener
ctx
- the parse treepublic void enterOption_list(KeYParser.Option_listContext ctx)
KeYParser.option_list()
.
The default implementation does nothing.
enterOption_list
in interface KeYParserListener
ctx
- the parse treepublic void exitOption_list(KeYParser.Option_listContext ctx)
KeYParser.option_list()
.
The default implementation does nothing.
exitOption_list
in interface KeYParserListener
ctx
- the parse treepublic void enterGoalspec(KeYParser.GoalspecContext ctx)
KeYParser.goalspec()
.
The default implementation does nothing.
enterGoalspec
in interface KeYParserListener
ctx
- the parse treepublic void exitGoalspec(KeYParser.GoalspecContext ctx)
KeYParser.goalspec()
.
The default implementation does nothing.
exitGoalspec
in interface KeYParserListener
ctx
- the parse treepublic void enterReplacewith(KeYParser.ReplacewithContext ctx)
KeYParser.replacewith()
.
The default implementation does nothing.
enterReplacewith
in interface KeYParserListener
ctx
- the parse treepublic void exitReplacewith(KeYParser.ReplacewithContext ctx)
KeYParser.replacewith()
.
The default implementation does nothing.
exitReplacewith
in interface KeYParserListener
ctx
- the parse treepublic void enterAdd(KeYParser.AddContext ctx)
KeYParser.add()
.
The default implementation does nothing.
enterAdd
in interface KeYParserListener
ctx
- the parse treepublic void exitAdd(KeYParser.AddContext ctx)
KeYParser.add()
.
The default implementation does nothing.
exitAdd
in interface KeYParserListener
ctx
- the parse treepublic void enterAddrules(KeYParser.AddrulesContext ctx)
KeYParser.addrules()
.
The default implementation does nothing.
enterAddrules
in interface KeYParserListener
ctx
- the parse treepublic void exitAddrules(KeYParser.AddrulesContext ctx)
KeYParser.addrules()
.
The default implementation does nothing.
exitAddrules
in interface KeYParserListener
ctx
- the parse treepublic void enterAddprogvar(KeYParser.AddprogvarContext ctx)
KeYParser.addprogvar()
.
The default implementation does nothing.
enterAddprogvar
in interface KeYParserListener
ctx
- the parse treepublic void exitAddprogvar(KeYParser.AddprogvarContext ctx)
KeYParser.addprogvar()
.
The default implementation does nothing.
exitAddprogvar
in interface KeYParserListener
ctx
- the parse treepublic void enterTacletlist(KeYParser.TacletlistContext ctx)
KeYParser.tacletlist()
.
The default implementation does nothing.
enterTacletlist
in interface KeYParserListener
ctx
- the parse treepublic void exitTacletlist(KeYParser.TacletlistContext ctx)
KeYParser.tacletlist()
.
The default implementation does nothing.
exitTacletlist
in interface KeYParserListener
ctx
- the parse treepublic void enterPvset(KeYParser.PvsetContext ctx)
KeYParser.pvset()
.
The default implementation does nothing.
enterPvset
in interface KeYParserListener
ctx
- the parse treepublic void exitPvset(KeYParser.PvsetContext ctx)
KeYParser.pvset()
.
The default implementation does nothing.
exitPvset
in interface KeYParserListener
ctx
- the parse treepublic void enterRulesets(KeYParser.RulesetsContext ctx)
KeYParser.rulesets()
.
The default implementation does nothing.
enterRulesets
in interface KeYParserListener
ctx
- the parse treepublic void exitRulesets(KeYParser.RulesetsContext ctx)
KeYParser.rulesets()
.
The default implementation does nothing.
exitRulesets
in interface KeYParserListener
ctx
- the parse treepublic void enterRuleset(KeYParser.RulesetContext ctx)
KeYParser.ruleset()
.
The default implementation does nothing.
enterRuleset
in interface KeYParserListener
ctx
- the parse treepublic void exitRuleset(KeYParser.RulesetContext ctx)
KeYParser.ruleset()
.
The default implementation does nothing.
exitRuleset
in interface KeYParserListener
ctx
- the parse treepublic void enterMetaId(KeYParser.MetaIdContext ctx)
KeYParser.metaId()
.
The default implementation does nothing.
enterMetaId
in interface KeYParserListener
ctx
- the parse treepublic void exitMetaId(KeYParser.MetaIdContext ctx)
KeYParser.metaId()
.
The default implementation does nothing.
exitMetaId
in interface KeYParserListener
ctx
- the parse treepublic void enterMetaTerm(KeYParser.MetaTermContext ctx)
KeYParser.metaTerm()
.
The default implementation does nothing.
enterMetaTerm
in interface KeYParserListener
ctx
- the parse treepublic void exitMetaTerm(KeYParser.MetaTermContext ctx)
KeYParser.metaTerm()
.
The default implementation does nothing.
exitMetaTerm
in interface KeYParserListener
ctx
- the parse treepublic void enterContracts(KeYParser.ContractsContext ctx)
KeYParser.contracts()
.
The default implementation does nothing.
enterContracts
in interface KeYParserListener
ctx
- the parse treepublic void exitContracts(KeYParser.ContractsContext ctx)
KeYParser.contracts()
.
The default implementation does nothing.
exitContracts
in interface KeYParserListener
ctx
- the parse treepublic void enterInvariants(KeYParser.InvariantsContext ctx)
KeYParser.invariants()
.
The default implementation does nothing.
enterInvariants
in interface KeYParserListener
ctx
- the parse treepublic void exitInvariants(KeYParser.InvariantsContext ctx)
KeYParser.invariants()
.
The default implementation does nothing.
exitInvariants
in interface KeYParserListener
ctx
- the parse treepublic void enterOne_contract(KeYParser.One_contractContext ctx)
KeYParser.one_contract()
.
The default implementation does nothing.
enterOne_contract
in interface KeYParserListener
ctx
- the parse treepublic void exitOne_contract(KeYParser.One_contractContext ctx)
KeYParser.one_contract()
.
The default implementation does nothing.
exitOne_contract
in interface KeYParserListener
ctx
- the parse treepublic void enterOne_invariant(KeYParser.One_invariantContext ctx)
KeYParser.one_invariant()
.
The default implementation does nothing.
enterOne_invariant
in interface KeYParserListener
ctx
- the parse treepublic void exitOne_invariant(KeYParser.One_invariantContext ctx)
KeYParser.one_invariant()
.
The default implementation does nothing.
exitOne_invariant
in interface KeYParserListener
ctx
- the parse treepublic void enterRulesOrAxioms(KeYParser.RulesOrAxiomsContext ctx)
KeYParser.rulesOrAxioms()
.
The default implementation does nothing.
enterRulesOrAxioms
in interface KeYParserListener
ctx
- the parse treepublic void exitRulesOrAxioms(KeYParser.RulesOrAxiomsContext ctx)
KeYParser.rulesOrAxioms()
.
The default implementation does nothing.
exitRulesOrAxioms
in interface KeYParserListener
ctx
- the parse treepublic void enterBootClassPath(KeYParser.BootClassPathContext ctx)
KeYParser.bootClassPath()
.
The default implementation does nothing.
enterBootClassPath
in interface KeYParserListener
ctx
- the parse treepublic void exitBootClassPath(KeYParser.BootClassPathContext ctx)
KeYParser.bootClassPath()
.
The default implementation does nothing.
exitBootClassPath
in interface KeYParserListener
ctx
- the parse treepublic void enterClassPaths(KeYParser.ClassPathsContext ctx)
KeYParser.classPaths()
.
The default implementation does nothing.
enterClassPaths
in interface KeYParserListener
ctx
- the parse treepublic void exitClassPaths(KeYParser.ClassPathsContext ctx)
KeYParser.classPaths()
.
The default implementation does nothing.
exitClassPaths
in interface KeYParserListener
ctx
- the parse treepublic void enterJavaSource(KeYParser.JavaSourceContext ctx)
KeYParser.javaSource()
.
The default implementation does nothing.
enterJavaSource
in interface KeYParserListener
ctx
- the parse treepublic void exitJavaSource(KeYParser.JavaSourceContext ctx)
KeYParser.javaSource()
.
The default implementation does nothing.
exitJavaSource
in interface KeYParserListener
ctx
- the parse treepublic void enterOneJavaSource(KeYParser.OneJavaSourceContext ctx)
KeYParser.oneJavaSource()
.
The default implementation does nothing.
enterOneJavaSource
in interface KeYParserListener
ctx
- the parse treepublic void exitOneJavaSource(KeYParser.OneJavaSourceContext ctx)
KeYParser.oneJavaSource()
.
The default implementation does nothing.
exitOneJavaSource
in interface KeYParserListener
ctx
- the parse treepublic void enterProfile(KeYParser.ProfileContext ctx)
KeYParser.profile()
.
The default implementation does nothing.
enterProfile
in interface KeYParserListener
ctx
- the parse treepublic void exitProfile(KeYParser.ProfileContext ctx)
KeYParser.profile()
.
The default implementation does nothing.
exitProfile
in interface KeYParserListener
ctx
- the parse treepublic void enterPreferences(KeYParser.PreferencesContext ctx)
KeYParser.preferences()
.
The default implementation does nothing.
enterPreferences
in interface KeYParserListener
ctx
- the parse treepublic void exitPreferences(KeYParser.PreferencesContext ctx)
KeYParser.preferences()
.
The default implementation does nothing.
exitPreferences
in interface KeYParserListener
ctx
- the parse treepublic void enterProofScript(KeYParser.ProofScriptContext ctx)
KeYParser.proofScript()
.
The default implementation does nothing.
enterProofScript
in interface KeYParserListener
ctx
- the parse treepublic void exitProofScript(KeYParser.ProofScriptContext ctx)
KeYParser.proofScript()
.
The default implementation does nothing.
exitProofScript
in interface KeYParserListener
ctx
- the parse treepublic void enterProof(KeYParser.ProofContext ctx)
KeYParser.proof()
.
The default implementation does nothing.
enterProof
in interface KeYParserListener
ctx
- the parse treepublic void exitProof(KeYParser.ProofContext ctx)
KeYParser.proof()
.
The default implementation does nothing.
exitProof
in interface KeYParserListener
ctx
- the parse treepublic void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
The default implementation does nothing.
enterEveryRule
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
The default implementation does nothing.
exitEveryRule
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)
The default implementation does nothing.
visitTerminal
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)
The default implementation does nothing.
visitErrorNode
in interface org.antlr.v4.runtime.tree.ParseTreeListener
Copyright © 2003-2019 The KeY-Project.