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, caseAExpressionParseUnit, 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, caseAPredicateFunctionPredicate, caseAPredicateIdentifierPredicate, caseAPredicateParseUnit, caseAPrefixExpression, caseAPrimedIdentifierExpression, caseAPromotesMachineClause, caseAProverComprehensionSetExpression, caseARankExpression, caseAReferencesMachineClause, caseARefinementMachineParseUnit, caseARefinesModelClause, caseARightExpression, caseARingExpression, caseARuleFailSubSubstitution, caseARuleOperation, caseASeesMachineClause, caseASeesModelClause, caseASetsContextClause, caseASizetExpression, caseASonExpression, caseASonsExpression, caseASubstitutionParseUnit, caseASubstitutionPredicate, caseASubtreeExpression, caseASymbolicComprehensionSetExpression, caseASymbolicLambdaExpression, 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, inAExpressionDefinitionDefinition, inAExpressionParseUnit, 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, inAPredicateDefinitionDefinition, inAPredicateFunctionPredicate, inAPredicateIdentifierPredicate, inAPredicateParseUnit, inAPrefixExpression, inAPrimedIdentifierExpression, inAPromotesMachineClause, inAPropertiesMachineClause, inAProverComprehensionSetExpression, inAQuantifiedIntersectionExpression, inAQuantifiedUnionExpression, inARangeExpression, inARangeRestrictionExpression, inARangeSubtractionExpression, inARankExpression, inARecEntry, inARecExpression, inARecordFieldExpression, inAReferencesMachineClause, 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, 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, outAExpressionDefinitionDefinition, outAExpressionParseUnit, 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, outAPredicateDefinitionDefinition, outAPredicateFunctionPredicate, outAPredicateIdentifierPredicate, outAPredicateParseUnit, outAPrefixExpression, outAPrimedIdentifierExpression, outAPromotesMachineClause, outAPropertiesMachineClause, outAProverComprehensionSetExpression, outAQuantifiedIntersectionExpression, outAQuantifiedUnionExpression, outARangeExpression, outARangeRestrictionExpression, outARangeSubtractionExpression, outARankExpression, outARecEntry, outARecExpression, outARecordFieldExpression, outAReferencesMachineClause, 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, 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, outStartcaseEOF, 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, 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, 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, setOutpublic void setup()
public java.lang.String getPrettyPrint()
public void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit in interface AnalysiscaseAAbstractMachineParseUnit in class DepthFirstAdapterpublic void caseAMachineMachineVariant(AMachineMachineVariant node)
caseAMachineMachineVariant in interface AnalysiscaseAMachineMachineVariant in class DepthFirstAdapterpublic void caseAMachineHeader(AMachineHeader node)
caseAMachineHeader in interface AnalysiscaseAMachineHeader in class DepthFirstAdapterpublic void caseADefinitionsMachineClause(ADefinitionsMachineClause node)
caseADefinitionsMachineClause in interface AnalysiscaseADefinitionsMachineClause in class DepthFirstAdapterpublic void caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition in interface AnalysiscaseAExpressionDefinitionDefinition in class DepthFirstAdapterpublic void caseAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
caseAPredicateDefinitionDefinition in interface AnalysiscaseAPredicateDefinitionDefinition in class DepthFirstAdapterpublic void caseASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
caseASubstitutionDefinitionDefinition in interface AnalysiscaseASubstitutionDefinitionDefinition in class DepthFirstAdapterpublic void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause in interface AnalysiscaseASetsMachineClause in class DepthFirstAdapterpublic void caseAPropertiesMachineClause(APropertiesMachineClause node)
caseAPropertiesMachineClause in interface AnalysiscaseAPropertiesMachineClause in class DepthFirstAdapterpublic void caseAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
caseAAbstractConstantsMachineClause in interface AnalysiscaseAAbstractConstantsMachineClause in class DepthFirstAdapterpublic void caseAConstantsMachineClause(AConstantsMachineClause node)
caseAConstantsMachineClause in interface AnalysiscaseAConstantsMachineClause in class DepthFirstAdapterpublic void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause in interface AnalysiscaseAVariablesMachineClause in class DepthFirstAdapterpublic void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause in interface AnalysiscaseAAssertionsMachineClause in class DepthFirstAdapterpublic void caseAInvariantMachineClause(AInvariantMachineClause node)
caseAInvariantMachineClause in interface AnalysiscaseAInvariantMachineClause in class DepthFirstAdapterpublic void caseAInitialisationMachineClause(AInitialisationMachineClause node)
caseAInitialisationMachineClause in interface AnalysiscaseAInitialisationMachineClause in class DepthFirstAdapterpublic void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause in interface AnalysiscaseAOperationsMachineClause in class DepthFirstAdapterpublic void caseAOperation(AOperation node)
caseAOperation in interface AnalysiscaseAOperation in class DepthFirstAdapterpublic void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution in interface AnalysiscaseAAssignSubstitution in class DepthFirstAdapterpublic void caseASkipSubstitution(ASkipSubstitution node)
caseASkipSubstitution in interface AnalysiscaseASkipSubstitution in class DepthFirstAdapterpublic void caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution in interface AnalysiscaseABecomesElementOfSubstitution in class DepthFirstAdapterpublic void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution in interface AnalysiscaseABecomesSuchSubstitution in class DepthFirstAdapterpublic void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution in interface AnalysiscaseAOperationCallSubstitution in class DepthFirstAdapterpublic void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution in interface AnalysiscaseAParallelSubstitution in class DepthFirstAdapterpublic void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution in interface AnalysiscaseASequenceSubstitution in class DepthFirstAdapterpublic void caseAAnySubstitution(AAnySubstitution node)
caseAAnySubstitution in interface AnalysiscaseAAnySubstitution in class DepthFirstAdapterpublic void caseALetSubstitution(ALetSubstitution node)
caseALetSubstitution in interface AnalysiscaseALetSubstitution in class DepthFirstAdapterpublic void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution in interface AnalysiscaseAVarSubstitution in class DepthFirstAdapterpublic void caseAPreconditionSubstitution(APreconditionSubstitution node)
caseAPreconditionSubstitution in interface AnalysiscaseAPreconditionSubstitution in class DepthFirstAdapterpublic void caseAAssertionSubstitution(AAssertionSubstitution node)
caseAAssertionSubstitution in interface AnalysiscaseAAssertionSubstitution in class DepthFirstAdapterpublic void caseAChoiceSubstitution(AChoiceSubstitution node)
caseAChoiceSubstitution in interface AnalysiscaseAChoiceSubstitution in class DepthFirstAdapterpublic void caseAChoiceOrSubstitution(AChoiceOrSubstitution node)
caseAChoiceOrSubstitution in interface AnalysiscaseAChoiceOrSubstitution in class DepthFirstAdapterpublic void caseASelectWhenSubstitution(ASelectWhenSubstitution node)
caseASelectWhenSubstitution in interface AnalysiscaseASelectWhenSubstitution in class DepthFirstAdapterpublic void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution in interface AnalysiscaseASelectSubstitution in class DepthFirstAdapterpublic void caseAIfElsifSubstitution(AIfElsifSubstitution node)
caseAIfElsifSubstitution in interface AnalysiscaseAIfElsifSubstitution in class DepthFirstAdapterpublic void caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution in interface AnalysiscaseAIfSubstitution in class DepthFirstAdapterpublic void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution in interface AnalysiscaseACaseOrSubstitution in class DepthFirstAdapterpublic void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution in interface AnalysiscaseACaseSubstitution in class DepthFirstAdapterpublic void caseAWhileSubstitution(AWhileSubstitution node)
caseAWhileSubstitution in interface AnalysiscaseAWhileSubstitution in class DepthFirstAdapterpublic void caseAIfThenElseExpression(AIfThenElseExpression node)
caseAIfThenElseExpression in interface AnalysiscaseAIfThenElseExpression in class DepthFirstAdapterpublic 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 AnalysiscaseAPowerOfExpression in class DepthFirstAdapterpublic void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression in interface AnalysiscaseAIntegerExpression in class DepthFirstAdapterpublic void caseAAddExpression(AAddExpression node)
caseAAddExpression in interface AnalysiscaseAAddExpression in class DepthFirstAdapterpublic void caseAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
caseAMinusOrSetSubtractExpression in interface AnalysiscaseAMinusOrSetSubtractExpression in class DepthFirstAdapterpublic void caseASetSubtractionExpression(ASetSubtractionExpression node)
caseASetSubtractionExpression in interface AnalysiscaseASetSubtractionExpression in class DepthFirstAdapterpublic void caseAMultOrCartExpression(AMultOrCartExpression node)
caseAMultOrCartExpression in interface AnalysiscaseAMultOrCartExpression in class DepthFirstAdapterpublic void caseADivExpression(ADivExpression node)
caseADivExpression in interface AnalysiscaseADivExpression in class DepthFirstAdapterpublic void caseAModuloExpression(AModuloExpression node)
caseAModuloExpression in interface AnalysiscaseAModuloExpression in class DepthFirstAdapterpublic void caseARelationsExpression(ARelationsExpression node)
caseARelationsExpression in interface AnalysiscaseARelationsExpression in class DepthFirstAdapterpublic void caseAPartialFunctionExpression(APartialFunctionExpression node)
caseAPartialFunctionExpression in interface AnalysiscaseAPartialFunctionExpression in class DepthFirstAdapterpublic void caseATotalFunctionExpression(ATotalFunctionExpression node)
caseATotalFunctionExpression in interface AnalysiscaseATotalFunctionExpression in class DepthFirstAdapterpublic void caseAPartialInjectionExpression(APartialInjectionExpression node)
caseAPartialInjectionExpression in interface AnalysiscaseAPartialInjectionExpression in class DepthFirstAdapterpublic void caseATotalInjectionExpression(ATotalInjectionExpression node)
caseATotalInjectionExpression in interface AnalysiscaseATotalInjectionExpression in class DepthFirstAdapterpublic void caseAPartialSurjectionExpression(APartialSurjectionExpression node)
caseAPartialSurjectionExpression in interface AnalysiscaseAPartialSurjectionExpression in class DepthFirstAdapterpublic void caseATotalSurjectionExpression(ATotalSurjectionExpression node)
caseATotalSurjectionExpression in interface AnalysiscaseATotalSurjectionExpression in class DepthFirstAdapterpublic void caseAPartialBijectionExpression(APartialBijectionExpression node)
caseAPartialBijectionExpression in interface AnalysiscaseAPartialBijectionExpression in class DepthFirstAdapterpublic void caseATotalBijectionExpression(ATotalBijectionExpression node)
caseATotalBijectionExpression in interface AnalysiscaseATotalBijectionExpression in class DepthFirstAdapterpublic void caseATotalRelationExpression(ATotalRelationExpression node)
caseATotalRelationExpression in interface AnalysiscaseATotalRelationExpression in class DepthFirstAdapterpublic void caseASurjectionRelationExpression(ASurjectionRelationExpression node)
caseASurjectionRelationExpression in interface AnalysiscaseASurjectionRelationExpression in class DepthFirstAdapterpublic void caseATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
caseATotalSurjectionRelationExpression in interface AnalysiscaseATotalSurjectionRelationExpression in class DepthFirstAdapterpublic void caseAOverwriteExpression(AOverwriteExpression node)
caseAOverwriteExpression in interface AnalysiscaseAOverwriteExpression in class DepthFirstAdapterpublic void caseADirectProductExpression(ADirectProductExpression node)
caseADirectProductExpression in interface AnalysiscaseADirectProductExpression in class DepthFirstAdapterpublic void caseAConcatExpression(AConcatExpression node)
caseAConcatExpression in interface AnalysiscaseAConcatExpression in class DepthFirstAdapterpublic void caseADomainRestrictionExpression(ADomainRestrictionExpression node)
caseADomainRestrictionExpression in interface AnalysiscaseADomainRestrictionExpression in class DepthFirstAdapterpublic void caseADomainSubtractionExpression(ADomainSubtractionExpression node)
caseADomainSubtractionExpression in interface AnalysiscaseADomainSubtractionExpression in class DepthFirstAdapterpublic void caseARangeRestrictionExpression(ARangeRestrictionExpression node)
caseARangeRestrictionExpression in interface AnalysiscaseARangeRestrictionExpression in class DepthFirstAdapterpublic void caseARangeSubtractionExpression(ARangeSubtractionExpression node)
caseARangeSubtractionExpression in interface AnalysiscaseARangeSubtractionExpression in class DepthFirstAdapterpublic void caseAInsertFrontExpression(AInsertFrontExpression node)
caseAInsertFrontExpression in interface AnalysiscaseAInsertFrontExpression in class DepthFirstAdapterpublic void caseAInsertTailExpression(AInsertTailExpression node)
caseAInsertTailExpression in interface AnalysiscaseAInsertTailExpression in class DepthFirstAdapterpublic void caseAUnionExpression(AUnionExpression node)
caseAUnionExpression in interface AnalysiscaseAUnionExpression in class DepthFirstAdapterpublic void caseAIntersectionExpression(AIntersectionExpression node)
caseAIntersectionExpression in interface AnalysiscaseAIntersectionExpression in class DepthFirstAdapterpublic void caseARestrictFrontExpression(ARestrictFrontExpression node)
caseARestrictFrontExpression in interface AnalysiscaseARestrictFrontExpression in class DepthFirstAdapterpublic void caseARestrictTailExpression(ARestrictTailExpression node)
caseARestrictTailExpression in interface AnalysiscaseARestrictTailExpression in class DepthFirstAdapterpublic void caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression in interface AnalysiscaseACoupleExpression in class DepthFirstAdapterpublic void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression in interface AnalysiscaseAIdentifierExpression in class DepthFirstAdapterpublic void caseAIntervalExpression(AIntervalExpression node)
caseAIntervalExpression in interface AnalysiscaseAIntervalExpression in class DepthFirstAdapterpublic void caseAUnaryMinusExpression(AUnaryMinusExpression node)
caseAUnaryMinusExpression in interface AnalysiscaseAUnaryMinusExpression in class DepthFirstAdapterpublic void caseAReverseExpression(AReverseExpression node)
caseAReverseExpression in interface AnalysiscaseAReverseExpression in class DepthFirstAdapterpublic void caseAImageExpression(AImageExpression node)
caseAImageExpression in interface AnalysiscaseAImageExpression in class DepthFirstAdapterpublic void caseAParallelProductExpression(AParallelProductExpression node)
caseAParallelProductExpression in interface AnalysiscaseAParallelProductExpression in class DepthFirstAdapterpublic void caseACompositionExpression(ACompositionExpression node)
caseACompositionExpression in interface AnalysiscaseACompositionExpression in class DepthFirstAdapterpublic void caseAConvertBoolExpression(AConvertBoolExpression node)
caseAConvertBoolExpression in interface AnalysiscaseAConvertBoolExpression in class DepthFirstAdapterpublic void caseALessPredicate(ALessPredicate node)
caseALessPredicate in interface AnalysiscaseALessPredicate in class DepthFirstAdapterpublic void caseAMaxExpression(AMaxExpression node)
caseAMaxExpression in interface AnalysiscaseAMaxExpression in class DepthFirstAdapterpublic void caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression in interface AnalysiscaseASetExtensionExpression in class DepthFirstAdapterpublic void caseAMinExpression(AMinExpression node)
caseAMinExpression in interface AnalysiscaseAMinExpression in class DepthFirstAdapterpublic void caseACardExpression(ACardExpression node)
caseACardExpression in interface AnalysiscaseACardExpression in class DepthFirstAdapterpublic void caseAGeneralSumExpression(AGeneralSumExpression node)
caseAGeneralSumExpression in interface AnalysiscaseAGeneralSumExpression in class DepthFirstAdapterpublic void caseAGeneralProductExpression(AGeneralProductExpression node)
caseAGeneralProductExpression in interface AnalysiscaseAGeneralProductExpression in class DepthFirstAdapterpublic void caseAConjunctPredicate(AConjunctPredicate node)
caseAConjunctPredicate in interface AnalysiscaseAConjunctPredicate in class DepthFirstAdapterpublic void caseAPowSubsetExpression(APowSubsetExpression node)
caseAPowSubsetExpression in interface AnalysiscaseAPowSubsetExpression in class DepthFirstAdapterpublic void caseAPow1SubsetExpression(APow1SubsetExpression node)
caseAPow1SubsetExpression in interface AnalysiscaseAPow1SubsetExpression in class DepthFirstAdapterpublic void caseAFinSubsetExpression(AFinSubsetExpression node)
caseAFinSubsetExpression in interface AnalysiscaseAFinSubsetExpression in class DepthFirstAdapterpublic void caseAFin1SubsetExpression(AFin1SubsetExpression node)
caseAFin1SubsetExpression in interface AnalysiscaseAFin1SubsetExpression in class DepthFirstAdapterpublic void caseAGeneralUnionExpression(AGeneralUnionExpression node)
caseAGeneralUnionExpression in interface AnalysiscaseAGeneralUnionExpression in class DepthFirstAdapterpublic void caseAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
caseAGeneralIntersectionExpression in interface AnalysiscaseAGeneralIntersectionExpression in class DepthFirstAdapterpublic void caseAIdentityExpression(AIdentityExpression node)
caseAIdentityExpression in interface AnalysiscaseAIdentityExpression in class DepthFirstAdapterpublic void caseAReflexiveClosureExpression(AReflexiveClosureExpression node)
caseAReflexiveClosureExpression in interface AnalysiscaseAReflexiveClosureExpression in class DepthFirstAdapterpublic void caseAClosureExpression(AClosureExpression node)
caseAClosureExpression in interface AnalysiscaseAClosureExpression in class DepthFirstAdapterpublic void caseADomainExpression(ADomainExpression node)
caseADomainExpression in interface AnalysiscaseADomainExpression in class DepthFirstAdapterpublic void caseARangeExpression(ARangeExpression node)
caseARangeExpression in interface AnalysiscaseARangeExpression in class DepthFirstAdapterpublic void caseALambdaExpression(ALambdaExpression node)
caseALambdaExpression in interface AnalysiscaseALambdaExpression in class DepthFirstAdapterpublic void caseATransFunctionExpression(ATransFunctionExpression node)
caseATransFunctionExpression in interface AnalysiscaseATransFunctionExpression in class DepthFirstAdapterpublic void caseATransRelationExpression(ATransRelationExpression node)
caseATransRelationExpression in interface AnalysiscaseATransRelationExpression in class DepthFirstAdapterpublic void caseASeqExpression(ASeqExpression node)
caseASeqExpression in interface AnalysiscaseASeqExpression in class DepthFirstAdapterpublic void caseASeq1Expression(ASeq1Expression node)
caseASeq1Expression in interface AnalysiscaseASeq1Expression in class DepthFirstAdapterpublic void caseAIseqExpression(AIseqExpression node)
caseAIseqExpression in interface AnalysiscaseAIseqExpression in class DepthFirstAdapterpublic void caseAIseq1Expression(AIseq1Expression node)
caseAIseq1Expression in interface AnalysiscaseAIseq1Expression in class DepthFirstAdapterpublic void caseAPermExpression(APermExpression node)
caseAPermExpression in interface AnalysiscaseAPermExpression in class DepthFirstAdapterpublic void caseAEmptySequenceExpression(AEmptySequenceExpression arg0)
caseAEmptySequenceExpression in interface AnalysiscaseAEmptySequenceExpression in class DepthFirstAdapterpublic void caseASizeExpression(ASizeExpression node)
caseASizeExpression in interface AnalysiscaseASizeExpression in class DepthFirstAdapterpublic void caseAFirstExpression(AFirstExpression node)
caseAFirstExpression in interface AnalysiscaseAFirstExpression in class DepthFirstAdapterpublic void caseALastExpression(ALastExpression node)
caseALastExpression in interface AnalysiscaseALastExpression in class DepthFirstAdapterpublic void caseAFrontExpression(AFrontExpression node)
caseAFrontExpression in interface AnalysiscaseAFrontExpression in class DepthFirstAdapterpublic void caseATailExpression(ATailExpression node)
caseATailExpression in interface AnalysiscaseATailExpression in class DepthFirstAdapterpublic void caseARevExpression(ARevExpression node)
caseARevExpression in interface AnalysiscaseARevExpression in class DepthFirstAdapterpublic void caseAFirstProjectionExpression(AFirstProjectionExpression node)
caseAFirstProjectionExpression in interface AnalysiscaseAFirstProjectionExpression in class DepthFirstAdapterpublic void caseASecondProjectionExpression(ASecondProjectionExpression node)
caseASecondProjectionExpression in interface AnalysiscaseASecondProjectionExpression in class DepthFirstAdapterpublic void caseAIterationExpression(AIterationExpression node)
caseAIterationExpression in interface AnalysiscaseAIterationExpression in class DepthFirstAdapterpublic void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression in interface AnalysiscaseAComprehensionSetExpression in class DepthFirstAdapterpublic void caseTIdentifierLiteral(TIdentifierLiteral node)
caseTIdentifierLiteral in interface AnalysiscaseTIdentifierLiteral in class AnalysisAdapterpublic void caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression in interface AnalysiscaseAQuantifiedUnionExpression in class DepthFirstAdapterpublic void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression in interface AnalysiscaseAQuantifiedIntersectionExpression in class DepthFirstAdapterpublic void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression in interface AnalysiscaseASequenceExtensionExpression in class DepthFirstAdapterpublic void caseAGeneralConcatExpression(AGeneralConcatExpression node)
caseAGeneralConcatExpression in interface AnalysiscaseAGeneralConcatExpression in class DepthFirstAdapterpublic void caseABooleanTrueExpression(ABooleanTrueExpression arg0)
caseABooleanTrueExpression in interface AnalysiscaseABooleanTrueExpression in class DepthFirstAdapterpublic void caseABooleanFalseExpression(ABooleanFalseExpression arg0)
caseABooleanFalseExpression in interface AnalysiscaseABooleanFalseExpression in class DepthFirstAdapterpublic void caseAMaxIntExpression(AMaxIntExpression arg0)
caseAMaxIntExpression in interface AnalysiscaseAMaxIntExpression in class DepthFirstAdapterpublic void caseAMinIntExpression(AMinIntExpression arg0)
caseAMinIntExpression in interface AnalysiscaseAMinIntExpression in class DepthFirstAdapterpublic void caseAEmptySetExpression(AEmptySetExpression node)
caseAEmptySetExpression in interface AnalysiscaseAEmptySetExpression in class DepthFirstAdapterpublic void caseAIntegerSetExpression(AIntegerSetExpression arg0)
caseAIntegerSetExpression in interface AnalysiscaseAIntegerSetExpression in class DepthFirstAdapterpublic void caseANaturalSetExpression(ANaturalSetExpression arg0)
caseANaturalSetExpression in interface AnalysiscaseANaturalSetExpression in class DepthFirstAdapterpublic void caseANatural1SetExpression(ANatural1SetExpression arg0)
caseANatural1SetExpression in interface AnalysiscaseANatural1SetExpression in class DepthFirstAdapterpublic void caseANatSetExpression(ANatSetExpression arg0)
caseANatSetExpression in interface AnalysiscaseANatSetExpression in class DepthFirstAdapterpublic void caseANat1SetExpression(ANat1SetExpression arg0)
caseANat1SetExpression in interface AnalysiscaseANat1SetExpression in class DepthFirstAdapterpublic void caseAIntSetExpression(AIntSetExpression arg0)
caseAIntSetExpression in interface AnalysiscaseAIntSetExpression in class DepthFirstAdapterpublic void caseABoolSetExpression(ABoolSetExpression arg0)
caseABoolSetExpression in interface AnalysiscaseABoolSetExpression in class DepthFirstAdapterpublic void caseAStringSetExpression(AStringSetExpression arg0)
caseAStringSetExpression in interface AnalysiscaseAStringSetExpression in class DepthFirstAdapterpublic void caseAImplicationPredicate(AImplicationPredicate node)
caseAImplicationPredicate in interface AnalysiscaseAImplicationPredicate in class DepthFirstAdapterpublic void caseADisjunctPredicate(ADisjunctPredicate node)
caseADisjunctPredicate in interface AnalysiscaseADisjunctPredicate in class DepthFirstAdapterpublic void caseAEquivalencePredicate(AEquivalencePredicate node)
caseAEquivalencePredicate in interface AnalysiscaseAEquivalencePredicate in class DepthFirstAdapterpublic void caseAEqualPredicate(AEqualPredicate node)
caseAEqualPredicate in interface AnalysiscaseAEqualPredicate in class DepthFirstAdapterpublic void caseAMemberPredicate(AMemberPredicate node)
caseAMemberPredicate in interface AnalysiscaseAMemberPredicate in class DepthFirstAdapterpublic void caseASubsetPredicate(ASubsetPredicate node)
caseASubsetPredicate in interface AnalysiscaseASubsetPredicate in class DepthFirstAdapterpublic void caseASubsetStrictPredicate(ASubsetStrictPredicate node)
caseASubsetStrictPredicate in interface AnalysiscaseASubsetStrictPredicate in class DepthFirstAdapterpublic void caseANotSubsetPredicate(ANotSubsetPredicate node)
caseANotSubsetPredicate in interface AnalysiscaseANotSubsetPredicate in class DepthFirstAdapterpublic void caseANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
caseANotSubsetStrictPredicate in interface AnalysiscaseANotSubsetStrictPredicate in class DepthFirstAdapterpublic void caseANotEqualPredicate(ANotEqualPredicate node)
caseANotEqualPredicate in interface AnalysiscaseANotEqualPredicate in class DepthFirstAdapterpublic void caseANotMemberPredicate(ANotMemberPredicate node)
caseANotMemberPredicate in interface AnalysiscaseANotMemberPredicate in class DepthFirstAdapterpublic void caseALessEqualPredicate(ALessEqualPredicate node)
caseALessEqualPredicate in interface AnalysiscaseALessEqualPredicate in class DepthFirstAdapterpublic void caseAGreaterEqualPredicate(AGreaterEqualPredicate node)
caseAGreaterEqualPredicate in interface AnalysiscaseAGreaterEqualPredicate in class DepthFirstAdapterpublic void caseAGreaterPredicate(AGreaterPredicate node)
caseAGreaterPredicate in interface AnalysiscaseAGreaterPredicate in class DepthFirstAdapterpublic void caseAForallPredicate(AForallPredicate node)
caseAForallPredicate in interface AnalysiscaseAForallPredicate in class DepthFirstAdapterpublic void caseAExistsPredicate(AExistsPredicate node)
caseAExistsPredicate in interface AnalysiscaseAExistsPredicate in class DepthFirstAdapterpublic void caseANegationPredicate(ANegationPredicate node)
caseANegationPredicate in interface AnalysiscaseANegationPredicate in class DepthFirstAdapterpublic void caseAStringExpression(AStringExpression node)
caseAStringExpression in interface AnalysiscaseAStringExpression in class DepthFirstAdapterpublic void caseASuccessorExpression(ASuccessorExpression node)
caseASuccessorExpression in interface AnalysiscaseASuccessorExpression in class DepthFirstAdapterpublic void caseAPredecessorExpression(APredecessorExpression node)
caseAPredecessorExpression in interface AnalysiscaseAPredecessorExpression in class DepthFirstAdapterpublic void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression in interface AnalysiscaseADefinitionExpression in class DepthFirstAdapterpublic void caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate in interface AnalysiscaseADefinitionPredicate in class DepthFirstAdapterpublic void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution in interface AnalysiscaseADefinitionSubstitution in class DepthFirstAdapterpublic void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression in interface AnalysiscaseAFunctionExpression in class DepthFirstAdapterpublic void caseAStructExpression(AStructExpression node)
caseAStructExpression in interface AnalysiscaseAStructExpression in class DepthFirstAdapterpublic void caseARecExpression(ARecExpression node)
caseARecExpression in interface AnalysiscaseARecExpression in class DepthFirstAdapterpublic void caseARecEntry(ARecEntry node)
caseARecEntry in interface AnalysiscaseARecEntry in class DepthFirstAdapterpublic void caseARecordFieldExpression(ARecordFieldExpression node)
caseARecordFieldExpression in interface AnalysiscaseARecordFieldExpression in class DepthFirstAdapterpublic void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet in interface AnalysiscaseAEnumeratedSetSet in class DepthFirstAdapter