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