public class PrettyPrinter extends DepthFirstAdapter
Constructor and Description |
---|
PrettyPrinter() |
caseAAbstractConstantsContextClause, caseAAnticipatedEventstatus, caseAArityExpression, caseAAxiomsContextClause, caseABinExpression, caseABlockSubstitution, caseABtreeExpression, caseACartesianProductExpression, caseAComputationOperation, caseAConcreteVariablesMachineClause, caseAConstantsContextClause, caseAConstExpression, caseAConstraintsMachineClause, caseAConstructorFreetypeConstructor, caseAConvergentEventstatus, caseAConversionDefinition, caseADefArgpattern, caseADeferredSetSet, caseADefineSubstitution, caseADefinitionFileParseUnit, caseADescriptionExpression, caseADescriptionPredicate, caseADescriptionSet, caseAElementFreetypeConstructor, caseAEvent, caseAEventBComprehensionSetExpression, caseAEventBContextParseUnit, caseAEventBFirstProjectionExpression, caseAEventBFirstProjectionV2Expression, caseAEventBIdentityExpression, caseAEventBModelParseUnit, caseAEventBSecondProjectionExpression, caseAEventBSecondProjectionV2Expression, caseAEventsModelClause, caseAExpressionDefinition, caseAExpressionParseUnit, caseAExpressionsMachineClause, caseAExtendedExprExpression, caseAExtendedPredPredicate, caseAExtendsContextClause, caseAExtendsMachineClause, caseAFalsityPredicate, caseAFatherExpression, caseAFileDefinitionDefinition, caseAFileExpression, caseAFileMachineReference, caseAFinitePredicate, caseAFlooredDivExpression, caseAForallSubMessageSubstitution, caseAForLoopSubstitution, caseAFreetype, caseAFreetypesMachineClause, caseAFuncOpSubstitution, caseAFunctionOperation, caseAGeneratedParseUnit, caseAIfPredicatePredicate, caseAImplementationMachineParseUnit, caseAImportPackage, caseAImportsMachineClause, caseAIncludesMachineClause, caseAInferredUnitExpression, caseAInfixExpression, caseAInvalidOperationsClauseMachineClause, caseAInvalidSubstitution, caseAInvariantModelClause, caseALabelPredicate, caseALeftExpression, caseALetExpressionExpression, caseALetPredicatePredicate, caseALocalOperationsMachineClause, caseAMachineClauseParseUnit, caseAMachineReference, caseAMinusExpression, caseAMirrorExpression, caseAMissingSemicolonOperation, caseAModelMachineVariant, caseAMultilineStringExpression, caseAMultiplicationExpression, caseANewUnitExpression, caseAOperationAttribute, caseAOperationCallExpression, caseAOperatorExpression, caseAOperatorPredicate, caseAOperatorSubstitution, caseAOppatternParseUnit, caseAOpSubstitution, caseAOrdinaryEventstatus, caseAPackageParseUnit, caseAParseUnitDefinitionParseUnit, caseAPartitionPredicate, caseAPostfixExpression, caseAPredicateAttributeOperationAttribute, caseAPredicateDefinition, caseAPredicateFunctionPredicate, caseAPredicateIdentifierPredicate, caseAPredicateParseUnit, caseAPredicatesMachineClause, caseAPrefixExpression, caseAPrimedIdentifierExpression, caseAPromotesMachineClause, caseAProverComprehensionSetExpression, caseARankExpression, caseAReferencesMachineClause, caseARefinedOperation, caseARefinementMachineParseUnit, caseARefinesModelClause, caseARightExpression, caseARingExpression, caseARuleFailSubSubstitution, caseARuleOperation, caseASeesMachineClause, caseASeesModelClause, caseASetsContextClause, caseASizetExpression, caseASonExpression, caseASonsExpression, caseASubstitutionParseUnit, caseASubstitutionPredicate, caseASubtreeExpression, caseASymbolicComprehensionSetExpression, caseASymbolicLambdaExpression, caseASymbolicQuantifiedUnionExpression, caseASystemMachineVariant, caseATheoremsContextClause, caseATheoremsModelClause, caseATopExpression, caseATreeExpression, caseATruthPredicate, caseATypeofExpression, caseAUndefArgpattern, caseAUnitAliasParseUnit, caseAUnitExpression, caseAUsesMachineClause, caseAValuesEntry, caseAValuesMachineClause, caseAVariablesModelClause, caseAVariantModelClause, caseAWitness, caseStart, defaultIn, defaultOut, inAAbstractConstantsContextClause, inAAbstractConstantsMachineClause, inAAbstractMachineParseUnit, inAAddExpression, inAAnticipatedEventstatus, inAAnySubstitution, inAArityExpression, inAAssertionsMachineClause, inAAssertionSubstitution, inAAssignSubstitution, inAAxiomsContextClause, inABecomesElementOfSubstitution, inABecomesSuchSubstitution, inABinExpression, inABlockSubstitution, inABooleanFalseExpression, inABooleanTrueExpression, inABoolSetExpression, inABtreeExpression, inACardExpression, inACartesianProductExpression, inACaseOrSubstitution, inACaseSubstitution, inAChoiceOrSubstitution, inAChoiceSubstitution, inAClosureExpression, inACompositionExpression, inAComprehensionSetExpression, inAComputationOperation, inAConcatExpression, inAConcreteVariablesMachineClause, inAConjunctPredicate, inAConstantsContextClause, inAConstantsMachineClause, inAConstExpression, inAConstraintsMachineClause, inAConstructorFreetypeConstructor, inAConvergentEventstatus, inAConversionDefinition, inAConvertBoolExpression, inACoupleExpression, inADefArgpattern, inADeferredSetSet, inADefineSubstitution, inADefinitionExpression, inADefinitionFileParseUnit, inADefinitionPredicate, inADefinitionsMachineClause, inADefinitionSubstitution, inADescriptionExpression, inADescriptionPredicate, inADescriptionSet, inADirectProductExpression, inADisjunctPredicate, inADivExpression, inADomainExpression, inADomainRestrictionExpression, inADomainSubtractionExpression, inAElementFreetypeConstructor, inAEmptySequenceExpression, inAEmptySetExpression, inAEnumeratedSetSet, inAEqualPredicate, inAEquivalencePredicate, inAEvent, inAEventBComprehensionSetExpression, inAEventBContextParseUnit, inAEventBFirstProjectionExpression, inAEventBFirstProjectionV2Expression, inAEventBIdentityExpression, inAEventBModelParseUnit, inAEventBSecondProjectionExpression, inAEventBSecondProjectionV2Expression, inAEventsModelClause, inAExistsPredicate, inAExpressionDefinition, inAExpressionDefinitionDefinition, inAExpressionParseUnit, inAExpressionsMachineClause, inAExtendedExprExpression, inAExtendedPredPredicate, inAExtendsContextClause, inAExtendsMachineClause, inAFalsityPredicate, inAFatherExpression, inAFileDefinitionDefinition, inAFileExpression, inAFileMachineReference, inAFin1SubsetExpression, inAFinitePredicate, inAFinSubsetExpression, inAFirstExpression, inAFirstProjectionExpression, inAFlooredDivExpression, inAForallPredicate, inAForallSubMessageSubstitution, inAForLoopSubstitution, inAFreetype, inAFreetypesMachineClause, inAFrontExpression, inAFuncOpSubstitution, inAFunctionExpression, inAFunctionOperation, inAGeneralConcatExpression, inAGeneralIntersectionExpression, inAGeneralProductExpression, inAGeneralSumExpression, inAGeneralUnionExpression, inAGeneratedParseUnit, inAGreaterEqualPredicate, inAGreaterPredicate, inAIdentifierExpression, inAIdentityExpression, inAIfElsifSubstitution, inAIfPredicatePredicate, inAIfSubstitution, inAIfThenElseExpression, inAImageExpression, inAImplementationMachineParseUnit, inAImplicationPredicate, inAImportPackage, inAImportsMachineClause, inAIncludesMachineClause, inAInferredUnitExpression, inAInfixExpression, inAInitialisationMachineClause, inAInsertFrontExpression, inAInsertTailExpression, inAIntegerExpression, inAIntegerSetExpression, inAIntersectionExpression, inAIntervalExpression, inAIntSetExpression, inAInvalidOperationsClauseMachineClause, inAInvalidSubstitution, inAInvariantMachineClause, inAInvariantModelClause, inAIseq1Expression, inAIseqExpression, inAIterationExpression, inALabelPredicate, inALambdaExpression, inALastExpression, inALeftExpression, inALessEqualPredicate, inALessPredicate, inALetExpressionExpression, inALetPredicatePredicate, inALetSubstitution, inALocalOperationsMachineClause, inAMachineClauseParseUnit, inAMachineHeader, inAMachineMachineVariant, inAMachineReference, inAMaxExpression, inAMaxIntExpression, inAMemberPredicate, inAMinExpression, inAMinIntExpression, inAMinusExpression, inAMinusOrSetSubtractExpression, inAMirrorExpression, inAMissingSemicolonOperation, inAModelMachineVariant, inAModuloExpression, inAMultilineStringExpression, inAMultiplicationExpression, inAMultOrCartExpression, inANat1SetExpression, inANatSetExpression, inANatural1SetExpression, inANaturalSetExpression, inANegationPredicate, inANewUnitExpression, inANotEqualPredicate, inANotMemberPredicate, inANotSubsetPredicate, inANotSubsetStrictPredicate, inAOperation, inAOperationAttribute, inAOperationCallExpression, inAOperationCallSubstitution, inAOperationsMachineClause, inAOperatorExpression, inAOperatorPredicate, inAOperatorSubstitution, inAOppatternParseUnit, inAOpSubstitution, inAOrdinaryEventstatus, inAOverwriteExpression, inAPackageParseUnit, inAParallelProductExpression, inAParallelSubstitution, inAParseUnitDefinitionParseUnit, inAPartialBijectionExpression, inAPartialFunctionExpression, inAPartialInjectionExpression, inAPartialSurjectionExpression, inAPartitionPredicate, inAPermExpression, inAPostfixExpression, inAPow1SubsetExpression, inAPowerOfExpression, inAPowSubsetExpression, inAPreconditionSubstitution, inAPredecessorExpression, inAPredicateAttributeOperationAttribute, inAPredicateDefinition, inAPredicateDefinitionDefinition, inAPredicateFunctionPredicate, inAPredicateIdentifierPredicate, inAPredicateParseUnit, inAPredicatesMachineClause, inAPrefixExpression, inAPrimedIdentifierExpression, inAPromotesMachineClause, inAPropertiesMachineClause, inAProverComprehensionSetExpression, inAQuantifiedIntersectionExpression, inAQuantifiedUnionExpression, inARangeExpression, inARangeRestrictionExpression, inARangeSubtractionExpression, inARankExpression, inARecEntry, inARecExpression, inARecordFieldExpression, inAReferencesMachineClause, inARefinedOperation, inARefinementMachineParseUnit, inARefinesModelClause, inAReflexiveClosureExpression, inARelationsExpression, inARestrictFrontExpression, inARestrictTailExpression, inAReverseExpression, inARevExpression, inARightExpression, inARingExpression, inARuleFailSubSubstitution, inARuleOperation, inASecondProjectionExpression, inASeesMachineClause, inASeesModelClause, inASelectSubstitution, inASelectWhenSubstitution, inASeq1Expression, inASeqExpression, inASequenceExtensionExpression, inASequenceSubstitution, inASetExtensionExpression, inASetsContextClause, inASetsMachineClause, inASetSubtractionExpression, inASizeExpression, inASizetExpression, inASkipSubstitution, inASonExpression, inASonsExpression, inAStringExpression, inAStringSetExpression, inAStructExpression, inASubsetPredicate, inASubsetStrictPredicate, inASubstitutionDefinitionDefinition, inASubstitutionParseUnit, inASubstitutionPredicate, inASubtreeExpression, inASuccessorExpression, inASurjectionRelationExpression, inASymbolicComprehensionSetExpression, inASymbolicLambdaExpression, inASymbolicQuantifiedUnionExpression, inASystemMachineVariant, inATailExpression, inATheoremsContextClause, inATheoremsModelClause, inATopExpression, inATotalBijectionExpression, inATotalFunctionExpression, inATotalInjectionExpression, inATotalRelationExpression, inATotalSurjectionExpression, inATotalSurjectionRelationExpression, inATransFunctionExpression, inATransRelationExpression, inATreeExpression, inATruthPredicate, inATypeofExpression, inAUnaryMinusExpression, inAUndefArgpattern, inAUnionExpression, inAUnitAliasParseUnit, inAUnitExpression, inAUsesMachineClause, inAValuesEntry, inAValuesMachineClause, inAVariablesMachineClause, inAVariablesModelClause, inAVariantModelClause, inAVarSubstitution, inAWhileSubstitution, inAWitness, inStart, outAAbstractConstantsContextClause, outAAbstractConstantsMachineClause, outAAbstractMachineParseUnit, outAAddExpression, outAAnticipatedEventstatus, outAAnySubstitution, outAArityExpression, outAAssertionsMachineClause, outAAssertionSubstitution, outAAssignSubstitution, outAAxiomsContextClause, outABecomesElementOfSubstitution, outABecomesSuchSubstitution, outABinExpression, outABlockSubstitution, outABooleanFalseExpression, outABooleanTrueExpression, outABoolSetExpression, outABtreeExpression, outACardExpression, outACartesianProductExpression, outACaseOrSubstitution, outACaseSubstitution, outAChoiceOrSubstitution, outAChoiceSubstitution, outAClosureExpression, outACompositionExpression, outAComprehensionSetExpression, outAComputationOperation, outAConcatExpression, outAConcreteVariablesMachineClause, outAConjunctPredicate, outAConstantsContextClause, outAConstantsMachineClause, outAConstExpression, outAConstraintsMachineClause, outAConstructorFreetypeConstructor, outAConvergentEventstatus, outAConversionDefinition, outAConvertBoolExpression, outACoupleExpression, outADefArgpattern, outADeferredSetSet, outADefineSubstitution, outADefinitionExpression, outADefinitionFileParseUnit, outADefinitionPredicate, outADefinitionsMachineClause, outADefinitionSubstitution, outADescriptionExpression, outADescriptionPredicate, outADescriptionSet, outADirectProductExpression, outADisjunctPredicate, outADivExpression, outADomainExpression, outADomainRestrictionExpression, outADomainSubtractionExpression, outAElementFreetypeConstructor, outAEmptySequenceExpression, outAEmptySetExpression, outAEnumeratedSetSet, outAEqualPredicate, outAEquivalencePredicate, outAEvent, outAEventBComprehensionSetExpression, outAEventBContextParseUnit, outAEventBFirstProjectionExpression, outAEventBFirstProjectionV2Expression, outAEventBIdentityExpression, outAEventBModelParseUnit, outAEventBSecondProjectionExpression, outAEventBSecondProjectionV2Expression, outAEventsModelClause, outAExistsPredicate, outAExpressionDefinition, outAExpressionDefinitionDefinition, outAExpressionParseUnit, outAExpressionsMachineClause, outAExtendedExprExpression, outAExtendedPredPredicate, outAExtendsContextClause, outAExtendsMachineClause, outAFalsityPredicate, outAFatherExpression, outAFileDefinitionDefinition, outAFileExpression, outAFileMachineReference, outAFin1SubsetExpression, outAFinitePredicate, outAFinSubsetExpression, outAFirstExpression, outAFirstProjectionExpression, outAFlooredDivExpression, outAForallPredicate, outAForallSubMessageSubstitution, outAForLoopSubstitution, outAFreetype, outAFreetypesMachineClause, outAFrontExpression, outAFuncOpSubstitution, outAFunctionExpression, outAFunctionOperation, outAGeneralConcatExpression, outAGeneralIntersectionExpression, outAGeneralProductExpression, outAGeneralSumExpression, outAGeneralUnionExpression, outAGeneratedParseUnit, outAGreaterEqualPredicate, outAGreaterPredicate, outAIdentifierExpression, outAIdentityExpression, outAIfElsifSubstitution, outAIfPredicatePredicate, outAIfSubstitution, outAIfThenElseExpression, outAImageExpression, outAImplementationMachineParseUnit, outAImplicationPredicate, outAImportPackage, outAImportsMachineClause, outAIncludesMachineClause, outAInferredUnitExpression, outAInfixExpression, outAInitialisationMachineClause, outAInsertFrontExpression, outAInsertTailExpression, outAIntegerExpression, outAIntegerSetExpression, outAIntersectionExpression, outAIntervalExpression, outAIntSetExpression, outAInvalidOperationsClauseMachineClause, outAInvalidSubstitution, outAInvariantMachineClause, outAInvariantModelClause, outAIseq1Expression, outAIseqExpression, outAIterationExpression, outALabelPredicate, outALambdaExpression, outALastExpression, outALeftExpression, outALessEqualPredicate, outALessPredicate, outALetExpressionExpression, outALetPredicatePredicate, outALetSubstitution, outALocalOperationsMachineClause, outAMachineClauseParseUnit, outAMachineHeader, outAMachineMachineVariant, outAMachineReference, outAMaxExpression, outAMaxIntExpression, outAMemberPredicate, outAMinExpression, outAMinIntExpression, outAMinusExpression, outAMinusOrSetSubtractExpression, outAMirrorExpression, outAMissingSemicolonOperation, outAModelMachineVariant, outAModuloExpression, outAMultilineStringExpression, outAMultiplicationExpression, outAMultOrCartExpression, outANat1SetExpression, outANatSetExpression, outANatural1SetExpression, outANaturalSetExpression, outANegationPredicate, outANewUnitExpression, outANotEqualPredicate, outANotMemberPredicate, outANotSubsetPredicate, outANotSubsetStrictPredicate, outAOperation, outAOperationAttribute, outAOperationCallExpression, outAOperationCallSubstitution, outAOperationsMachineClause, outAOperatorExpression, outAOperatorPredicate, outAOperatorSubstitution, outAOppatternParseUnit, outAOpSubstitution, outAOrdinaryEventstatus, outAOverwriteExpression, outAPackageParseUnit, outAParallelProductExpression, outAParallelSubstitution, outAParseUnitDefinitionParseUnit, outAPartialBijectionExpression, outAPartialFunctionExpression, outAPartialInjectionExpression, outAPartialSurjectionExpression, outAPartitionPredicate, outAPermExpression, outAPostfixExpression, outAPow1SubsetExpression, outAPowerOfExpression, outAPowSubsetExpression, outAPreconditionSubstitution, outAPredecessorExpression, outAPredicateAttributeOperationAttribute, outAPredicateDefinition, outAPredicateDefinitionDefinition, outAPredicateFunctionPredicate, outAPredicateIdentifierPredicate, outAPredicateParseUnit, outAPredicatesMachineClause, outAPrefixExpression, outAPrimedIdentifierExpression, outAPromotesMachineClause, outAPropertiesMachineClause, outAProverComprehensionSetExpression, outAQuantifiedIntersectionExpression, outAQuantifiedUnionExpression, outARangeExpression, outARangeRestrictionExpression, outARangeSubtractionExpression, outARankExpression, outARecEntry, outARecExpression, outARecordFieldExpression, outAReferencesMachineClause, outARefinedOperation, outARefinementMachineParseUnit, outARefinesModelClause, outAReflexiveClosureExpression, outARelationsExpression, outARestrictFrontExpression, outARestrictTailExpression, outAReverseExpression, outARevExpression, outARightExpression, outARingExpression, outARuleFailSubSubstitution, outARuleOperation, outASecondProjectionExpression, outASeesMachineClause, outASeesModelClause, outASelectSubstitution, outASelectWhenSubstitution, outASeq1Expression, outASeqExpression, outASequenceExtensionExpression, outASequenceSubstitution, outASetExtensionExpression, outASetsContextClause, outASetsMachineClause, outASetSubtractionExpression, outASizeExpression, outASizetExpression, outASkipSubstitution, outASonExpression, outASonsExpression, outAStringExpression, outAStringSetExpression, outAStructExpression, outASubsetPredicate, outASubsetStrictPredicate, outASubstitutionDefinitionDefinition, outASubstitutionParseUnit, outASubstitutionPredicate, outASubtreeExpression, outASuccessorExpression, outASurjectionRelationExpression, outASymbolicComprehensionSetExpression, outASymbolicLambdaExpression, outASymbolicQuantifiedUnionExpression, outASystemMachineVariant, outATailExpression, outATheoremsContextClause, outATheoremsModelClause, outATopExpression, outATotalBijectionExpression, outATotalFunctionExpression, outATotalInjectionExpression, outATotalRelationExpression, outATotalSurjectionExpression, outATotalSurjectionRelationExpression, outATransFunctionExpression, outATransRelationExpression, outATreeExpression, outATruthPredicate, outATypeofExpression, outAUnaryMinusExpression, outAUndefArgpattern, outAUnionExpression, outAUnitAliasParseUnit, outAUnitExpression, outAUsesMachineClause, outAValuesEntry, outAValuesMachineClause, outAVariablesMachineClause, outAVariablesModelClause, outAVariantModelClause, outAVarSubstitution, outAWhileSubstitution, outAWitness, outStart
caseEOF, caseTAbstractConstants, caseTAbstractVariables, caseTAny, caseTArity, caseTAssert, caseTAssertions, caseTAssign, caseTBe, caseTBegin, caseTBfalse, caseTBin, caseTBool, caseTBoolCast, caseTBtree, caseTCard, caseTCase, caseTChoice, caseTClosure, caseTClosure1, caseTComma, caseTComment, caseTCommentBody, caseTCommentEnd, caseTConc, caseTConcatSequence, caseTConcreteConstants, caseTConcreteVariables, caseTConjunction, caseTConst, caseTConstants, caseTConstraints, caseTDefinitions, caseTDefLiteralPredicate, caseTDefLiteralSubstitution, caseTDirectProduct, caseTDivision, caseTDo, caseTDollar, caseTDom, caseTDomainRestriction, caseTDomainSubtraction, caseTDot, caseTDoubleColon, caseTDoubleEqual, caseTDoubleVerticalBar, caseTEither, caseTElementOf, caseTElse, caseTElsif, caseTEmptySet, caseTEnd, caseTEqual, caseTEquivalence, caseTExists, caseTExpressions, caseTExtends, caseTFalse, caseTFather, caseTFin, caseTFin1, caseTFirst, caseTFnc, caseTForAny, caseTFront, caseTGeneralizedInter, caseTGeneralizedUnion, caseTGreater, caseTGreaterEqual, caseTHexLiteral, caseTId, caseTIf, caseTImplementation, caseTImplies, caseTImports, caseTIn, caseTIncludes, caseTInclusion, caseTInfix, caseTInitialisation, caseTInsertEndSequence, caseTInsertStartSequence, caseTInt, caseTInteger, caseTIntegerLiteral, caseTIntersection, caseTInterval, caseTInvariant, caseTIpragmaUnit, caseTIseq, caseTIseq1, caseTIterate, caseTKwAbstractConstants, caseTKwAbstractVariables, caseTKwAssertions, caseTKwAttributeIdentifier, caseTKwBody, caseTKwComputation, caseTKwConcreteConstants, caseTKwConcreteVariables, caseTKwConstants, caseTKwConstraints, caseTKwCounterexample, caseTKwDefine, caseTKwDefinition, caseTKwDefinitions, caseTKwDummyValue, caseTKwExpect, caseTKwExpression, caseTKwExpressionOperator, caseTKwExtends, caseTKwFor, caseTKwFormula, caseTKwFreetypes, caseTKwFunction, caseTKwImports, caseTKwIncludes, caseTKwInitialisation, caseTKwInvariant, caseTKwLocalOperations, caseTKwMachineClause, caseTKwOperations, caseTKwOppattern, caseTKwPredicate, caseTKwPredicateAttribute, caseTKwPredicateOperator, caseTKwPromotes, caseTKwProperties, caseTKwReferences, caseTKwRule, caseTKwRuleErrorType, caseTKwRuleFail, caseTKwRuleForAll, caseTKwRulesMachine, caseTKwSees, caseTKwSets, caseTKwSubstitution, caseTKwSubstitutionOperator, caseTKwType, caseTKwUses, caseTKwValue, caseTKwValues, caseTKwVariables, caseTLambda, caseTLast, caseTLeft, caseTLeftBrace, caseTLeftBracket, caseTLeftPar, caseTLess, caseTLessEqual, caseTLet, caseTLineComment, caseTLocalOperations, caseTLogicalOr, caseTMachine, caseTMaplet, caseTMax, caseTMaxInt, caseTMin, caseTMinInt, caseTMinus, caseTMirror, caseTMod, caseTModel, caseTMultilineStringContent, caseTMultilineStringEnd, caseTMultilineStringStart, caseTNat, caseTNat1, caseTNatural, caseTNatural1, caseTNewPragmaUnit, caseTNonInclusion, caseTNot, caseTNotBelonging, caseTNotEqual, caseTOf, caseTOperations, caseTOr, caseTOutputParameters, caseTOverwriteRelation, caseTPartialBijection, caseTPartialFunction, caseTPartialInjection, caseTPartialSurjection, caseTPerm, caseTPi, caseTPlus, caseTPostfix, caseTPow, caseTPow1, caseTPowerOf, caseTPragmaConversion, caseTPragmaDescription, caseTPragmaEnd, caseTPragmaFile, caseTPragmaFreeText, caseTPragmaGenerated, caseTPragmaIdOrString, caseTPragmaImportPackage, caseTPragmaLabel, caseTPragmaPackage, caseTPragmaStart, caseTPragmaSymbolic, caseTPragmaUnit, caseTPragmaUnitAlias, caseTPre, caseTPred, caseTPredicateIdentifier, caseTPredicates, caseTPrefix, caseTPrj1, caseTPrj2, caseTProduct, caseTPromotes, caseTProperties, caseTQuantifiedInter, caseTQuantifiedSet, caseTQuantifiedUnion, caseTRan, caseTRangeRestriction, caseTRangeSubtraction, caseTRank, caseTRec, caseTRefinement, caseTRefines, caseTRel, caseTRestrictHeadSequence, caseTRestrictTailSequence, caseTRev, caseTRight, caseTRightBrace, caseTRightBracket, caseTRightPar, caseTSees, caseTSelect, caseTSemicolon, caseTSeq, caseTSeq1, caseTSetRelation, caseTSets, caseTSetSubtraction, caseTShebang, caseTShebangChar, caseTShebangEnd, caseTSigma, caseTSingleQuotation, caseTSize, caseTSizet, caseTSkip, caseTSlash, caseTSon, caseTSons, caseTStar, caseTStrictInclusion, caseTStrictNonInclusion, caseTString, caseTStringLiteral, caseTStruct, caseTSubtree, caseTSucc, caseTSurjectionRelation, caseTSystem, caseTTail, caseTThen, caseTTilde, caseTTop, caseTTotalBijection, caseTTotalFunction, caseTTotalInjection, caseTTotalRelation, caseTTotalSurjection, caseTTotalSurjectionRelation, caseTTree, caseTTrue, caseTTruthPredicate, caseTUnderscore, caseTUnion, caseTUnitContent, caseTUnitId, caseTUses, caseTValue, caseTVar, caseTVariables, caseTVariant, caseTVerticalBar, caseTWhen, caseTWhere, caseTWhile, caseTWhiteSpace, defaultCase, getIn, getOut, setIn, setOut
public void setup()
public java.lang.String getPrettyPrint()
public void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit
in interface Analysis
caseAAbstractMachineParseUnit
in class DepthFirstAdapter
public void caseAMachineMachineVariant(AMachineMachineVariant node)
caseAMachineMachineVariant
in interface Analysis
caseAMachineMachineVariant
in class DepthFirstAdapter
public void caseAMachineHeader(AMachineHeader node)
caseAMachineHeader
in interface Analysis
caseAMachineHeader
in class DepthFirstAdapter
public void caseADefinitionsMachineClause(ADefinitionsMachineClause node)
caseADefinitionsMachineClause
in interface Analysis
caseADefinitionsMachineClause
in class DepthFirstAdapter
public void caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition
in interface Analysis
caseAExpressionDefinitionDefinition
in class DepthFirstAdapter
public void caseAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
caseAPredicateDefinitionDefinition
in interface Analysis
caseAPredicateDefinitionDefinition
in class DepthFirstAdapter
public void caseASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
caseASubstitutionDefinitionDefinition
in interface Analysis
caseASubstitutionDefinitionDefinition
in class DepthFirstAdapter
public void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause
in interface Analysis
caseASetsMachineClause
in class DepthFirstAdapter
public void caseAPropertiesMachineClause(APropertiesMachineClause node)
caseAPropertiesMachineClause
in interface Analysis
caseAPropertiesMachineClause
in class DepthFirstAdapter
public void caseAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
caseAAbstractConstantsMachineClause
in interface Analysis
caseAAbstractConstantsMachineClause
in class DepthFirstAdapter
public void caseAConstantsMachineClause(AConstantsMachineClause node)
caseAConstantsMachineClause
in interface Analysis
caseAConstantsMachineClause
in class DepthFirstAdapter
public void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause
in interface Analysis
caseAVariablesMachineClause
in class DepthFirstAdapter
public void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause
in interface Analysis
caseAAssertionsMachineClause
in class DepthFirstAdapter
public void caseAInvariantMachineClause(AInvariantMachineClause node)
caseAInvariantMachineClause
in interface Analysis
caseAInvariantMachineClause
in class DepthFirstAdapter
public void caseAInitialisationMachineClause(AInitialisationMachineClause node)
caseAInitialisationMachineClause
in interface Analysis
caseAInitialisationMachineClause
in class DepthFirstAdapter
public void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause
in interface Analysis
caseAOperationsMachineClause
in class DepthFirstAdapter
public void caseAOperation(AOperation node)
caseAOperation
in interface Analysis
caseAOperation
in class DepthFirstAdapter
public void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution
in interface Analysis
caseAAssignSubstitution
in class DepthFirstAdapter
public void caseASkipSubstitution(ASkipSubstitution node)
caseASkipSubstitution
in interface Analysis
caseASkipSubstitution
in class DepthFirstAdapter
public void caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution
in interface Analysis
caseABecomesElementOfSubstitution
in class DepthFirstAdapter
public void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution
in interface Analysis
caseABecomesSuchSubstitution
in class DepthFirstAdapter
public void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution
in interface Analysis
caseAOperationCallSubstitution
in class DepthFirstAdapter
public void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution
in interface Analysis
caseAParallelSubstitution
in class DepthFirstAdapter
public void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution
in interface Analysis
caseASequenceSubstitution
in class DepthFirstAdapter
public void caseAAnySubstitution(AAnySubstitution node)
caseAAnySubstitution
in interface Analysis
caseAAnySubstitution
in class DepthFirstAdapter
public void caseALetSubstitution(ALetSubstitution node)
caseALetSubstitution
in interface Analysis
caseALetSubstitution
in class DepthFirstAdapter
public void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution
in interface Analysis
caseAVarSubstitution
in class DepthFirstAdapter
public void caseAPreconditionSubstitution(APreconditionSubstitution node)
caseAPreconditionSubstitution
in interface Analysis
caseAPreconditionSubstitution
in class DepthFirstAdapter
public void caseAAssertionSubstitution(AAssertionSubstitution node)
caseAAssertionSubstitution
in interface Analysis
caseAAssertionSubstitution
in class DepthFirstAdapter
public void caseAChoiceSubstitution(AChoiceSubstitution node)
caseAChoiceSubstitution
in interface Analysis
caseAChoiceSubstitution
in class DepthFirstAdapter
public void caseAChoiceOrSubstitution(AChoiceOrSubstitution node)
caseAChoiceOrSubstitution
in interface Analysis
caseAChoiceOrSubstitution
in class DepthFirstAdapter
public void caseASelectWhenSubstitution(ASelectWhenSubstitution node)
caseASelectWhenSubstitution
in interface Analysis
caseASelectWhenSubstitution
in class DepthFirstAdapter
public void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution
in interface Analysis
caseASelectSubstitution
in class DepthFirstAdapter
public void caseAIfElsifSubstitution(AIfElsifSubstitution node)
caseAIfElsifSubstitution
in interface Analysis
caseAIfElsifSubstitution
in class DepthFirstAdapter
public void caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution
in interface Analysis
caseAIfSubstitution
in class DepthFirstAdapter
public void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution
in interface Analysis
caseACaseOrSubstitution
in class DepthFirstAdapter
public void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution
in interface Analysis
caseACaseSubstitution
in class DepthFirstAdapter
public void caseAWhileSubstitution(AWhileSubstitution node)
caseAWhileSubstitution
in interface Analysis
caseAWhileSubstitution
in class DepthFirstAdapter
public void caseAIfThenElseExpression(AIfThenElseExpression node)
caseAIfThenElseExpression
in interface Analysis
caseAIfThenElseExpression
in class DepthFirstAdapter
public void applyLeftAssociative(Node left, Node node, Node right, java.lang.String operatorStr)
public void applyRightAssociative(Node left, Node node, Node right, java.lang.String operatorStr)
public void caseAPowerOfExpression(APowerOfExpression node)
caseAPowerOfExpression
in interface Analysis
caseAPowerOfExpression
in class DepthFirstAdapter
public void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression
in interface Analysis
caseAIntegerExpression
in class DepthFirstAdapter
public void caseAAddExpression(AAddExpression node)
caseAAddExpression
in interface Analysis
caseAAddExpression
in class DepthFirstAdapter
public void caseAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
caseAMinusOrSetSubtractExpression
in interface Analysis
caseAMinusOrSetSubtractExpression
in class DepthFirstAdapter
public void caseASetSubtractionExpression(ASetSubtractionExpression node)
caseASetSubtractionExpression
in interface Analysis
caseASetSubtractionExpression
in class DepthFirstAdapter
public void caseAMultOrCartExpression(AMultOrCartExpression node)
caseAMultOrCartExpression
in interface Analysis
caseAMultOrCartExpression
in class DepthFirstAdapter
public void caseADivExpression(ADivExpression node)
caseADivExpression
in interface Analysis
caseADivExpression
in class DepthFirstAdapter
public void caseAModuloExpression(AModuloExpression node)
caseAModuloExpression
in interface Analysis
caseAModuloExpression
in class DepthFirstAdapter
public void caseARelationsExpression(ARelationsExpression node)
caseARelationsExpression
in interface Analysis
caseARelationsExpression
in class DepthFirstAdapter
public void caseAPartialFunctionExpression(APartialFunctionExpression node)
caseAPartialFunctionExpression
in interface Analysis
caseAPartialFunctionExpression
in class DepthFirstAdapter
public void caseATotalFunctionExpression(ATotalFunctionExpression node)
caseATotalFunctionExpression
in interface Analysis
caseATotalFunctionExpression
in class DepthFirstAdapter
public void caseAPartialInjectionExpression(APartialInjectionExpression node)
caseAPartialInjectionExpression
in interface Analysis
caseAPartialInjectionExpression
in class DepthFirstAdapter
public void caseATotalInjectionExpression(ATotalInjectionExpression node)
caseATotalInjectionExpression
in interface Analysis
caseATotalInjectionExpression
in class DepthFirstAdapter
public void caseAPartialSurjectionExpression(APartialSurjectionExpression node)
caseAPartialSurjectionExpression
in interface Analysis
caseAPartialSurjectionExpression
in class DepthFirstAdapter
public void caseATotalSurjectionExpression(ATotalSurjectionExpression node)
caseATotalSurjectionExpression
in interface Analysis
caseATotalSurjectionExpression
in class DepthFirstAdapter
public void caseAPartialBijectionExpression(APartialBijectionExpression node)
caseAPartialBijectionExpression
in interface Analysis
caseAPartialBijectionExpression
in class DepthFirstAdapter
public void caseATotalBijectionExpression(ATotalBijectionExpression node)
caseATotalBijectionExpression
in interface Analysis
caseATotalBijectionExpression
in class DepthFirstAdapter
public void caseATotalRelationExpression(ATotalRelationExpression node)
caseATotalRelationExpression
in interface Analysis
caseATotalRelationExpression
in class DepthFirstAdapter
public void caseASurjectionRelationExpression(ASurjectionRelationExpression node)
caseASurjectionRelationExpression
in interface Analysis
caseASurjectionRelationExpression
in class DepthFirstAdapter
public void caseATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
caseATotalSurjectionRelationExpression
in interface Analysis
caseATotalSurjectionRelationExpression
in class DepthFirstAdapter
public void caseAOverwriteExpression(AOverwriteExpression node)
caseAOverwriteExpression
in interface Analysis
caseAOverwriteExpression
in class DepthFirstAdapter
public void caseADirectProductExpression(ADirectProductExpression node)
caseADirectProductExpression
in interface Analysis
caseADirectProductExpression
in class DepthFirstAdapter
public void caseAConcatExpression(AConcatExpression node)
caseAConcatExpression
in interface Analysis
caseAConcatExpression
in class DepthFirstAdapter
public void caseADomainRestrictionExpression(ADomainRestrictionExpression node)
caseADomainRestrictionExpression
in interface Analysis
caseADomainRestrictionExpression
in class DepthFirstAdapter
public void caseADomainSubtractionExpression(ADomainSubtractionExpression node)
caseADomainSubtractionExpression
in interface Analysis
caseADomainSubtractionExpression
in class DepthFirstAdapter
public void caseARangeRestrictionExpression(ARangeRestrictionExpression node)
caseARangeRestrictionExpression
in interface Analysis
caseARangeRestrictionExpression
in class DepthFirstAdapter
public void caseARangeSubtractionExpression(ARangeSubtractionExpression node)
caseARangeSubtractionExpression
in interface Analysis
caseARangeSubtractionExpression
in class DepthFirstAdapter
public void caseAInsertFrontExpression(AInsertFrontExpression node)
caseAInsertFrontExpression
in interface Analysis
caseAInsertFrontExpression
in class DepthFirstAdapter
public void caseAInsertTailExpression(AInsertTailExpression node)
caseAInsertTailExpression
in interface Analysis
caseAInsertTailExpression
in class DepthFirstAdapter
public void caseAUnionExpression(AUnionExpression node)
caseAUnionExpression
in interface Analysis
caseAUnionExpression
in class DepthFirstAdapter
public void caseAIntersectionExpression(AIntersectionExpression node)
caseAIntersectionExpression
in interface Analysis
caseAIntersectionExpression
in class DepthFirstAdapter
public void caseARestrictFrontExpression(ARestrictFrontExpression node)
caseARestrictFrontExpression
in interface Analysis
caseARestrictFrontExpression
in class DepthFirstAdapter
public void caseARestrictTailExpression(ARestrictTailExpression node)
caseARestrictTailExpression
in interface Analysis
caseARestrictTailExpression
in class DepthFirstAdapter
public void caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression
in interface Analysis
caseACoupleExpression
in class DepthFirstAdapter
public void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression
in interface Analysis
caseAIdentifierExpression
in class DepthFirstAdapter
public void caseAIntervalExpression(AIntervalExpression node)
caseAIntervalExpression
in interface Analysis
caseAIntervalExpression
in class DepthFirstAdapter
public void caseAUnaryMinusExpression(AUnaryMinusExpression node)
caseAUnaryMinusExpression
in interface Analysis
caseAUnaryMinusExpression
in class DepthFirstAdapter
public void caseAReverseExpression(AReverseExpression node)
caseAReverseExpression
in interface Analysis
caseAReverseExpression
in class DepthFirstAdapter
public void caseAImageExpression(AImageExpression node)
caseAImageExpression
in interface Analysis
caseAImageExpression
in class DepthFirstAdapter
public void caseAParallelProductExpression(AParallelProductExpression node)
caseAParallelProductExpression
in interface Analysis
caseAParallelProductExpression
in class DepthFirstAdapter
public void caseACompositionExpression(ACompositionExpression node)
caseACompositionExpression
in interface Analysis
caseACompositionExpression
in class DepthFirstAdapter
public void caseAConvertBoolExpression(AConvertBoolExpression node)
caseAConvertBoolExpression
in interface Analysis
caseAConvertBoolExpression
in class DepthFirstAdapter
public void caseALessPredicate(ALessPredicate node)
caseALessPredicate
in interface Analysis
caseALessPredicate
in class DepthFirstAdapter
public void caseAMaxExpression(AMaxExpression node)
caseAMaxExpression
in interface Analysis
caseAMaxExpression
in class DepthFirstAdapter
public void caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression
in interface Analysis
caseASetExtensionExpression
in class DepthFirstAdapter
public void caseAMinExpression(AMinExpression node)
caseAMinExpression
in interface Analysis
caseAMinExpression
in class DepthFirstAdapter
public void caseACardExpression(ACardExpression node)
caseACardExpression
in interface Analysis
caseACardExpression
in class DepthFirstAdapter
public void caseAGeneralSumExpression(AGeneralSumExpression node)
caseAGeneralSumExpression
in interface Analysis
caseAGeneralSumExpression
in class DepthFirstAdapter
public void caseAGeneralProductExpression(AGeneralProductExpression node)
caseAGeneralProductExpression
in interface Analysis
caseAGeneralProductExpression
in class DepthFirstAdapter
public void caseAConjunctPredicate(AConjunctPredicate node)
caseAConjunctPredicate
in interface Analysis
caseAConjunctPredicate
in class DepthFirstAdapter
public void caseAPowSubsetExpression(APowSubsetExpression node)
caseAPowSubsetExpression
in interface Analysis
caseAPowSubsetExpression
in class DepthFirstAdapter
public void caseAPow1SubsetExpression(APow1SubsetExpression node)
caseAPow1SubsetExpression
in interface Analysis
caseAPow1SubsetExpression
in class DepthFirstAdapter
public void caseAFinSubsetExpression(AFinSubsetExpression node)
caseAFinSubsetExpression
in interface Analysis
caseAFinSubsetExpression
in class DepthFirstAdapter
public void caseAFin1SubsetExpression(AFin1SubsetExpression node)
caseAFin1SubsetExpression
in interface Analysis
caseAFin1SubsetExpression
in class DepthFirstAdapter
public void caseAGeneralUnionExpression(AGeneralUnionExpression node)
caseAGeneralUnionExpression
in interface Analysis
caseAGeneralUnionExpression
in class DepthFirstAdapter
public void caseAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
caseAGeneralIntersectionExpression
in interface Analysis
caseAGeneralIntersectionExpression
in class DepthFirstAdapter
public void caseAIdentityExpression(AIdentityExpression node)
caseAIdentityExpression
in interface Analysis
caseAIdentityExpression
in class DepthFirstAdapter
public void caseAReflexiveClosureExpression(AReflexiveClosureExpression node)
caseAReflexiveClosureExpression
in interface Analysis
caseAReflexiveClosureExpression
in class DepthFirstAdapter
public void caseAClosureExpression(AClosureExpression node)
caseAClosureExpression
in interface Analysis
caseAClosureExpression
in class DepthFirstAdapter
public void caseADomainExpression(ADomainExpression node)
caseADomainExpression
in interface Analysis
caseADomainExpression
in class DepthFirstAdapter
public void caseARangeExpression(ARangeExpression node)
caseARangeExpression
in interface Analysis
caseARangeExpression
in class DepthFirstAdapter
public void caseALambdaExpression(ALambdaExpression node)
caseALambdaExpression
in interface Analysis
caseALambdaExpression
in class DepthFirstAdapter
public void caseATransFunctionExpression(ATransFunctionExpression node)
caseATransFunctionExpression
in interface Analysis
caseATransFunctionExpression
in class DepthFirstAdapter
public void caseATransRelationExpression(ATransRelationExpression node)
caseATransRelationExpression
in interface Analysis
caseATransRelationExpression
in class DepthFirstAdapter
public void caseASeqExpression(ASeqExpression node)
caseASeqExpression
in interface Analysis
caseASeqExpression
in class DepthFirstAdapter
public void caseASeq1Expression(ASeq1Expression node)
caseASeq1Expression
in interface Analysis
caseASeq1Expression
in class DepthFirstAdapter
public void caseAIseqExpression(AIseqExpression node)
caseAIseqExpression
in interface Analysis
caseAIseqExpression
in class DepthFirstAdapter
public void caseAIseq1Expression(AIseq1Expression node)
caseAIseq1Expression
in interface Analysis
caseAIseq1Expression
in class DepthFirstAdapter
public void caseAPermExpression(APermExpression node)
caseAPermExpression
in interface Analysis
caseAPermExpression
in class DepthFirstAdapter
public void caseAEmptySequenceExpression(AEmptySequenceExpression arg0)
caseAEmptySequenceExpression
in interface Analysis
caseAEmptySequenceExpression
in class DepthFirstAdapter
public void caseASizeExpression(ASizeExpression node)
caseASizeExpression
in interface Analysis
caseASizeExpression
in class DepthFirstAdapter
public void caseAFirstExpression(AFirstExpression node)
caseAFirstExpression
in interface Analysis
caseAFirstExpression
in class DepthFirstAdapter
public void caseALastExpression(ALastExpression node)
caseALastExpression
in interface Analysis
caseALastExpression
in class DepthFirstAdapter
public void caseAFrontExpression(AFrontExpression node)
caseAFrontExpression
in interface Analysis
caseAFrontExpression
in class DepthFirstAdapter
public void caseATailExpression(ATailExpression node)
caseATailExpression
in interface Analysis
caseATailExpression
in class DepthFirstAdapter
public void caseARevExpression(ARevExpression node)
caseARevExpression
in interface Analysis
caseARevExpression
in class DepthFirstAdapter
public void caseAFirstProjectionExpression(AFirstProjectionExpression node)
caseAFirstProjectionExpression
in interface Analysis
caseAFirstProjectionExpression
in class DepthFirstAdapter
public void caseASecondProjectionExpression(ASecondProjectionExpression node)
caseASecondProjectionExpression
in interface Analysis
caseASecondProjectionExpression
in class DepthFirstAdapter
public void caseAIterationExpression(AIterationExpression node)
caseAIterationExpression
in interface Analysis
caseAIterationExpression
in class DepthFirstAdapter
public void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression
in interface Analysis
caseAComprehensionSetExpression
in class DepthFirstAdapter
public void caseTIdentifierLiteral(TIdentifierLiteral node)
caseTIdentifierLiteral
in interface Analysis
caseTIdentifierLiteral
in class AnalysisAdapter
public void caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression
in interface Analysis
caseAQuantifiedUnionExpression
in class DepthFirstAdapter
public void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression
in interface Analysis
caseAQuantifiedIntersectionExpression
in class DepthFirstAdapter
public void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression
in interface Analysis
caseASequenceExtensionExpression
in class DepthFirstAdapter
public void caseAGeneralConcatExpression(AGeneralConcatExpression node)
caseAGeneralConcatExpression
in interface Analysis
caseAGeneralConcatExpression
in class DepthFirstAdapter
public void caseABooleanTrueExpression(ABooleanTrueExpression arg0)
caseABooleanTrueExpression
in interface Analysis
caseABooleanTrueExpression
in class DepthFirstAdapter
public void caseABooleanFalseExpression(ABooleanFalseExpression arg0)
caseABooleanFalseExpression
in interface Analysis
caseABooleanFalseExpression
in class DepthFirstAdapter
public void caseAMaxIntExpression(AMaxIntExpression arg0)
caseAMaxIntExpression
in interface Analysis
caseAMaxIntExpression
in class DepthFirstAdapter
public void caseAMinIntExpression(AMinIntExpression arg0)
caseAMinIntExpression
in interface Analysis
caseAMinIntExpression
in class DepthFirstAdapter
public void caseAEmptySetExpression(AEmptySetExpression node)
caseAEmptySetExpression
in interface Analysis
caseAEmptySetExpression
in class DepthFirstAdapter
public void caseAIntegerSetExpression(AIntegerSetExpression arg0)
caseAIntegerSetExpression
in interface Analysis
caseAIntegerSetExpression
in class DepthFirstAdapter
public void caseANaturalSetExpression(ANaturalSetExpression arg0)
caseANaturalSetExpression
in interface Analysis
caseANaturalSetExpression
in class DepthFirstAdapter
public void caseANatural1SetExpression(ANatural1SetExpression arg0)
caseANatural1SetExpression
in interface Analysis
caseANatural1SetExpression
in class DepthFirstAdapter
public void caseANatSetExpression(ANatSetExpression arg0)
caseANatSetExpression
in interface Analysis
caseANatSetExpression
in class DepthFirstAdapter
public void caseANat1SetExpression(ANat1SetExpression arg0)
caseANat1SetExpression
in interface Analysis
caseANat1SetExpression
in class DepthFirstAdapter
public void caseAIntSetExpression(AIntSetExpression arg0)
caseAIntSetExpression
in interface Analysis
caseAIntSetExpression
in class DepthFirstAdapter
public void caseABoolSetExpression(ABoolSetExpression arg0)
caseABoolSetExpression
in interface Analysis
caseABoolSetExpression
in class DepthFirstAdapter
public void caseAStringSetExpression(AStringSetExpression arg0)
caseAStringSetExpression
in interface Analysis
caseAStringSetExpression
in class DepthFirstAdapter
public void caseAImplicationPredicate(AImplicationPredicate node)
caseAImplicationPredicate
in interface Analysis
caseAImplicationPredicate
in class DepthFirstAdapter
public void caseADisjunctPredicate(ADisjunctPredicate node)
caseADisjunctPredicate
in interface Analysis
caseADisjunctPredicate
in class DepthFirstAdapter
public void caseAEquivalencePredicate(AEquivalencePredicate node)
caseAEquivalencePredicate
in interface Analysis
caseAEquivalencePredicate
in class DepthFirstAdapter
public void caseAEqualPredicate(AEqualPredicate node)
caseAEqualPredicate
in interface Analysis
caseAEqualPredicate
in class DepthFirstAdapter
public void caseAMemberPredicate(AMemberPredicate node)
caseAMemberPredicate
in interface Analysis
caseAMemberPredicate
in class DepthFirstAdapter
public void caseASubsetPredicate(ASubsetPredicate node)
caseASubsetPredicate
in interface Analysis
caseASubsetPredicate
in class DepthFirstAdapter
public void caseASubsetStrictPredicate(ASubsetStrictPredicate node)
caseASubsetStrictPredicate
in interface Analysis
caseASubsetStrictPredicate
in class DepthFirstAdapter
public void caseANotSubsetPredicate(ANotSubsetPredicate node)
caseANotSubsetPredicate
in interface Analysis
caseANotSubsetPredicate
in class DepthFirstAdapter
public void caseANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
caseANotSubsetStrictPredicate
in interface Analysis
caseANotSubsetStrictPredicate
in class DepthFirstAdapter
public void caseANotEqualPredicate(ANotEqualPredicate node)
caseANotEqualPredicate
in interface Analysis
caseANotEqualPredicate
in class DepthFirstAdapter
public void caseANotMemberPredicate(ANotMemberPredicate node)
caseANotMemberPredicate
in interface Analysis
caseANotMemberPredicate
in class DepthFirstAdapter
public void caseALessEqualPredicate(ALessEqualPredicate node)
caseALessEqualPredicate
in interface Analysis
caseALessEqualPredicate
in class DepthFirstAdapter
public void caseAGreaterEqualPredicate(AGreaterEqualPredicate node)
caseAGreaterEqualPredicate
in interface Analysis
caseAGreaterEqualPredicate
in class DepthFirstAdapter
public void caseAGreaterPredicate(AGreaterPredicate node)
caseAGreaterPredicate
in interface Analysis
caseAGreaterPredicate
in class DepthFirstAdapter
public void caseAForallPredicate(AForallPredicate node)
caseAForallPredicate
in interface Analysis
caseAForallPredicate
in class DepthFirstAdapter
public void caseAExistsPredicate(AExistsPredicate node)
caseAExistsPredicate
in interface Analysis
caseAExistsPredicate
in class DepthFirstAdapter
public void caseANegationPredicate(ANegationPredicate node)
caseANegationPredicate
in interface Analysis
caseANegationPredicate
in class DepthFirstAdapter
public void caseAStringExpression(AStringExpression node)
caseAStringExpression
in interface Analysis
caseAStringExpression
in class DepthFirstAdapter
public void caseASuccessorExpression(ASuccessorExpression node)
caseASuccessorExpression
in interface Analysis
caseASuccessorExpression
in class DepthFirstAdapter
public void caseAPredecessorExpression(APredecessorExpression node)
caseAPredecessorExpression
in interface Analysis
caseAPredecessorExpression
in class DepthFirstAdapter
public void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression
in interface Analysis
caseADefinitionExpression
in class DepthFirstAdapter
public void caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate
in interface Analysis
caseADefinitionPredicate
in class DepthFirstAdapter
public void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution
in interface Analysis
caseADefinitionSubstitution
in class DepthFirstAdapter
public void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression
in interface Analysis
caseAFunctionExpression
in class DepthFirstAdapter
public void caseAStructExpression(AStructExpression node)
caseAStructExpression
in interface Analysis
caseAStructExpression
in class DepthFirstAdapter
public void caseARecExpression(ARecExpression node)
caseARecExpression
in interface Analysis
caseARecExpression
in class DepthFirstAdapter
public void caseARecEntry(ARecEntry node)
caseARecEntry
in interface Analysis
caseARecEntry
in class DepthFirstAdapter
public void caseARecordFieldExpression(ARecordFieldExpression node)
caseARecordFieldExpression
in interface Analysis
caseARecordFieldExpression
in class DepthFirstAdapter
public void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet
in interface Analysis
caseAEnumeratedSetSet
in class DepthFirstAdapter