T
- The return type of the visit operation. Use Void
for
operations with no return type.public interface JmlParserVisitor<T>
extends org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
JmlParser
.T visitClasslevel_comments(JmlParser.Classlevel_commentsContext ctx)
JmlParser.classlevel_comments()
.ctx
- the parse treeT visitClasslevel_comment(JmlParser.Classlevel_commentContext ctx)
JmlParser.classlevel_comment()
.ctx
- the parse treeT visitClasslevel_element0(JmlParser.Classlevel_element0Context ctx)
JmlParser.classlevel_element0()
.ctx
- the parse treeT visitClasslevel_element(JmlParser.Classlevel_elementContext ctx)
JmlParser.classlevel_element()
.ctx
- the parse treeT visitMethodlevel_comment(JmlParser.Methodlevel_commentContext ctx)
JmlParser.methodlevel_comment()
.ctx
- the parse treeT visitMethodlevel_element(JmlParser.Methodlevel_elementContext ctx)
JmlParser.methodlevel_element()
.ctx
- the parse treeT visitModifiers(JmlParser.ModifiersContext ctx)
JmlParser.modifiers()
.ctx
- the parse treeT visitModifier(JmlParser.ModifierContext ctx)
JmlParser.modifier()
.ctx
- the parse treeT visitClass_axiom(JmlParser.Class_axiomContext ctx)
JmlParser.class_axiom()
.ctx
- the parse treeT visitInitially_clause(JmlParser.Initially_clauseContext ctx)
JmlParser.initially_clause()
.ctx
- the parse treeT visitClass_invariant(JmlParser.Class_invariantContext ctx)
JmlParser.class_invariant()
.ctx
- the parse treeT visitMethod_specification(JmlParser.Method_specificationContext ctx)
JmlParser.method_specification()
.ctx
- the parse treeT visitAlso_keyword(JmlParser.Also_keywordContext ctx)
JmlParser.also_keyword()
.ctx
- the parse treeT visitSpec_case(JmlParser.Spec_caseContext ctx)
JmlParser.spec_case()
.ctx
- the parse treeT visitSpec_body(JmlParser.Spec_bodyContext ctx)
JmlParser.spec_body()
.ctx
- the parse treeT visitClauseEOF(JmlParser.ClauseEOFContext ctx)
JmlParser.clauseEOF()
.ctx
- the parse treeT visitClause(JmlParser.ClauseContext ctx)
JmlParser.clause()
.ctx
- the parse treeT visitTargetHeap(JmlParser.TargetHeapContext ctx)
JmlParser.targetHeap()
.ctx
- the parse treeT visitEnsures_clause(JmlParser.Ensures_clauseContext ctx)
JmlParser.ensures_clause()
.ctx
- the parse treeT visitRequires_clause(JmlParser.Requires_clauseContext ctx)
JmlParser.requires_clause()
.ctx
- the parse treeT visitMeasured_by_clause(JmlParser.Measured_by_clauseContext ctx)
JmlParser.measured_by_clause()
.ctx
- the parse treeT visitCaptures_clause(JmlParser.Captures_clauseContext ctx)
JmlParser.captures_clause()
.ctx
- the parse treeT visitDiverges_clause(JmlParser.Diverges_clauseContext ctx)
JmlParser.diverges_clause()
.ctx
- the parse treeT visitWorking_space_clause(JmlParser.Working_space_clauseContext ctx)
JmlParser.working_space_clause()
.ctx
- the parse treeT visitDuration_clause(JmlParser.Duration_clauseContext ctx)
JmlParser.duration_clause()
.ctx
- the parse treeT visitWhen_clause(JmlParser.When_clauseContext ctx)
JmlParser.when_clause()
.ctx
- the parse treeT visitAccessible_clause(JmlParser.Accessible_clauseContext ctx)
JmlParser.accessible_clause()
.ctx
- the parse treeT visitAssignable_clause(JmlParser.Assignable_clauseContext ctx)
JmlParser.assignable_clause()
.ctx
- the parse treeT visitRepresents_clause(JmlParser.Represents_clauseContext ctx)
JmlParser.represents_clause()
.ctx
- the parse treeT visitSeparates_clause(JmlParser.Separates_clauseContext ctx)
JmlParser.separates_clause()
.ctx
- the parse treeT visitLoop_separates_clause(JmlParser.Loop_separates_clauseContext ctx)
JmlParser.loop_separates_clause()
.ctx
- the parse treeT visitInfflowspeclist(JmlParser.InfflowspeclistContext ctx)
JmlParser.infflowspeclist()
.ctx
- the parse treeT visitDetermines_clause(JmlParser.Determines_clauseContext ctx)
JmlParser.determines_clause()
.ctx
- the parse treeT visitLoop_determines_clause(JmlParser.Loop_determines_clauseContext ctx)
JmlParser.loop_determines_clause()
.ctx
- the parse treeT visitSignals_clause(JmlParser.Signals_clauseContext ctx)
JmlParser.signals_clause()
.ctx
- the parse treeT visitSignals_only_clause(JmlParser.Signals_only_clauseContext ctx)
JmlParser.signals_only_clause()
.ctx
- the parse treeT visitBreaks_clause(JmlParser.Breaks_clauseContext ctx)
JmlParser.breaks_clause()
.ctx
- the parse treeT visitContinues_clause(JmlParser.Continues_clauseContext ctx)
JmlParser.continues_clause()
.ctx
- the parse treeT visitReturns_clause(JmlParser.Returns_clauseContext ctx)
JmlParser.returns_clause()
.ctx
- the parse treeT visitName_clause(JmlParser.Name_clauseContext ctx)
JmlParser.name_clause()
.ctx
- the parse treeT visitField_declaration(JmlParser.Field_declarationContext ctx)
JmlParser.field_declaration()
.ctx
- the parse treeT visitMethod_declaration(JmlParser.Method_declarationContext ctx)
JmlParser.method_declaration()
.ctx
- the parse treeT visitMethod_body(JmlParser.Method_bodyContext ctx)
JmlParser.method_body()
.ctx
- the parse treeT visitParam_list(JmlParser.Param_listContext ctx)
JmlParser.param_list()
.ctx
- the parse treeT visitParam_decl(JmlParser.Param_declContext ctx)
JmlParser.param_decl()
.ctx
- the parse treeT visitHistory_constraint(JmlParser.History_constraintContext ctx)
JmlParser.history_constraint()
.ctx
- the parse treeT visitDatagroup_clause(JmlParser.Datagroup_clauseContext ctx)
JmlParser.datagroup_clause()
.ctx
- the parse treeT visitMonitors_for_clause(JmlParser.Monitors_for_clauseContext ctx)
JmlParser.monitors_for_clause()
.ctx
- the parse treeT visitReadable_if_clause(JmlParser.Readable_if_clauseContext ctx)
JmlParser.readable_if_clause()
.ctx
- the parse treeT visitWritable_if_clause(JmlParser.Writable_if_clauseContext ctx)
JmlParser.writable_if_clause()
.ctx
- the parse treeT visitIn_group_clause(JmlParser.In_group_clauseContext ctx)
JmlParser.in_group_clause()
.ctx
- the parse treeT visitMaps_into_clause(JmlParser.Maps_into_clauseContext ctx)
JmlParser.maps_into_clause()
.ctx
- the parse treeT visitNowarn_pragma(JmlParser.Nowarn_pragmaContext ctx)
JmlParser.nowarn_pragma()
.ctx
- the parse treeT visitDebug_statement(JmlParser.Debug_statementContext ctx)
JmlParser.debug_statement()
.ctx
- the parse treeT visitSet_statement(JmlParser.Set_statementContext ctx)
JmlParser.set_statement()
.ctx
- the parse treeT visitMerge_point_statement(JmlParser.Merge_point_statementContext ctx)
JmlParser.merge_point_statement()
.ctx
- the parse treeT visitLoop_specification(JmlParser.Loop_specificationContext ctx)
JmlParser.loop_specification()
.ctx
- the parse treeT visitLoop_invariant(JmlParser.Loop_invariantContext ctx)
JmlParser.loop_invariant()
.ctx
- the parse treeT visitVariant_function(JmlParser.Variant_functionContext ctx)
JmlParser.variant_function()
.ctx
- the parse treeT visitAssume_statement(JmlParser.Assume_statementContext ctx)
JmlParser.assume_statement()
.ctx
- the parse treeT visitInitialiser(JmlParser.InitialiserContext ctx)
JmlParser.initialiser()
.ctx
- the parse treeT visitBlock_specification(JmlParser.Block_specificationContext ctx)
JmlParser.block_specification()
.ctx
- the parse treeT visitBlock_loop_specification(JmlParser.Block_loop_specificationContext ctx)
JmlParser.block_loop_specification()
.ctx
- the parse treeT visitLoop_contract_keyword(JmlParser.Loop_contract_keywordContext ctx)
JmlParser.loop_contract_keyword()
.ctx
- the parse treeT visitAssert_statement(JmlParser.Assert_statementContext ctx)
JmlParser.assert_statement()
.ctx
- the parse treeT visitMergeparamsspec(JmlParser.MergeparamsspecContext ctx)
JmlParser.mergeparamsspec()
.ctx
- the parse treeT visitTermexpression(JmlParser.TermexpressionContext ctx)
JmlParser.termexpression()
.ctx
- the parse treeT visitStoreRefUnion(JmlParser.StoreRefUnionContext ctx)
JmlParser.storeRefUnion()
.ctx
- the parse treeT visitStoreRefList(JmlParser.StoreRefListContext ctx)
JmlParser.storeRefList()
.ctx
- the parse treeT visitStoreRefIntersect(JmlParser.StoreRefIntersectContext ctx)
JmlParser.storeRefIntersect()
.ctx
- the parse treeT visitStoreref(JmlParser.StorerefContext ctx)
JmlParser.storeref()
.ctx
- the parse treeT visitCreateLocset(JmlParser.CreateLocsetContext ctx)
JmlParser.createLocset()
.ctx
- the parse treeT visitExprList(JmlParser.ExprListContext ctx)
JmlParser.exprList()
.ctx
- the parse treeT visitStoreRefExpr(JmlParser.StoreRefExprContext ctx)
JmlParser.storeRefExpr()
.ctx
- the parse treeT visitPredornot(JmlParser.PredornotContext ctx)
JmlParser.predornot()
.ctx
- the parse treeT visitPredicate(JmlParser.PredicateContext ctx)
JmlParser.predicate()
.ctx
- the parse treeT visitExpressionEOF(JmlParser.ExpressionEOFContext ctx)
JmlParser.expressionEOF()
.ctx
- the parse treeT visitExpression(JmlParser.ExpressionContext ctx)
JmlParser.expression()
.ctx
- the parse treeT visitConditionalexpr(JmlParser.ConditionalexprContext ctx)
JmlParser.conditionalexpr()
.ctx
- the parse treeT visitEquivalenceexpr(JmlParser.EquivalenceexprContext ctx)
JmlParser.equivalenceexpr()
.ctx
- the parse treeT visitImpliesexpr(JmlParser.ImpliesexprContext ctx)
JmlParser.impliesexpr()
.ctx
- the parse treeT visitImpliesforwardexpr(JmlParser.ImpliesforwardexprContext ctx)
JmlParser.impliesforwardexpr()
.ctx
- the parse treeT visitLogicalorexpr(JmlParser.LogicalorexprContext ctx)
JmlParser.logicalorexpr()
.ctx
- the parse treeT visitLogicalandexpr(JmlParser.LogicalandexprContext ctx)
JmlParser.logicalandexpr()
.ctx
- the parse treeT visitInclusiveorexpr(JmlParser.InclusiveorexprContext ctx)
JmlParser.inclusiveorexpr()
.ctx
- the parse treeT visitExclusiveorexpr(JmlParser.ExclusiveorexprContext ctx)
JmlParser.exclusiveorexpr()
.ctx
- the parse treeT visitAndexpr(JmlParser.AndexprContext ctx)
JmlParser.andexpr()
.ctx
- the parse treeT visitEqualityexpr(JmlParser.EqualityexprContext ctx)
JmlParser.equalityexpr()
.ctx
- the parse treeT visitRelationalexpr(JmlParser.RelationalexprContext ctx)
JmlParser.relationalexpr()
.ctx
- the parse treeT visitSt_expr(JmlParser.St_exprContext ctx)
JmlParser.st_expr()
.ctx
- the parse treeT visitInstance_of(JmlParser.Instance_ofContext ctx)
JmlParser.instance_of()
.ctx
- the parse treeT visitRelational_chain(JmlParser.Relational_chainContext ctx)
JmlParser.relational_chain()
.ctx
- the parse treeT visitRelational_lockset(JmlParser.Relational_locksetContext ctx)
JmlParser.relational_lockset()
.ctx
- the parse treeT visitShiftexpr(JmlParser.ShiftexprContext ctx)
JmlParser.shiftexpr()
.ctx
- the parse treeT visitAdditiveexpr(JmlParser.AdditiveexprContext ctx)
JmlParser.additiveexpr()
.ctx
- the parse treeT visitMultexpr(JmlParser.MultexprContext ctx)
JmlParser.multexpr()
.ctx
- the parse treeT visitUnaryexpr(JmlParser.UnaryexprContext ctx)
JmlParser.unaryexpr()
.ctx
- the parse treeT visitCastexpr(JmlParser.CastexprContext ctx)
JmlParser.castexpr()
.ctx
- the parse treeT visitUnaryexprnotplusminus(JmlParser.UnaryexprnotplusminusContext ctx)
JmlParser.unaryexprnotplusminus()
.ctx
- the parse treeT visitPostfixexpr(JmlParser.PostfixexprContext ctx)
JmlParser.postfixexpr()
.ctx
- the parse treeT visitPrimaryexpr(JmlParser.PrimaryexprContext ctx)
JmlParser.primaryexpr()
.ctx
- the parse treeT visitThis_(JmlParser.This_Context ctx)
JmlParser.this_()
.ctx
- the parse treeT visitIdent(JmlParser.IdentContext ctx)
JmlParser.ident()
.ctx
- the parse treeT visitInv(JmlParser.InvContext ctx)
JmlParser.inv()
.ctx
- the parse treeT visitTrue_(JmlParser.True_Context ctx)
JmlParser.true_()
.ctx
- the parse treeT visitFalse_(JmlParser.False_Context ctx)
JmlParser.false_()
.ctx
- the parse treeT visitNull_(JmlParser.Null_Context ctx)
JmlParser.null_()
.ctx
- the parse treeT visitTransactionUpdated(JmlParser.TransactionUpdatedContext ctx)
JmlParser.transactionUpdated()
.ctx
- the parse treeT visitPrimarySuffixAccess(JmlParser.PrimarySuffixAccessContext ctx)
primarySuffixAccess
labeled alternative in JmlParser.primarysuffix()
.ctx
- the parse treeT visitPrimarySuffixCall(JmlParser.PrimarySuffixCallContext ctx)
primarySuffixCall
labeled alternative in JmlParser.primarysuffix()
.ctx
- the parse treeT visitPrimarySuffixArray(JmlParser.PrimarySuffixArrayContext ctx)
primarySuffixArray
labeled alternative in JmlParser.primarysuffix()
.ctx
- the parse treeT visitNew_expr(JmlParser.New_exprContext ctx)
JmlParser.new_expr()
.ctx
- the parse treeT visitArray_dimensions(JmlParser.Array_dimensionsContext ctx)
JmlParser.array_dimensions()
.ctx
- the parse treeT visitArray_dimension(JmlParser.Array_dimensionContext ctx)
JmlParser.array_dimension()
.ctx
- the parse treeT visitArray_initializer(JmlParser.Array_initializerContext ctx)
JmlParser.array_initializer()
.ctx
- the parse treeT visitExpressionlist(JmlParser.ExpressionlistContext ctx)
JmlParser.expressionlist()
.ctx
- the parse treeT visitConstant(JmlParser.ConstantContext ctx)
JmlParser.constant()
.ctx
- the parse treeT visitJavaliteral(JmlParser.JavaliteralContext ctx)
JmlParser.javaliteral()
.ctx
- the parse treeT visitStringliteral(JmlParser.StringliteralContext ctx)
JmlParser.stringliteral()
.ctx
- the parse treeT visitCharliteral(JmlParser.CharliteralContext ctx)
JmlParser.charliteral()
.ctx
- the parse treeT visitIntegerliteral(JmlParser.IntegerliteralContext ctx)
JmlParser.integerliteral()
.ctx
- the parse treeT visitPrimaryResult(JmlParser.PrimaryResultContext ctx)
primaryResult
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryException(JmlParser.PrimaryExceptionContext ctx)
primaryException
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPignore1(JmlParser.Pignore1Context ctx)
pignore1
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPignore2(JmlParser.Pignore2Context ctx)
pignore2
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPignore3(JmlParser.Pignore3Context ctx)
pignore3
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPignore4(JmlParser.Pignore4Context ctx)
pignore4
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPignore5(JmlParser.Pignore5Context ctx)
pignore5
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPignore6(JmlParser.Pignore6Context ctx)
pignore6
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPignore7(JmlParser.Pignore7Context ctx)
pignore7
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryBackup(JmlParser.PrimaryBackupContext ctx)
primaryBackup
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryPermission(JmlParser.PrimaryPermissionContext ctx)
primaryPermission
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryNNE(JmlParser.PrimaryNNEContext ctx)
primaryNNE
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryInformalDesc(JmlParser.PrimaryInformalDescContext ctx)
primaryInformalDesc
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryMapEmpty(JmlParser.PrimaryMapEmptyContext ctx)
primaryMapEmpty
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryMapExpr(JmlParser.PrimaryMapExprContext ctx)
primaryMapExpr
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimarySeq2Map(JmlParser.PrimarySeq2MapContext ctx)
primarySeq2Map
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryNotMod(JmlParser.PrimaryNotModContext ctx)
primaryNotMod
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryNotAssigned(JmlParser.PrimaryNotAssignedContext ctx)
primaryNotAssigned
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryFresh(JmlParser.PrimaryFreshContext ctx)
primaryFresh
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryReach(JmlParser.PrimaryReachContext ctx)
primaryReach
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryReachLocs(JmlParser.PrimaryReachLocsContext ctx)
primaryReachLocs
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryDuration(JmlParser.PrimaryDurationContext ctx)
primaryDuration
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimarySpace(JmlParser.PrimarySpaceContext ctx)
primarySpace
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryWorksingSpace(JmlParser.PrimaryWorksingSpaceContext ctx)
primaryWorksingSpace
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryParen(JmlParser.PrimaryParenContext ctx)
primaryParen
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryTypeOf(JmlParser.PrimaryTypeOfContext ctx)
primaryTypeOf
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryElemtype(JmlParser.PrimaryElemtypeContext ctx)
primaryElemtype
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimayTypeSpec(JmlParser.PrimayTypeSpecContext ctx)
primayTypeSpec
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryLockset(JmlParser.PrimaryLocksetContext ctx)
primaryLockset
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryIsInitialised(JmlParser.PrimaryIsInitialisedContext ctx)
primaryIsInitialised
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryInvFor(JmlParser.PrimaryInvForContext ctx)
primaryInvFor
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryStaticInv(JmlParser.PrimaryStaticInvContext ctx)
primaryStaticInv
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryLblNeg(JmlParser.PrimaryLblNegContext ctx)
primaryLblNeg
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryLblPos(JmlParser.PrimaryLblPosContext ctx)
primaryLblPos
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryIndex(JmlParser.PrimaryIndexContext ctx)
primaryIndex
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryValues(JmlParser.PrimaryValuesContext ctx)
primaryValues
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryStringEq(JmlParser.PrimaryStringEqContext ctx)
primaryStringEq
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryEmptySet(JmlParser.PrimaryEmptySetContext ctx)
primaryEmptySet
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryStoreRef(JmlParser.PrimaryStoreRefContext ctx)
primaryStoreRef
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryCreateLocset(JmlParser.PrimaryCreateLocsetContext ctx)
primaryCreateLocset
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryCreateLocsetSingleton(JmlParser.PrimaryCreateLocsetSingletonContext ctx)
primaryCreateLocsetSingleton
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryUnion(JmlParser.PrimaryUnionContext ctx)
primaryUnion
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryIntersect(JmlParser.PrimaryIntersectContext ctx)
primaryIntersect
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimarySetMinux(JmlParser.PrimarySetMinuxContext ctx)
primarySetMinux
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryAllFields(JmlParser.PrimaryAllFieldsContext ctx)
primaryAllFields
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryAllObj(JmlParser.PrimaryAllObjContext ctx)
primaryAllObj
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryUnionInf(JmlParser.PrimaryUnionInfContext ctx)
primaryUnionInf
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryDisjoint(JmlParser.PrimaryDisjointContext ctx)
primaryDisjoint
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimarySubset(JmlParser.PrimarySubsetContext ctx)
primarySubset
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryNewElemsfrehs(JmlParser.PrimaryNewElemsfrehsContext ctx)
primaryNewElemsfrehs
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitPrimaryignore10(JmlParser.Primaryignore10Context ctx)
primaryignore10
labeled alternative in JmlParser.jmlprimary()
.ctx
- the parse treeT visitFieldarrayaccess(JmlParser.FieldarrayaccessContext ctx)
JmlParser.fieldarrayaccess()
.ctx
- the parse treeT visitFieldarrayaccess_suffix(JmlParser.Fieldarrayaccess_suffixContext ctx)
JmlParser.fieldarrayaccess_suffix()
.ctx
- the parse treeT visitSuper_(JmlParser.Super_Context ctx)
JmlParser.super_()
.ctx
- the parse treeT visitSequenceEmpty(JmlParser.SequenceEmptyContext ctx)
sequenceEmpty
labeled alternative in JmlParser.sequence()
.ctx
- the parse treeT visitSequenceIgnore1(JmlParser.SequenceIgnore1Context ctx)
sequenceIgnore1
labeled alternative in JmlParser.sequence()
.ctx
- the parse treeT visitSequenceCreate(JmlParser.SequenceCreateContext ctx)
sequenceCreate
labeled alternative in JmlParser.sequence()
.ctx
- the parse treeT visitSequenceSub(JmlParser.SequenceSubContext ctx)
sequenceSub
labeled alternative in JmlParser.sequence()
.ctx
- the parse treeT visitSequenceReverse(JmlParser.SequenceReverseContext ctx)
sequenceReverse
labeled alternative in JmlParser.sequence()
.ctx
- the parse treeT visitSequenceReplace(JmlParser.SequenceReplaceContext ctx)
sequenceReplace
labeled alternative in JmlParser.sequence()
.ctx
- the parse treeT visitSequenceFuncs(JmlParser.SequenceFuncsContext ctx)
sequenceFuncs
labeled alternative in JmlParser.sequence()
.ctx
- the parse treeT visitMapExpression(JmlParser.MapExpressionContext ctx)
JmlParser.mapExpression()
.ctx
- the parse treeT visitQuantifier(JmlParser.QuantifierContext ctx)
JmlParser.quantifier()
.ctx
- the parse treeT visitInfinite_union_expr(JmlParser.Infinite_union_exprContext ctx)
JmlParser.infinite_union_expr()
.ctx
- the parse treeT visitSpecquantifiedexpression(JmlParser.SpecquantifiedexpressionContext ctx)
JmlParser.specquantifiedexpression()
.ctx
- the parse treeT visitOldexpression(JmlParser.OldexpressionContext ctx)
JmlParser.oldexpression()
.ctx
- the parse treeT visitBeforeexpression(JmlParser.BeforeexpressionContext ctx)
JmlParser.beforeexpression()
.ctx
- the parse treeT visitBsumterm(JmlParser.BsumtermContext ctx)
JmlParser.bsumterm()
.ctx
- the parse treeT visitSeqdefterm(JmlParser.SeqdeftermContext ctx)
JmlParser.seqdefterm()
.ctx
- the parse treeT visitQuantifiedvardecls(JmlParser.QuantifiedvardeclsContext ctx)
JmlParser.quantifiedvardecls()
.ctx
- the parse treeT visitBoundvarmodifiers(JmlParser.BoundvarmodifiersContext ctx)
JmlParser.boundvarmodifiers()
.ctx
- the parse treeT visitTypespec(JmlParser.TypespecContext ctx)
JmlParser.typespec()
.ctx
- the parse treeT visitDims(JmlParser.DimsContext ctx)
JmlParser.dims()
.ctx
- the parse treeT visitType(JmlParser.TypeContext ctx)
JmlParser.type()
.ctx
- the parse treeT visitReferencetype(JmlParser.ReferencetypeContext ctx)
JmlParser.referencetype()
.ctx
- the parse treeT visitBuiltintype(JmlParser.BuiltintypeContext ctx)
JmlParser.builtintype()
.ctx
- the parse treeT visitName(JmlParser.NameContext ctx)
JmlParser.name()
.ctx
- the parse treeT visitQuantifiedvariabledeclarator(JmlParser.QuantifiedvariabledeclaratorContext ctx)
JmlParser.quantifiedvariabledeclarator()
.ctx
- the parse treeCopyright © 2003-2019 The KeY-Project.