public class JmlParserBaseListener extends java.lang.Object implements JmlParserListener
JmlParserListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.Constructor and Description |
---|
JmlParserBaseListener() |
public void enterClasslevel_comments(JmlParser.Classlevel_commentsContext ctx)
JmlParser.classlevel_comments()
.
The default implementation does nothing.
enterClasslevel_comments
in interface JmlParserListener
ctx
- the parse treepublic void exitClasslevel_comments(JmlParser.Classlevel_commentsContext ctx)
JmlParser.classlevel_comments()
.
The default implementation does nothing.
exitClasslevel_comments
in interface JmlParserListener
ctx
- the parse treepublic void enterClasslevel_comment(JmlParser.Classlevel_commentContext ctx)
JmlParser.classlevel_comment()
.
The default implementation does nothing.
enterClasslevel_comment
in interface JmlParserListener
ctx
- the parse treepublic void exitClasslevel_comment(JmlParser.Classlevel_commentContext ctx)
JmlParser.classlevel_comment()
.
The default implementation does nothing.
exitClasslevel_comment
in interface JmlParserListener
ctx
- the parse treepublic void enterClasslevel_element0(JmlParser.Classlevel_element0Context ctx)
JmlParser.classlevel_element0()
.
The default implementation does nothing.
enterClasslevel_element0
in interface JmlParserListener
ctx
- the parse treepublic void exitClasslevel_element0(JmlParser.Classlevel_element0Context ctx)
JmlParser.classlevel_element0()
.
The default implementation does nothing.
exitClasslevel_element0
in interface JmlParserListener
ctx
- the parse treepublic void enterClasslevel_element(JmlParser.Classlevel_elementContext ctx)
JmlParser.classlevel_element()
.
The default implementation does nothing.
enterClasslevel_element
in interface JmlParserListener
ctx
- the parse treepublic void exitClasslevel_element(JmlParser.Classlevel_elementContext ctx)
JmlParser.classlevel_element()
.
The default implementation does nothing.
exitClasslevel_element
in interface JmlParserListener
ctx
- the parse treepublic void enterMethodlevel_comment(JmlParser.Methodlevel_commentContext ctx)
JmlParser.methodlevel_comment()
.
The default implementation does nothing.
enterMethodlevel_comment
in interface JmlParserListener
ctx
- the parse treepublic void exitMethodlevel_comment(JmlParser.Methodlevel_commentContext ctx)
JmlParser.methodlevel_comment()
.
The default implementation does nothing.
exitMethodlevel_comment
in interface JmlParserListener
ctx
- the parse treepublic void enterMethodlevel_element(JmlParser.Methodlevel_elementContext ctx)
JmlParser.methodlevel_element()
.
The default implementation does nothing.
enterMethodlevel_element
in interface JmlParserListener
ctx
- the parse treepublic void exitMethodlevel_element(JmlParser.Methodlevel_elementContext ctx)
JmlParser.methodlevel_element()
.
The default implementation does nothing.
exitMethodlevel_element
in interface JmlParserListener
ctx
- the parse treepublic void enterModifiers(JmlParser.ModifiersContext ctx)
JmlParser.modifiers()
.
The default implementation does nothing.
enterModifiers
in interface JmlParserListener
ctx
- the parse treepublic void exitModifiers(JmlParser.ModifiersContext ctx)
JmlParser.modifiers()
.
The default implementation does nothing.
exitModifiers
in interface JmlParserListener
ctx
- the parse treepublic void enterModifier(JmlParser.ModifierContext ctx)
JmlParser.modifier()
.
The default implementation does nothing.
enterModifier
in interface JmlParserListener
ctx
- the parse treepublic void exitModifier(JmlParser.ModifierContext ctx)
JmlParser.modifier()
.
The default implementation does nothing.
exitModifier
in interface JmlParserListener
ctx
- the parse treepublic void enterClass_axiom(JmlParser.Class_axiomContext ctx)
JmlParser.class_axiom()
.
The default implementation does nothing.
enterClass_axiom
in interface JmlParserListener
ctx
- the parse treepublic void exitClass_axiom(JmlParser.Class_axiomContext ctx)
JmlParser.class_axiom()
.
The default implementation does nothing.
exitClass_axiom
in interface JmlParserListener
ctx
- the parse treepublic void enterInitially_clause(JmlParser.Initially_clauseContext ctx)
JmlParser.initially_clause()
.
The default implementation does nothing.
enterInitially_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitInitially_clause(JmlParser.Initially_clauseContext ctx)
JmlParser.initially_clause()
.
The default implementation does nothing.
exitInitially_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterClass_invariant(JmlParser.Class_invariantContext ctx)
JmlParser.class_invariant()
.
The default implementation does nothing.
enterClass_invariant
in interface JmlParserListener
ctx
- the parse treepublic void exitClass_invariant(JmlParser.Class_invariantContext ctx)
JmlParser.class_invariant()
.
The default implementation does nothing.
exitClass_invariant
in interface JmlParserListener
ctx
- the parse treepublic void enterMethod_specification(JmlParser.Method_specificationContext ctx)
JmlParser.method_specification()
.
The default implementation does nothing.
enterMethod_specification
in interface JmlParserListener
ctx
- the parse treepublic void exitMethod_specification(JmlParser.Method_specificationContext ctx)
JmlParser.method_specification()
.
The default implementation does nothing.
exitMethod_specification
in interface JmlParserListener
ctx
- the parse treepublic void enterAlso_keyword(JmlParser.Also_keywordContext ctx)
JmlParser.also_keyword()
.
The default implementation does nothing.
enterAlso_keyword
in interface JmlParserListener
ctx
- the parse treepublic void exitAlso_keyword(JmlParser.Also_keywordContext ctx)
JmlParser.also_keyword()
.
The default implementation does nothing.
exitAlso_keyword
in interface JmlParserListener
ctx
- the parse treepublic void enterSpec_case(JmlParser.Spec_caseContext ctx)
JmlParser.spec_case()
.
The default implementation does nothing.
enterSpec_case
in interface JmlParserListener
ctx
- the parse treepublic void exitSpec_case(JmlParser.Spec_caseContext ctx)
JmlParser.spec_case()
.
The default implementation does nothing.
exitSpec_case
in interface JmlParserListener
ctx
- the parse treepublic void enterSpec_body(JmlParser.Spec_bodyContext ctx)
JmlParser.spec_body()
.
The default implementation does nothing.
enterSpec_body
in interface JmlParserListener
ctx
- the parse treepublic void exitSpec_body(JmlParser.Spec_bodyContext ctx)
JmlParser.spec_body()
.
The default implementation does nothing.
exitSpec_body
in interface JmlParserListener
ctx
- the parse treepublic void enterClauseEOF(JmlParser.ClauseEOFContext ctx)
JmlParser.clauseEOF()
.
The default implementation does nothing.
enterClauseEOF
in interface JmlParserListener
ctx
- the parse treepublic void exitClauseEOF(JmlParser.ClauseEOFContext ctx)
JmlParser.clauseEOF()
.
The default implementation does nothing.
exitClauseEOF
in interface JmlParserListener
ctx
- the parse treepublic void enterClause(JmlParser.ClauseContext ctx)
JmlParser.clause()
.
The default implementation does nothing.
enterClause
in interface JmlParserListener
ctx
- the parse treepublic void exitClause(JmlParser.ClauseContext ctx)
JmlParser.clause()
.
The default implementation does nothing.
exitClause
in interface JmlParserListener
ctx
- the parse treepublic void enterTargetHeap(JmlParser.TargetHeapContext ctx)
JmlParser.targetHeap()
.
The default implementation does nothing.
enterTargetHeap
in interface JmlParserListener
ctx
- the parse treepublic void exitTargetHeap(JmlParser.TargetHeapContext ctx)
JmlParser.targetHeap()
.
The default implementation does nothing.
exitTargetHeap
in interface JmlParserListener
ctx
- the parse treepublic void enterEnsures_clause(JmlParser.Ensures_clauseContext ctx)
JmlParser.ensures_clause()
.
The default implementation does nothing.
enterEnsures_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitEnsures_clause(JmlParser.Ensures_clauseContext ctx)
JmlParser.ensures_clause()
.
The default implementation does nothing.
exitEnsures_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterRequires_clause(JmlParser.Requires_clauseContext ctx)
JmlParser.requires_clause()
.
The default implementation does nothing.
enterRequires_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitRequires_clause(JmlParser.Requires_clauseContext ctx)
JmlParser.requires_clause()
.
The default implementation does nothing.
exitRequires_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterMeasured_by_clause(JmlParser.Measured_by_clauseContext ctx)
JmlParser.measured_by_clause()
.
The default implementation does nothing.
enterMeasured_by_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitMeasured_by_clause(JmlParser.Measured_by_clauseContext ctx)
JmlParser.measured_by_clause()
.
The default implementation does nothing.
exitMeasured_by_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterCaptures_clause(JmlParser.Captures_clauseContext ctx)
JmlParser.captures_clause()
.
The default implementation does nothing.
enterCaptures_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitCaptures_clause(JmlParser.Captures_clauseContext ctx)
JmlParser.captures_clause()
.
The default implementation does nothing.
exitCaptures_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterDiverges_clause(JmlParser.Diverges_clauseContext ctx)
JmlParser.diverges_clause()
.
The default implementation does nothing.
enterDiverges_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitDiverges_clause(JmlParser.Diverges_clauseContext ctx)
JmlParser.diverges_clause()
.
The default implementation does nothing.
exitDiverges_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterWorking_space_clause(JmlParser.Working_space_clauseContext ctx)
JmlParser.working_space_clause()
.
The default implementation does nothing.
enterWorking_space_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitWorking_space_clause(JmlParser.Working_space_clauseContext ctx)
JmlParser.working_space_clause()
.
The default implementation does nothing.
exitWorking_space_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterDuration_clause(JmlParser.Duration_clauseContext ctx)
JmlParser.duration_clause()
.
The default implementation does nothing.
enterDuration_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitDuration_clause(JmlParser.Duration_clauseContext ctx)
JmlParser.duration_clause()
.
The default implementation does nothing.
exitDuration_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterWhen_clause(JmlParser.When_clauseContext ctx)
JmlParser.when_clause()
.
The default implementation does nothing.
enterWhen_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitWhen_clause(JmlParser.When_clauseContext ctx)
JmlParser.when_clause()
.
The default implementation does nothing.
exitWhen_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterAccessible_clause(JmlParser.Accessible_clauseContext ctx)
JmlParser.accessible_clause()
.
The default implementation does nothing.
enterAccessible_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitAccessible_clause(JmlParser.Accessible_clauseContext ctx)
JmlParser.accessible_clause()
.
The default implementation does nothing.
exitAccessible_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterAssignable_clause(JmlParser.Assignable_clauseContext ctx)
JmlParser.assignable_clause()
.
The default implementation does nothing.
enterAssignable_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitAssignable_clause(JmlParser.Assignable_clauseContext ctx)
JmlParser.assignable_clause()
.
The default implementation does nothing.
exitAssignable_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterRepresents_clause(JmlParser.Represents_clauseContext ctx)
JmlParser.represents_clause()
.
The default implementation does nothing.
enterRepresents_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitRepresents_clause(JmlParser.Represents_clauseContext ctx)
JmlParser.represents_clause()
.
The default implementation does nothing.
exitRepresents_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterSeparates_clause(JmlParser.Separates_clauseContext ctx)
JmlParser.separates_clause()
.
The default implementation does nothing.
enterSeparates_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitSeparates_clause(JmlParser.Separates_clauseContext ctx)
JmlParser.separates_clause()
.
The default implementation does nothing.
exitSeparates_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterLoop_separates_clause(JmlParser.Loop_separates_clauseContext ctx)
JmlParser.loop_separates_clause()
.
The default implementation does nothing.
enterLoop_separates_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitLoop_separates_clause(JmlParser.Loop_separates_clauseContext ctx)
JmlParser.loop_separates_clause()
.
The default implementation does nothing.
exitLoop_separates_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterInfflowspeclist(JmlParser.InfflowspeclistContext ctx)
JmlParser.infflowspeclist()
.
The default implementation does nothing.
enterInfflowspeclist
in interface JmlParserListener
ctx
- the parse treepublic void exitInfflowspeclist(JmlParser.InfflowspeclistContext ctx)
JmlParser.infflowspeclist()
.
The default implementation does nothing.
exitInfflowspeclist
in interface JmlParserListener
ctx
- the parse treepublic void enterDetermines_clause(JmlParser.Determines_clauseContext ctx)
JmlParser.determines_clause()
.
The default implementation does nothing.
enterDetermines_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitDetermines_clause(JmlParser.Determines_clauseContext ctx)
JmlParser.determines_clause()
.
The default implementation does nothing.
exitDetermines_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterLoop_determines_clause(JmlParser.Loop_determines_clauseContext ctx)
JmlParser.loop_determines_clause()
.
The default implementation does nothing.
enterLoop_determines_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitLoop_determines_clause(JmlParser.Loop_determines_clauseContext ctx)
JmlParser.loop_determines_clause()
.
The default implementation does nothing.
exitLoop_determines_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterSignals_clause(JmlParser.Signals_clauseContext ctx)
JmlParser.signals_clause()
.
The default implementation does nothing.
enterSignals_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitSignals_clause(JmlParser.Signals_clauseContext ctx)
JmlParser.signals_clause()
.
The default implementation does nothing.
exitSignals_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterSignals_only_clause(JmlParser.Signals_only_clauseContext ctx)
JmlParser.signals_only_clause()
.
The default implementation does nothing.
enterSignals_only_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitSignals_only_clause(JmlParser.Signals_only_clauseContext ctx)
JmlParser.signals_only_clause()
.
The default implementation does nothing.
exitSignals_only_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterBreaks_clause(JmlParser.Breaks_clauseContext ctx)
JmlParser.breaks_clause()
.
The default implementation does nothing.
enterBreaks_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitBreaks_clause(JmlParser.Breaks_clauseContext ctx)
JmlParser.breaks_clause()
.
The default implementation does nothing.
exitBreaks_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterContinues_clause(JmlParser.Continues_clauseContext ctx)
JmlParser.continues_clause()
.
The default implementation does nothing.
enterContinues_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitContinues_clause(JmlParser.Continues_clauseContext ctx)
JmlParser.continues_clause()
.
The default implementation does nothing.
exitContinues_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterReturns_clause(JmlParser.Returns_clauseContext ctx)
JmlParser.returns_clause()
.
The default implementation does nothing.
enterReturns_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitReturns_clause(JmlParser.Returns_clauseContext ctx)
JmlParser.returns_clause()
.
The default implementation does nothing.
exitReturns_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterName_clause(JmlParser.Name_clauseContext ctx)
JmlParser.name_clause()
.
The default implementation does nothing.
enterName_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitName_clause(JmlParser.Name_clauseContext ctx)
JmlParser.name_clause()
.
The default implementation does nothing.
exitName_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterField_declaration(JmlParser.Field_declarationContext ctx)
JmlParser.field_declaration()
.
The default implementation does nothing.
enterField_declaration
in interface JmlParserListener
ctx
- the parse treepublic void exitField_declaration(JmlParser.Field_declarationContext ctx)
JmlParser.field_declaration()
.
The default implementation does nothing.
exitField_declaration
in interface JmlParserListener
ctx
- the parse treepublic void enterMethod_declaration(JmlParser.Method_declarationContext ctx)
JmlParser.method_declaration()
.
The default implementation does nothing.
enterMethod_declaration
in interface JmlParserListener
ctx
- the parse treepublic void exitMethod_declaration(JmlParser.Method_declarationContext ctx)
JmlParser.method_declaration()
.
The default implementation does nothing.
exitMethod_declaration
in interface JmlParserListener
ctx
- the parse treepublic void enterMethod_body(JmlParser.Method_bodyContext ctx)
JmlParser.method_body()
.
The default implementation does nothing.
enterMethod_body
in interface JmlParserListener
ctx
- the parse treepublic void exitMethod_body(JmlParser.Method_bodyContext ctx)
JmlParser.method_body()
.
The default implementation does nothing.
exitMethod_body
in interface JmlParserListener
ctx
- the parse treepublic void enterParam_list(JmlParser.Param_listContext ctx)
JmlParser.param_list()
.
The default implementation does nothing.
enterParam_list
in interface JmlParserListener
ctx
- the parse treepublic void exitParam_list(JmlParser.Param_listContext ctx)
JmlParser.param_list()
.
The default implementation does nothing.
exitParam_list
in interface JmlParserListener
ctx
- the parse treepublic void enterParam_decl(JmlParser.Param_declContext ctx)
JmlParser.param_decl()
.
The default implementation does nothing.
enterParam_decl
in interface JmlParserListener
ctx
- the parse treepublic void exitParam_decl(JmlParser.Param_declContext ctx)
JmlParser.param_decl()
.
The default implementation does nothing.
exitParam_decl
in interface JmlParserListener
ctx
- the parse treepublic void enterHistory_constraint(JmlParser.History_constraintContext ctx)
JmlParser.history_constraint()
.
The default implementation does nothing.
enterHistory_constraint
in interface JmlParserListener
ctx
- the parse treepublic void exitHistory_constraint(JmlParser.History_constraintContext ctx)
JmlParser.history_constraint()
.
The default implementation does nothing.
exitHistory_constraint
in interface JmlParserListener
ctx
- the parse treepublic void enterDatagroup_clause(JmlParser.Datagroup_clauseContext ctx)
JmlParser.datagroup_clause()
.
The default implementation does nothing.
enterDatagroup_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitDatagroup_clause(JmlParser.Datagroup_clauseContext ctx)
JmlParser.datagroup_clause()
.
The default implementation does nothing.
exitDatagroup_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterMonitors_for_clause(JmlParser.Monitors_for_clauseContext ctx)
JmlParser.monitors_for_clause()
.
The default implementation does nothing.
enterMonitors_for_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitMonitors_for_clause(JmlParser.Monitors_for_clauseContext ctx)
JmlParser.monitors_for_clause()
.
The default implementation does nothing.
exitMonitors_for_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterReadable_if_clause(JmlParser.Readable_if_clauseContext ctx)
JmlParser.readable_if_clause()
.
The default implementation does nothing.
enterReadable_if_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitReadable_if_clause(JmlParser.Readable_if_clauseContext ctx)
JmlParser.readable_if_clause()
.
The default implementation does nothing.
exitReadable_if_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterWritable_if_clause(JmlParser.Writable_if_clauseContext ctx)
JmlParser.writable_if_clause()
.
The default implementation does nothing.
enterWritable_if_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitWritable_if_clause(JmlParser.Writable_if_clauseContext ctx)
JmlParser.writable_if_clause()
.
The default implementation does nothing.
exitWritable_if_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterIn_group_clause(JmlParser.In_group_clauseContext ctx)
JmlParser.in_group_clause()
.
The default implementation does nothing.
enterIn_group_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitIn_group_clause(JmlParser.In_group_clauseContext ctx)
JmlParser.in_group_clause()
.
The default implementation does nothing.
exitIn_group_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterMaps_into_clause(JmlParser.Maps_into_clauseContext ctx)
JmlParser.maps_into_clause()
.
The default implementation does nothing.
enterMaps_into_clause
in interface JmlParserListener
ctx
- the parse treepublic void exitMaps_into_clause(JmlParser.Maps_into_clauseContext ctx)
JmlParser.maps_into_clause()
.
The default implementation does nothing.
exitMaps_into_clause
in interface JmlParserListener
ctx
- the parse treepublic void enterNowarn_pragma(JmlParser.Nowarn_pragmaContext ctx)
JmlParser.nowarn_pragma()
.
The default implementation does nothing.
enterNowarn_pragma
in interface JmlParserListener
ctx
- the parse treepublic void exitNowarn_pragma(JmlParser.Nowarn_pragmaContext ctx)
JmlParser.nowarn_pragma()
.
The default implementation does nothing.
exitNowarn_pragma
in interface JmlParserListener
ctx
- the parse treepublic void enterDebug_statement(JmlParser.Debug_statementContext ctx)
JmlParser.debug_statement()
.
The default implementation does nothing.
enterDebug_statement
in interface JmlParserListener
ctx
- the parse treepublic void exitDebug_statement(JmlParser.Debug_statementContext ctx)
JmlParser.debug_statement()
.
The default implementation does nothing.
exitDebug_statement
in interface JmlParserListener
ctx
- the parse treepublic void enterSet_statement(JmlParser.Set_statementContext ctx)
JmlParser.set_statement()
.
The default implementation does nothing.
enterSet_statement
in interface JmlParserListener
ctx
- the parse treepublic void exitSet_statement(JmlParser.Set_statementContext ctx)
JmlParser.set_statement()
.
The default implementation does nothing.
exitSet_statement
in interface JmlParserListener
ctx
- the parse treepublic void enterMerge_point_statement(JmlParser.Merge_point_statementContext ctx)
JmlParser.merge_point_statement()
.
The default implementation does nothing.
enterMerge_point_statement
in interface JmlParserListener
ctx
- the parse treepublic void exitMerge_point_statement(JmlParser.Merge_point_statementContext ctx)
JmlParser.merge_point_statement()
.
The default implementation does nothing.
exitMerge_point_statement
in interface JmlParserListener
ctx
- the parse treepublic void enterLoop_specification(JmlParser.Loop_specificationContext ctx)
JmlParser.loop_specification()
.
The default implementation does nothing.
enterLoop_specification
in interface JmlParserListener
ctx
- the parse treepublic void exitLoop_specification(JmlParser.Loop_specificationContext ctx)
JmlParser.loop_specification()
.
The default implementation does nothing.
exitLoop_specification
in interface JmlParserListener
ctx
- the parse treepublic void enterLoop_invariant(JmlParser.Loop_invariantContext ctx)
JmlParser.loop_invariant()
.
The default implementation does nothing.
enterLoop_invariant
in interface JmlParserListener
ctx
- the parse treepublic void exitLoop_invariant(JmlParser.Loop_invariantContext ctx)
JmlParser.loop_invariant()
.
The default implementation does nothing.
exitLoop_invariant
in interface JmlParserListener
ctx
- the parse treepublic void enterVariant_function(JmlParser.Variant_functionContext ctx)
JmlParser.variant_function()
.
The default implementation does nothing.
enterVariant_function
in interface JmlParserListener
ctx
- the parse treepublic void exitVariant_function(JmlParser.Variant_functionContext ctx)
JmlParser.variant_function()
.
The default implementation does nothing.
exitVariant_function
in interface JmlParserListener
ctx
- the parse treepublic void enterAssume_statement(JmlParser.Assume_statementContext ctx)
JmlParser.assume_statement()
.
The default implementation does nothing.
enterAssume_statement
in interface JmlParserListener
ctx
- the parse treepublic void exitAssume_statement(JmlParser.Assume_statementContext ctx)
JmlParser.assume_statement()
.
The default implementation does nothing.
exitAssume_statement
in interface JmlParserListener
ctx
- the parse treepublic void enterInitialiser(JmlParser.InitialiserContext ctx)
JmlParser.initialiser()
.
The default implementation does nothing.
enterInitialiser
in interface JmlParserListener
ctx
- the parse treepublic void exitInitialiser(JmlParser.InitialiserContext ctx)
JmlParser.initialiser()
.
The default implementation does nothing.
exitInitialiser
in interface JmlParserListener
ctx
- the parse treepublic void enterBlock_specification(JmlParser.Block_specificationContext ctx)
JmlParser.block_specification()
.
The default implementation does nothing.
enterBlock_specification
in interface JmlParserListener
ctx
- the parse treepublic void exitBlock_specification(JmlParser.Block_specificationContext ctx)
JmlParser.block_specification()
.
The default implementation does nothing.
exitBlock_specification
in interface JmlParserListener
ctx
- the parse treepublic void enterBlock_loop_specification(JmlParser.Block_loop_specificationContext ctx)
JmlParser.block_loop_specification()
.
The default implementation does nothing.
enterBlock_loop_specification
in interface JmlParserListener
ctx
- the parse treepublic void exitBlock_loop_specification(JmlParser.Block_loop_specificationContext ctx)
JmlParser.block_loop_specification()
.
The default implementation does nothing.
exitBlock_loop_specification
in interface JmlParserListener
ctx
- the parse treepublic void enterLoop_contract_keyword(JmlParser.Loop_contract_keywordContext ctx)
JmlParser.loop_contract_keyword()
.
The default implementation does nothing.
enterLoop_contract_keyword
in interface JmlParserListener
ctx
- the parse treepublic void exitLoop_contract_keyword(JmlParser.Loop_contract_keywordContext ctx)
JmlParser.loop_contract_keyword()
.
The default implementation does nothing.
exitLoop_contract_keyword
in interface JmlParserListener
ctx
- the parse treepublic void enterAssert_statement(JmlParser.Assert_statementContext ctx)
JmlParser.assert_statement()
.
The default implementation does nothing.
enterAssert_statement
in interface JmlParserListener
ctx
- the parse treepublic void exitAssert_statement(JmlParser.Assert_statementContext ctx)
JmlParser.assert_statement()
.
The default implementation does nothing.
exitAssert_statement
in interface JmlParserListener
ctx
- the parse treepublic void enterMergeparamsspec(JmlParser.MergeparamsspecContext ctx)
JmlParser.mergeparamsspec()
.
The default implementation does nothing.
enterMergeparamsspec
in interface JmlParserListener
ctx
- the parse treepublic void exitMergeparamsspec(JmlParser.MergeparamsspecContext ctx)
JmlParser.mergeparamsspec()
.
The default implementation does nothing.
exitMergeparamsspec
in interface JmlParserListener
ctx
- the parse treepublic void enterTermexpression(JmlParser.TermexpressionContext ctx)
JmlParser.termexpression()
.
The default implementation does nothing.
enterTermexpression
in interface JmlParserListener
ctx
- the parse treepublic void exitTermexpression(JmlParser.TermexpressionContext ctx)
JmlParser.termexpression()
.
The default implementation does nothing.
exitTermexpression
in interface JmlParserListener
ctx
- the parse treepublic void enterStoreRefUnion(JmlParser.StoreRefUnionContext ctx)
JmlParser.storeRefUnion()
.
The default implementation does nothing.
enterStoreRefUnion
in interface JmlParserListener
ctx
- the parse treepublic void exitStoreRefUnion(JmlParser.StoreRefUnionContext ctx)
JmlParser.storeRefUnion()
.
The default implementation does nothing.
exitStoreRefUnion
in interface JmlParserListener
ctx
- the parse treepublic void enterStoreRefList(JmlParser.StoreRefListContext ctx)
JmlParser.storeRefList()
.
The default implementation does nothing.
enterStoreRefList
in interface JmlParserListener
ctx
- the parse treepublic void exitStoreRefList(JmlParser.StoreRefListContext ctx)
JmlParser.storeRefList()
.
The default implementation does nothing.
exitStoreRefList
in interface JmlParserListener
ctx
- the parse treepublic void enterStoreRefIntersect(JmlParser.StoreRefIntersectContext ctx)
JmlParser.storeRefIntersect()
.
The default implementation does nothing.
enterStoreRefIntersect
in interface JmlParserListener
ctx
- the parse treepublic void exitStoreRefIntersect(JmlParser.StoreRefIntersectContext ctx)
JmlParser.storeRefIntersect()
.
The default implementation does nothing.
exitStoreRefIntersect
in interface JmlParserListener
ctx
- the parse treepublic void enterStoreref(JmlParser.StorerefContext ctx)
JmlParser.storeref()
.
The default implementation does nothing.
enterStoreref
in interface JmlParserListener
ctx
- the parse treepublic void exitStoreref(JmlParser.StorerefContext ctx)
JmlParser.storeref()
.
The default implementation does nothing.
exitStoreref
in interface JmlParserListener
ctx
- the parse treepublic void enterCreateLocset(JmlParser.CreateLocsetContext ctx)
JmlParser.createLocset()
.
The default implementation does nothing.
enterCreateLocset
in interface JmlParserListener
ctx
- the parse treepublic void exitCreateLocset(JmlParser.CreateLocsetContext ctx)
JmlParser.createLocset()
.
The default implementation does nothing.
exitCreateLocset
in interface JmlParserListener
ctx
- the parse treepublic void enterExprList(JmlParser.ExprListContext ctx)
JmlParser.exprList()
.
The default implementation does nothing.
enterExprList
in interface JmlParserListener
ctx
- the parse treepublic void exitExprList(JmlParser.ExprListContext ctx)
JmlParser.exprList()
.
The default implementation does nothing.
exitExprList
in interface JmlParserListener
ctx
- the parse treepublic void enterStoreRefExpr(JmlParser.StoreRefExprContext ctx)
JmlParser.storeRefExpr()
.
The default implementation does nothing.
enterStoreRefExpr
in interface JmlParserListener
ctx
- the parse treepublic void exitStoreRefExpr(JmlParser.StoreRefExprContext ctx)
JmlParser.storeRefExpr()
.
The default implementation does nothing.
exitStoreRefExpr
in interface JmlParserListener
ctx
- the parse treepublic void enterPredornot(JmlParser.PredornotContext ctx)
JmlParser.predornot()
.
The default implementation does nothing.
enterPredornot
in interface JmlParserListener
ctx
- the parse treepublic void exitPredornot(JmlParser.PredornotContext ctx)
JmlParser.predornot()
.
The default implementation does nothing.
exitPredornot
in interface JmlParserListener
ctx
- the parse treepublic void enterPredicate(JmlParser.PredicateContext ctx)
JmlParser.predicate()
.
The default implementation does nothing.
enterPredicate
in interface JmlParserListener
ctx
- the parse treepublic void exitPredicate(JmlParser.PredicateContext ctx)
JmlParser.predicate()
.
The default implementation does nothing.
exitPredicate
in interface JmlParserListener
ctx
- the parse treepublic void enterExpressionEOF(JmlParser.ExpressionEOFContext ctx)
JmlParser.expressionEOF()
.
The default implementation does nothing.
enterExpressionEOF
in interface JmlParserListener
ctx
- the parse treepublic void exitExpressionEOF(JmlParser.ExpressionEOFContext ctx)
JmlParser.expressionEOF()
.
The default implementation does nothing.
exitExpressionEOF
in interface JmlParserListener
ctx
- the parse treepublic void enterExpression(JmlParser.ExpressionContext ctx)
JmlParser.expression()
.
The default implementation does nothing.
enterExpression
in interface JmlParserListener
ctx
- the parse treepublic void exitExpression(JmlParser.ExpressionContext ctx)
JmlParser.expression()
.
The default implementation does nothing.
exitExpression
in interface JmlParserListener
ctx
- the parse treepublic void enterConditionalexpr(JmlParser.ConditionalexprContext ctx)
JmlParser.conditionalexpr()
.
The default implementation does nothing.
enterConditionalexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitConditionalexpr(JmlParser.ConditionalexprContext ctx)
JmlParser.conditionalexpr()
.
The default implementation does nothing.
exitConditionalexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterEquivalenceexpr(JmlParser.EquivalenceexprContext ctx)
JmlParser.equivalenceexpr()
.
The default implementation does nothing.
enterEquivalenceexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitEquivalenceexpr(JmlParser.EquivalenceexprContext ctx)
JmlParser.equivalenceexpr()
.
The default implementation does nothing.
exitEquivalenceexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterImpliesexpr(JmlParser.ImpliesexprContext ctx)
JmlParser.impliesexpr()
.
The default implementation does nothing.
enterImpliesexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitImpliesexpr(JmlParser.ImpliesexprContext ctx)
JmlParser.impliesexpr()
.
The default implementation does nothing.
exitImpliesexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterImpliesforwardexpr(JmlParser.ImpliesforwardexprContext ctx)
JmlParser.impliesforwardexpr()
.
The default implementation does nothing.
enterImpliesforwardexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitImpliesforwardexpr(JmlParser.ImpliesforwardexprContext ctx)
JmlParser.impliesforwardexpr()
.
The default implementation does nothing.
exitImpliesforwardexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterLogicalorexpr(JmlParser.LogicalorexprContext ctx)
JmlParser.logicalorexpr()
.
The default implementation does nothing.
enterLogicalorexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitLogicalorexpr(JmlParser.LogicalorexprContext ctx)
JmlParser.logicalorexpr()
.
The default implementation does nothing.
exitLogicalorexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterLogicalandexpr(JmlParser.LogicalandexprContext ctx)
JmlParser.logicalandexpr()
.
The default implementation does nothing.
enterLogicalandexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitLogicalandexpr(JmlParser.LogicalandexprContext ctx)
JmlParser.logicalandexpr()
.
The default implementation does nothing.
exitLogicalandexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterInclusiveorexpr(JmlParser.InclusiveorexprContext ctx)
JmlParser.inclusiveorexpr()
.
The default implementation does nothing.
enterInclusiveorexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitInclusiveorexpr(JmlParser.InclusiveorexprContext ctx)
JmlParser.inclusiveorexpr()
.
The default implementation does nothing.
exitInclusiveorexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterExclusiveorexpr(JmlParser.ExclusiveorexprContext ctx)
JmlParser.exclusiveorexpr()
.
The default implementation does nothing.
enterExclusiveorexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitExclusiveorexpr(JmlParser.ExclusiveorexprContext ctx)
JmlParser.exclusiveorexpr()
.
The default implementation does nothing.
exitExclusiveorexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterAndexpr(JmlParser.AndexprContext ctx)
JmlParser.andexpr()
.
The default implementation does nothing.
enterAndexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitAndexpr(JmlParser.AndexprContext ctx)
JmlParser.andexpr()
.
The default implementation does nothing.
exitAndexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterEqualityexpr(JmlParser.EqualityexprContext ctx)
JmlParser.equalityexpr()
.
The default implementation does nothing.
enterEqualityexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitEqualityexpr(JmlParser.EqualityexprContext ctx)
JmlParser.equalityexpr()
.
The default implementation does nothing.
exitEqualityexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterRelationalexpr(JmlParser.RelationalexprContext ctx)
JmlParser.relationalexpr()
.
The default implementation does nothing.
enterRelationalexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitRelationalexpr(JmlParser.RelationalexprContext ctx)
JmlParser.relationalexpr()
.
The default implementation does nothing.
exitRelationalexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterSt_expr(JmlParser.St_exprContext ctx)
JmlParser.st_expr()
.
The default implementation does nothing.
enterSt_expr
in interface JmlParserListener
ctx
- the parse treepublic void exitSt_expr(JmlParser.St_exprContext ctx)
JmlParser.st_expr()
.
The default implementation does nothing.
exitSt_expr
in interface JmlParserListener
ctx
- the parse treepublic void enterInstance_of(JmlParser.Instance_ofContext ctx)
JmlParser.instance_of()
.
The default implementation does nothing.
enterInstance_of
in interface JmlParserListener
ctx
- the parse treepublic void exitInstance_of(JmlParser.Instance_ofContext ctx)
JmlParser.instance_of()
.
The default implementation does nothing.
exitInstance_of
in interface JmlParserListener
ctx
- the parse treepublic void enterRelational_chain(JmlParser.Relational_chainContext ctx)
JmlParser.relational_chain()
.
The default implementation does nothing.
enterRelational_chain
in interface JmlParserListener
ctx
- the parse treepublic void exitRelational_chain(JmlParser.Relational_chainContext ctx)
JmlParser.relational_chain()
.
The default implementation does nothing.
exitRelational_chain
in interface JmlParserListener
ctx
- the parse treepublic void enterRelational_lockset(JmlParser.Relational_locksetContext ctx)
JmlParser.relational_lockset()
.
The default implementation does nothing.
enterRelational_lockset
in interface JmlParserListener
ctx
- the parse treepublic void exitRelational_lockset(JmlParser.Relational_locksetContext ctx)
JmlParser.relational_lockset()
.
The default implementation does nothing.
exitRelational_lockset
in interface JmlParserListener
ctx
- the parse treepublic void enterShiftexpr(JmlParser.ShiftexprContext ctx)
JmlParser.shiftexpr()
.
The default implementation does nothing.
enterShiftexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitShiftexpr(JmlParser.ShiftexprContext ctx)
JmlParser.shiftexpr()
.
The default implementation does nothing.
exitShiftexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterAdditiveexpr(JmlParser.AdditiveexprContext ctx)
JmlParser.additiveexpr()
.
The default implementation does nothing.
enterAdditiveexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitAdditiveexpr(JmlParser.AdditiveexprContext ctx)
JmlParser.additiveexpr()
.
The default implementation does nothing.
exitAdditiveexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterMultexpr(JmlParser.MultexprContext ctx)
JmlParser.multexpr()
.
The default implementation does nothing.
enterMultexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitMultexpr(JmlParser.MultexprContext ctx)
JmlParser.multexpr()
.
The default implementation does nothing.
exitMultexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterUnaryexpr(JmlParser.UnaryexprContext ctx)
JmlParser.unaryexpr()
.
The default implementation does nothing.
enterUnaryexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitUnaryexpr(JmlParser.UnaryexprContext ctx)
JmlParser.unaryexpr()
.
The default implementation does nothing.
exitUnaryexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterCastexpr(JmlParser.CastexprContext ctx)
JmlParser.castexpr()
.
The default implementation does nothing.
enterCastexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitCastexpr(JmlParser.CastexprContext ctx)
JmlParser.castexpr()
.
The default implementation does nothing.
exitCastexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterUnaryexprnotplusminus(JmlParser.UnaryexprnotplusminusContext ctx)
JmlParser.unaryexprnotplusminus()
.
The default implementation does nothing.
enterUnaryexprnotplusminus
in interface JmlParserListener
ctx
- the parse treepublic void exitUnaryexprnotplusminus(JmlParser.UnaryexprnotplusminusContext ctx)
JmlParser.unaryexprnotplusminus()
.
The default implementation does nothing.
exitUnaryexprnotplusminus
in interface JmlParserListener
ctx
- the parse treepublic void enterPostfixexpr(JmlParser.PostfixexprContext ctx)
JmlParser.postfixexpr()
.
The default implementation does nothing.
enterPostfixexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitPostfixexpr(JmlParser.PostfixexprContext ctx)
JmlParser.postfixexpr()
.
The default implementation does nothing.
exitPostfixexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryexpr(JmlParser.PrimaryexprContext ctx)
JmlParser.primaryexpr()
.
The default implementation does nothing.
enterPrimaryexpr
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryexpr(JmlParser.PrimaryexprContext ctx)
JmlParser.primaryexpr()
.
The default implementation does nothing.
exitPrimaryexpr
in interface JmlParserListener
ctx
- the parse treepublic void enterThis_(JmlParser.This_Context ctx)
JmlParser.this_()
.
The default implementation does nothing.
enterThis_
in interface JmlParserListener
ctx
- the parse treepublic void exitThis_(JmlParser.This_Context ctx)
JmlParser.this_()
.
The default implementation does nothing.
exitThis_
in interface JmlParserListener
ctx
- the parse treepublic void enterIdent(JmlParser.IdentContext ctx)
JmlParser.ident()
.
The default implementation does nothing.
enterIdent
in interface JmlParserListener
ctx
- the parse treepublic void exitIdent(JmlParser.IdentContext ctx)
JmlParser.ident()
.
The default implementation does nothing.
exitIdent
in interface JmlParserListener
ctx
- the parse treepublic void enterInv(JmlParser.InvContext ctx)
JmlParser.inv()
.
The default implementation does nothing.
enterInv
in interface JmlParserListener
ctx
- the parse treepublic void exitInv(JmlParser.InvContext ctx)
JmlParser.inv()
.
The default implementation does nothing.
exitInv
in interface JmlParserListener
ctx
- the parse treepublic void enterTrue_(JmlParser.True_Context ctx)
JmlParser.true_()
.
The default implementation does nothing.
enterTrue_
in interface JmlParserListener
ctx
- the parse treepublic void exitTrue_(JmlParser.True_Context ctx)
JmlParser.true_()
.
The default implementation does nothing.
exitTrue_
in interface JmlParserListener
ctx
- the parse treepublic void enterFalse_(JmlParser.False_Context ctx)
JmlParser.false_()
.
The default implementation does nothing.
enterFalse_
in interface JmlParserListener
ctx
- the parse treepublic void exitFalse_(JmlParser.False_Context ctx)
JmlParser.false_()
.
The default implementation does nothing.
exitFalse_
in interface JmlParserListener
ctx
- the parse treepublic void enterNull_(JmlParser.Null_Context ctx)
JmlParser.null_()
.
The default implementation does nothing.
enterNull_
in interface JmlParserListener
ctx
- the parse treepublic void exitNull_(JmlParser.Null_Context ctx)
JmlParser.null_()
.
The default implementation does nothing.
exitNull_
in interface JmlParserListener
ctx
- the parse treepublic void enterTransactionUpdated(JmlParser.TransactionUpdatedContext ctx)
JmlParser.transactionUpdated()
.
The default implementation does nothing.
enterTransactionUpdated
in interface JmlParserListener
ctx
- the parse treepublic void exitTransactionUpdated(JmlParser.TransactionUpdatedContext ctx)
JmlParser.transactionUpdated()
.
The default implementation does nothing.
exitTransactionUpdated
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimarySuffixAccess(JmlParser.PrimarySuffixAccessContext ctx)
primarySuffixAccess
labeled alternative in JmlParser.primarysuffix()
.
The default implementation does nothing.
enterPrimarySuffixAccess
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimarySuffixAccess(JmlParser.PrimarySuffixAccessContext ctx)
primarySuffixAccess
labeled alternative in JmlParser.primarysuffix()
.
The default implementation does nothing.
exitPrimarySuffixAccess
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimarySuffixCall(JmlParser.PrimarySuffixCallContext ctx)
primarySuffixCall
labeled alternative in JmlParser.primarysuffix()
.
The default implementation does nothing.
enterPrimarySuffixCall
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimarySuffixCall(JmlParser.PrimarySuffixCallContext ctx)
primarySuffixCall
labeled alternative in JmlParser.primarysuffix()
.
The default implementation does nothing.
exitPrimarySuffixCall
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimarySuffixArray(JmlParser.PrimarySuffixArrayContext ctx)
primarySuffixArray
labeled alternative in JmlParser.primarysuffix()
.
The default implementation does nothing.
enterPrimarySuffixArray
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimarySuffixArray(JmlParser.PrimarySuffixArrayContext ctx)
primarySuffixArray
labeled alternative in JmlParser.primarysuffix()
.
The default implementation does nothing.
exitPrimarySuffixArray
in interface JmlParserListener
ctx
- the parse treepublic void enterNew_expr(JmlParser.New_exprContext ctx)
JmlParser.new_expr()
.
The default implementation does nothing.
enterNew_expr
in interface JmlParserListener
ctx
- the parse treepublic void exitNew_expr(JmlParser.New_exprContext ctx)
JmlParser.new_expr()
.
The default implementation does nothing.
exitNew_expr
in interface JmlParserListener
ctx
- the parse treepublic void enterArray_dimensions(JmlParser.Array_dimensionsContext ctx)
JmlParser.array_dimensions()
.
The default implementation does nothing.
enterArray_dimensions
in interface JmlParserListener
ctx
- the parse treepublic void exitArray_dimensions(JmlParser.Array_dimensionsContext ctx)
JmlParser.array_dimensions()
.
The default implementation does nothing.
exitArray_dimensions
in interface JmlParserListener
ctx
- the parse treepublic void enterArray_dimension(JmlParser.Array_dimensionContext ctx)
JmlParser.array_dimension()
.
The default implementation does nothing.
enterArray_dimension
in interface JmlParserListener
ctx
- the parse treepublic void exitArray_dimension(JmlParser.Array_dimensionContext ctx)
JmlParser.array_dimension()
.
The default implementation does nothing.
exitArray_dimension
in interface JmlParserListener
ctx
- the parse treepublic void enterArray_initializer(JmlParser.Array_initializerContext ctx)
JmlParser.array_initializer()
.
The default implementation does nothing.
enterArray_initializer
in interface JmlParserListener
ctx
- the parse treepublic void exitArray_initializer(JmlParser.Array_initializerContext ctx)
JmlParser.array_initializer()
.
The default implementation does nothing.
exitArray_initializer
in interface JmlParserListener
ctx
- the parse treepublic void enterExpressionlist(JmlParser.ExpressionlistContext ctx)
JmlParser.expressionlist()
.
The default implementation does nothing.
enterExpressionlist
in interface JmlParserListener
ctx
- the parse treepublic void exitExpressionlist(JmlParser.ExpressionlistContext ctx)
JmlParser.expressionlist()
.
The default implementation does nothing.
exitExpressionlist
in interface JmlParserListener
ctx
- the parse treepublic void enterConstant(JmlParser.ConstantContext ctx)
JmlParser.constant()
.
The default implementation does nothing.
enterConstant
in interface JmlParserListener
ctx
- the parse treepublic void exitConstant(JmlParser.ConstantContext ctx)
JmlParser.constant()
.
The default implementation does nothing.
exitConstant
in interface JmlParserListener
ctx
- the parse treepublic void enterJavaliteral(JmlParser.JavaliteralContext ctx)
JmlParser.javaliteral()
.
The default implementation does nothing.
enterJavaliteral
in interface JmlParserListener
ctx
- the parse treepublic void exitJavaliteral(JmlParser.JavaliteralContext ctx)
JmlParser.javaliteral()
.
The default implementation does nothing.
exitJavaliteral
in interface JmlParserListener
ctx
- the parse treepublic void enterStringliteral(JmlParser.StringliteralContext ctx)
JmlParser.stringliteral()
.
The default implementation does nothing.
enterStringliteral
in interface JmlParserListener
ctx
- the parse treepublic void exitStringliteral(JmlParser.StringliteralContext ctx)
JmlParser.stringliteral()
.
The default implementation does nothing.
exitStringliteral
in interface JmlParserListener
ctx
- the parse treepublic void enterCharliteral(JmlParser.CharliteralContext ctx)
JmlParser.charliteral()
.
The default implementation does nothing.
enterCharliteral
in interface JmlParserListener
ctx
- the parse treepublic void exitCharliteral(JmlParser.CharliteralContext ctx)
JmlParser.charliteral()
.
The default implementation does nothing.
exitCharliteral
in interface JmlParserListener
ctx
- the parse treepublic void enterIntegerliteral(JmlParser.IntegerliteralContext ctx)
JmlParser.integerliteral()
.
The default implementation does nothing.
enterIntegerliteral
in interface JmlParserListener
ctx
- the parse treepublic void exitIntegerliteral(JmlParser.IntegerliteralContext ctx)
JmlParser.integerliteral()
.
The default implementation does nothing.
exitIntegerliteral
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryResult(JmlParser.PrimaryResultContext ctx)
primaryResult
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryResult
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryResult(JmlParser.PrimaryResultContext ctx)
primaryResult
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryResult
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryException(JmlParser.PrimaryExceptionContext ctx)
primaryException
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryException
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryException(JmlParser.PrimaryExceptionContext ctx)
primaryException
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryException
in interface JmlParserListener
ctx
- the parse treepublic void enterPignore1(JmlParser.Pignore1Context ctx)
pignore1
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPignore1
in interface JmlParserListener
ctx
- the parse treepublic void exitPignore1(JmlParser.Pignore1Context ctx)
pignore1
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPignore1
in interface JmlParserListener
ctx
- the parse treepublic void enterPignore2(JmlParser.Pignore2Context ctx)
pignore2
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPignore2
in interface JmlParserListener
ctx
- the parse treepublic void exitPignore2(JmlParser.Pignore2Context ctx)
pignore2
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPignore2
in interface JmlParserListener
ctx
- the parse treepublic void enterPignore3(JmlParser.Pignore3Context ctx)
pignore3
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPignore3
in interface JmlParserListener
ctx
- the parse treepublic void exitPignore3(JmlParser.Pignore3Context ctx)
pignore3
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPignore3
in interface JmlParserListener
ctx
- the parse treepublic void enterPignore4(JmlParser.Pignore4Context ctx)
pignore4
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPignore4
in interface JmlParserListener
ctx
- the parse treepublic void exitPignore4(JmlParser.Pignore4Context ctx)
pignore4
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPignore4
in interface JmlParserListener
ctx
- the parse treepublic void enterPignore5(JmlParser.Pignore5Context ctx)
pignore5
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPignore5
in interface JmlParserListener
ctx
- the parse treepublic void exitPignore5(JmlParser.Pignore5Context ctx)
pignore5
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPignore5
in interface JmlParserListener
ctx
- the parse treepublic void enterPignore6(JmlParser.Pignore6Context ctx)
pignore6
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPignore6
in interface JmlParserListener
ctx
- the parse treepublic void exitPignore6(JmlParser.Pignore6Context ctx)
pignore6
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPignore6
in interface JmlParserListener
ctx
- the parse treepublic void enterPignore7(JmlParser.Pignore7Context ctx)
pignore7
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPignore7
in interface JmlParserListener
ctx
- the parse treepublic void exitPignore7(JmlParser.Pignore7Context ctx)
pignore7
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPignore7
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryBackup(JmlParser.PrimaryBackupContext ctx)
primaryBackup
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryBackup
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryBackup(JmlParser.PrimaryBackupContext ctx)
primaryBackup
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryBackup
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryPermission(JmlParser.PrimaryPermissionContext ctx)
primaryPermission
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryPermission
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryPermission(JmlParser.PrimaryPermissionContext ctx)
primaryPermission
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryPermission
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryNNE(JmlParser.PrimaryNNEContext ctx)
primaryNNE
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryNNE
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryNNE(JmlParser.PrimaryNNEContext ctx)
primaryNNE
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryNNE
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryInformalDesc(JmlParser.PrimaryInformalDescContext ctx)
primaryInformalDesc
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryInformalDesc
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryInformalDesc(JmlParser.PrimaryInformalDescContext ctx)
primaryInformalDesc
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryInformalDesc
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryMapEmpty(JmlParser.PrimaryMapEmptyContext ctx)
primaryMapEmpty
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryMapEmpty
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryMapEmpty(JmlParser.PrimaryMapEmptyContext ctx)
primaryMapEmpty
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryMapEmpty
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryMapExpr(JmlParser.PrimaryMapExprContext ctx)
primaryMapExpr
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryMapExpr
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryMapExpr(JmlParser.PrimaryMapExprContext ctx)
primaryMapExpr
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryMapExpr
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimarySeq2Map(JmlParser.PrimarySeq2MapContext ctx)
primarySeq2Map
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimarySeq2Map
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimarySeq2Map(JmlParser.PrimarySeq2MapContext ctx)
primarySeq2Map
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimarySeq2Map
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryNotMod(JmlParser.PrimaryNotModContext ctx)
primaryNotMod
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryNotMod
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryNotMod(JmlParser.PrimaryNotModContext ctx)
primaryNotMod
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryNotMod
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryNotAssigned(JmlParser.PrimaryNotAssignedContext ctx)
primaryNotAssigned
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryNotAssigned
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryNotAssigned(JmlParser.PrimaryNotAssignedContext ctx)
primaryNotAssigned
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryNotAssigned
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryFresh(JmlParser.PrimaryFreshContext ctx)
primaryFresh
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryFresh
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryFresh(JmlParser.PrimaryFreshContext ctx)
primaryFresh
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryFresh
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryReach(JmlParser.PrimaryReachContext ctx)
primaryReach
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryReach
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryReach(JmlParser.PrimaryReachContext ctx)
primaryReach
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryReach
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryReachLocs(JmlParser.PrimaryReachLocsContext ctx)
primaryReachLocs
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryReachLocs
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryReachLocs(JmlParser.PrimaryReachLocsContext ctx)
primaryReachLocs
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryReachLocs
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryDuration(JmlParser.PrimaryDurationContext ctx)
primaryDuration
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryDuration
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryDuration(JmlParser.PrimaryDurationContext ctx)
primaryDuration
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryDuration
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimarySpace(JmlParser.PrimarySpaceContext ctx)
primarySpace
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimarySpace
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimarySpace(JmlParser.PrimarySpaceContext ctx)
primarySpace
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimarySpace
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryWorksingSpace(JmlParser.PrimaryWorksingSpaceContext ctx)
primaryWorksingSpace
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryWorksingSpace
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryWorksingSpace(JmlParser.PrimaryWorksingSpaceContext ctx)
primaryWorksingSpace
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryWorksingSpace
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryParen(JmlParser.PrimaryParenContext ctx)
primaryParen
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryParen
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryParen(JmlParser.PrimaryParenContext ctx)
primaryParen
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryParen
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryTypeOf(JmlParser.PrimaryTypeOfContext ctx)
primaryTypeOf
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryTypeOf
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryTypeOf(JmlParser.PrimaryTypeOfContext ctx)
primaryTypeOf
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryTypeOf
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryElemtype(JmlParser.PrimaryElemtypeContext ctx)
primaryElemtype
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryElemtype
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryElemtype(JmlParser.PrimaryElemtypeContext ctx)
primaryElemtype
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryElemtype
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimayTypeSpec(JmlParser.PrimayTypeSpecContext ctx)
primayTypeSpec
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimayTypeSpec
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimayTypeSpec(JmlParser.PrimayTypeSpecContext ctx)
primayTypeSpec
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimayTypeSpec
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryLockset(JmlParser.PrimaryLocksetContext ctx)
primaryLockset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryLockset
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryLockset(JmlParser.PrimaryLocksetContext ctx)
primaryLockset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryLockset
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryIsInitialised(JmlParser.PrimaryIsInitialisedContext ctx)
primaryIsInitialised
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryIsInitialised
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryIsInitialised(JmlParser.PrimaryIsInitialisedContext ctx)
primaryIsInitialised
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryIsInitialised
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryInvFor(JmlParser.PrimaryInvForContext ctx)
primaryInvFor
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryInvFor
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryInvFor(JmlParser.PrimaryInvForContext ctx)
primaryInvFor
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryInvFor
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryStaticInv(JmlParser.PrimaryStaticInvContext ctx)
primaryStaticInv
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryStaticInv
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryStaticInv(JmlParser.PrimaryStaticInvContext ctx)
primaryStaticInv
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryStaticInv
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryLblNeg(JmlParser.PrimaryLblNegContext ctx)
primaryLblNeg
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryLblNeg
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryLblNeg(JmlParser.PrimaryLblNegContext ctx)
primaryLblNeg
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryLblNeg
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryLblPos(JmlParser.PrimaryLblPosContext ctx)
primaryLblPos
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryLblPos
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryLblPos(JmlParser.PrimaryLblPosContext ctx)
primaryLblPos
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryLblPos
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryIndex(JmlParser.PrimaryIndexContext ctx)
primaryIndex
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryIndex
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryIndex(JmlParser.PrimaryIndexContext ctx)
primaryIndex
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryIndex
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryValues(JmlParser.PrimaryValuesContext ctx)
primaryValues
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryValues
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryValues(JmlParser.PrimaryValuesContext ctx)
primaryValues
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryValues
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryStringEq(JmlParser.PrimaryStringEqContext ctx)
primaryStringEq
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryStringEq
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryStringEq(JmlParser.PrimaryStringEqContext ctx)
primaryStringEq
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryStringEq
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryEmptySet(JmlParser.PrimaryEmptySetContext ctx)
primaryEmptySet
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryEmptySet
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryEmptySet(JmlParser.PrimaryEmptySetContext ctx)
primaryEmptySet
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryEmptySet
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryStoreRef(JmlParser.PrimaryStoreRefContext ctx)
primaryStoreRef
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryStoreRef
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryStoreRef(JmlParser.PrimaryStoreRefContext ctx)
primaryStoreRef
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryStoreRef
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryCreateLocset(JmlParser.PrimaryCreateLocsetContext ctx)
primaryCreateLocset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryCreateLocset
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryCreateLocset(JmlParser.PrimaryCreateLocsetContext ctx)
primaryCreateLocset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryCreateLocset
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryCreateLocsetSingleton(JmlParser.PrimaryCreateLocsetSingletonContext ctx)
primaryCreateLocsetSingleton
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryCreateLocsetSingleton
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryCreateLocsetSingleton(JmlParser.PrimaryCreateLocsetSingletonContext ctx)
primaryCreateLocsetSingleton
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryCreateLocsetSingleton
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryUnion(JmlParser.PrimaryUnionContext ctx)
primaryUnion
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryUnion
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryUnion(JmlParser.PrimaryUnionContext ctx)
primaryUnion
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryUnion
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryIntersect(JmlParser.PrimaryIntersectContext ctx)
primaryIntersect
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryIntersect
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryIntersect(JmlParser.PrimaryIntersectContext ctx)
primaryIntersect
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryIntersect
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimarySetMinux(JmlParser.PrimarySetMinuxContext ctx)
primarySetMinux
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimarySetMinux
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimarySetMinux(JmlParser.PrimarySetMinuxContext ctx)
primarySetMinux
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimarySetMinux
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryAllFields(JmlParser.PrimaryAllFieldsContext ctx)
primaryAllFields
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryAllFields
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryAllFields(JmlParser.PrimaryAllFieldsContext ctx)
primaryAllFields
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryAllFields
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryAllObj(JmlParser.PrimaryAllObjContext ctx)
primaryAllObj
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryAllObj
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryAllObj(JmlParser.PrimaryAllObjContext ctx)
primaryAllObj
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryAllObj
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryUnionInf(JmlParser.PrimaryUnionInfContext ctx)
primaryUnionInf
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryUnionInf
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryUnionInf(JmlParser.PrimaryUnionInfContext ctx)
primaryUnionInf
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryUnionInf
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryDisjoint(JmlParser.PrimaryDisjointContext ctx)
primaryDisjoint
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryDisjoint
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryDisjoint(JmlParser.PrimaryDisjointContext ctx)
primaryDisjoint
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryDisjoint
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimarySubset(JmlParser.PrimarySubsetContext ctx)
primarySubset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimarySubset
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimarySubset(JmlParser.PrimarySubsetContext ctx)
primarySubset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimarySubset
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryNewElemsfrehs(JmlParser.PrimaryNewElemsfrehsContext ctx)
primaryNewElemsfrehs
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryNewElemsfrehs
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryNewElemsfrehs(JmlParser.PrimaryNewElemsfrehsContext ctx)
primaryNewElemsfrehs
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryNewElemsfrehs
in interface JmlParserListener
ctx
- the parse treepublic void enterPrimaryignore10(JmlParser.Primaryignore10Context ctx)
primaryignore10
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
enterPrimaryignore10
in interface JmlParserListener
ctx
- the parse treepublic void exitPrimaryignore10(JmlParser.Primaryignore10Context ctx)
primaryignore10
labeled alternative in JmlParser.jmlprimary()
.
The default implementation does nothing.
exitPrimaryignore10
in interface JmlParserListener
ctx
- the parse treepublic void enterFieldarrayaccess(JmlParser.FieldarrayaccessContext ctx)
JmlParser.fieldarrayaccess()
.
The default implementation does nothing.
enterFieldarrayaccess
in interface JmlParserListener
ctx
- the parse treepublic void exitFieldarrayaccess(JmlParser.FieldarrayaccessContext ctx)
JmlParser.fieldarrayaccess()
.
The default implementation does nothing.
exitFieldarrayaccess
in interface JmlParserListener
ctx
- the parse treepublic void enterFieldarrayaccess_suffix(JmlParser.Fieldarrayaccess_suffixContext ctx)
JmlParser.fieldarrayaccess_suffix()
.
The default implementation does nothing.
enterFieldarrayaccess_suffix
in interface JmlParserListener
ctx
- the parse treepublic void exitFieldarrayaccess_suffix(JmlParser.Fieldarrayaccess_suffixContext ctx)
JmlParser.fieldarrayaccess_suffix()
.
The default implementation does nothing.
exitFieldarrayaccess_suffix
in interface JmlParserListener
ctx
- the parse treepublic void enterSuper_(JmlParser.Super_Context ctx)
JmlParser.super_()
.
The default implementation does nothing.
enterSuper_
in interface JmlParserListener
ctx
- the parse treepublic void exitSuper_(JmlParser.Super_Context ctx)
JmlParser.super_()
.
The default implementation does nothing.
exitSuper_
in interface JmlParserListener
ctx
- the parse treepublic void enterSequenceEmpty(JmlParser.SequenceEmptyContext ctx)
sequenceEmpty
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
enterSequenceEmpty
in interface JmlParserListener
ctx
- the parse treepublic void exitSequenceEmpty(JmlParser.SequenceEmptyContext ctx)
sequenceEmpty
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
exitSequenceEmpty
in interface JmlParserListener
ctx
- the parse treepublic void enterSequenceIgnore1(JmlParser.SequenceIgnore1Context ctx)
sequenceIgnore1
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
enterSequenceIgnore1
in interface JmlParserListener
ctx
- the parse treepublic void exitSequenceIgnore1(JmlParser.SequenceIgnore1Context ctx)
sequenceIgnore1
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
exitSequenceIgnore1
in interface JmlParserListener
ctx
- the parse treepublic void enterSequenceCreate(JmlParser.SequenceCreateContext ctx)
sequenceCreate
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
enterSequenceCreate
in interface JmlParserListener
ctx
- the parse treepublic void exitSequenceCreate(JmlParser.SequenceCreateContext ctx)
sequenceCreate
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
exitSequenceCreate
in interface JmlParserListener
ctx
- the parse treepublic void enterSequenceSub(JmlParser.SequenceSubContext ctx)
sequenceSub
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
enterSequenceSub
in interface JmlParserListener
ctx
- the parse treepublic void exitSequenceSub(JmlParser.SequenceSubContext ctx)
sequenceSub
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
exitSequenceSub
in interface JmlParserListener
ctx
- the parse treepublic void enterSequenceReverse(JmlParser.SequenceReverseContext ctx)
sequenceReverse
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
enterSequenceReverse
in interface JmlParserListener
ctx
- the parse treepublic void exitSequenceReverse(JmlParser.SequenceReverseContext ctx)
sequenceReverse
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
exitSequenceReverse
in interface JmlParserListener
ctx
- the parse treepublic void enterSequenceReplace(JmlParser.SequenceReplaceContext ctx)
sequenceReplace
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
enterSequenceReplace
in interface JmlParserListener
ctx
- the parse treepublic void exitSequenceReplace(JmlParser.SequenceReplaceContext ctx)
sequenceReplace
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
exitSequenceReplace
in interface JmlParserListener
ctx
- the parse treepublic void enterSequenceFuncs(JmlParser.SequenceFuncsContext ctx)
sequenceFuncs
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
enterSequenceFuncs
in interface JmlParserListener
ctx
- the parse treepublic void exitSequenceFuncs(JmlParser.SequenceFuncsContext ctx)
sequenceFuncs
labeled alternative in JmlParser.sequence()
.
The default implementation does nothing.
exitSequenceFuncs
in interface JmlParserListener
ctx
- the parse treepublic void enterMapExpression(JmlParser.MapExpressionContext ctx)
JmlParser.mapExpression()
.
The default implementation does nothing.
enterMapExpression
in interface JmlParserListener
ctx
- the parse treepublic void exitMapExpression(JmlParser.MapExpressionContext ctx)
JmlParser.mapExpression()
.
The default implementation does nothing.
exitMapExpression
in interface JmlParserListener
ctx
- the parse treepublic void enterQuantifier(JmlParser.QuantifierContext ctx)
JmlParser.quantifier()
.
The default implementation does nothing.
enterQuantifier
in interface JmlParserListener
ctx
- the parse treepublic void exitQuantifier(JmlParser.QuantifierContext ctx)
JmlParser.quantifier()
.
The default implementation does nothing.
exitQuantifier
in interface JmlParserListener
ctx
- the parse treepublic void enterInfinite_union_expr(JmlParser.Infinite_union_exprContext ctx)
JmlParser.infinite_union_expr()
.
The default implementation does nothing.
enterInfinite_union_expr
in interface JmlParserListener
ctx
- the parse treepublic void exitInfinite_union_expr(JmlParser.Infinite_union_exprContext ctx)
JmlParser.infinite_union_expr()
.
The default implementation does nothing.
exitInfinite_union_expr
in interface JmlParserListener
ctx
- the parse treepublic void enterSpecquantifiedexpression(JmlParser.SpecquantifiedexpressionContext ctx)
JmlParser.specquantifiedexpression()
.
The default implementation does nothing.
enterSpecquantifiedexpression
in interface JmlParserListener
ctx
- the parse treepublic void exitSpecquantifiedexpression(JmlParser.SpecquantifiedexpressionContext ctx)
JmlParser.specquantifiedexpression()
.
The default implementation does nothing.
exitSpecquantifiedexpression
in interface JmlParserListener
ctx
- the parse treepublic void enterOldexpression(JmlParser.OldexpressionContext ctx)
JmlParser.oldexpression()
.
The default implementation does nothing.
enterOldexpression
in interface JmlParserListener
ctx
- the parse treepublic void exitOldexpression(JmlParser.OldexpressionContext ctx)
JmlParser.oldexpression()
.
The default implementation does nothing.
exitOldexpression
in interface JmlParserListener
ctx
- the parse treepublic void enterBeforeexpression(JmlParser.BeforeexpressionContext ctx)
JmlParser.beforeexpression()
.
The default implementation does nothing.
enterBeforeexpression
in interface JmlParserListener
ctx
- the parse treepublic void exitBeforeexpression(JmlParser.BeforeexpressionContext ctx)
JmlParser.beforeexpression()
.
The default implementation does nothing.
exitBeforeexpression
in interface JmlParserListener
ctx
- the parse treepublic void enterBsumterm(JmlParser.BsumtermContext ctx)
JmlParser.bsumterm()
.
The default implementation does nothing.
enterBsumterm
in interface JmlParserListener
ctx
- the parse treepublic void exitBsumterm(JmlParser.BsumtermContext ctx)
JmlParser.bsumterm()
.
The default implementation does nothing.
exitBsumterm
in interface JmlParserListener
ctx
- the parse treepublic void enterSeqdefterm(JmlParser.SeqdeftermContext ctx)
JmlParser.seqdefterm()
.
The default implementation does nothing.
enterSeqdefterm
in interface JmlParserListener
ctx
- the parse treepublic void exitSeqdefterm(JmlParser.SeqdeftermContext ctx)
JmlParser.seqdefterm()
.
The default implementation does nothing.
exitSeqdefterm
in interface JmlParserListener
ctx
- the parse treepublic void enterQuantifiedvardecls(JmlParser.QuantifiedvardeclsContext ctx)
JmlParser.quantifiedvardecls()
.
The default implementation does nothing.
enterQuantifiedvardecls
in interface JmlParserListener
ctx
- the parse treepublic void exitQuantifiedvardecls(JmlParser.QuantifiedvardeclsContext ctx)
JmlParser.quantifiedvardecls()
.
The default implementation does nothing.
exitQuantifiedvardecls
in interface JmlParserListener
ctx
- the parse treepublic void enterBoundvarmodifiers(JmlParser.BoundvarmodifiersContext ctx)
JmlParser.boundvarmodifiers()
.
The default implementation does nothing.
enterBoundvarmodifiers
in interface JmlParserListener
ctx
- the parse treepublic void exitBoundvarmodifiers(JmlParser.BoundvarmodifiersContext ctx)
JmlParser.boundvarmodifiers()
.
The default implementation does nothing.
exitBoundvarmodifiers
in interface JmlParserListener
ctx
- the parse treepublic void enterTypespec(JmlParser.TypespecContext ctx)
JmlParser.typespec()
.
The default implementation does nothing.
enterTypespec
in interface JmlParserListener
ctx
- the parse treepublic void exitTypespec(JmlParser.TypespecContext ctx)
JmlParser.typespec()
.
The default implementation does nothing.
exitTypespec
in interface JmlParserListener
ctx
- the parse treepublic void enterDims(JmlParser.DimsContext ctx)
JmlParser.dims()
.
The default implementation does nothing.
enterDims
in interface JmlParserListener
ctx
- the parse treepublic void exitDims(JmlParser.DimsContext ctx)
JmlParser.dims()
.
The default implementation does nothing.
exitDims
in interface JmlParserListener
ctx
- the parse treepublic void enterType(JmlParser.TypeContext ctx)
JmlParser.type()
.
The default implementation does nothing.
enterType
in interface JmlParserListener
ctx
- the parse treepublic void exitType(JmlParser.TypeContext ctx)
JmlParser.type()
.
The default implementation does nothing.
exitType
in interface JmlParserListener
ctx
- the parse treepublic void enterReferencetype(JmlParser.ReferencetypeContext ctx)
JmlParser.referencetype()
.
The default implementation does nothing.
enterReferencetype
in interface JmlParserListener
ctx
- the parse treepublic void exitReferencetype(JmlParser.ReferencetypeContext ctx)
JmlParser.referencetype()
.
The default implementation does nothing.
exitReferencetype
in interface JmlParserListener
ctx
- the parse treepublic void enterBuiltintype(JmlParser.BuiltintypeContext ctx)
JmlParser.builtintype()
.
The default implementation does nothing.
enterBuiltintype
in interface JmlParserListener
ctx
- the parse treepublic void exitBuiltintype(JmlParser.BuiltintypeContext ctx)
JmlParser.builtintype()
.
The default implementation does nothing.
exitBuiltintype
in interface JmlParserListener
ctx
- the parse treepublic void enterName(JmlParser.NameContext ctx)
JmlParser.name()
.
The default implementation does nothing.
enterName
in interface JmlParserListener
ctx
- the parse treepublic void exitName(JmlParser.NameContext ctx)
JmlParser.name()
.
The default implementation does nothing.
exitName
in interface JmlParserListener
ctx
- the parse treepublic void enterQuantifiedvariabledeclarator(JmlParser.QuantifiedvariabledeclaratorContext ctx)
JmlParser.quantifiedvariabledeclarator()
.
The default implementation does nothing.
enterQuantifiedvariabledeclarator
in interface JmlParserListener
ctx
- the parse treepublic void exitQuantifiedvariabledeclarator(JmlParser.QuantifiedvariabledeclaratorContext ctx)
JmlParser.quantifiedvariabledeclarator()
.
The default implementation does nothing.
exitQuantifiedvariabledeclarator
in interface JmlParserListener
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.