public class ExtendedDFAdapter extends DepthFirstAdapter
DepthFirstAdapter of SableCC.
This version supports depth first traversals on the AST which are aware of lists and children within a node. It offers methods which are called before, between and after visiting elements in lists. Additionally there's a method that is called between visiting each child of a node.
See the following methods for details:
An example of usage is the class Ast2String in test project.
| Constructor and Description |
|---|
ExtendedDFAdapter() |
caseAAbstractConstantsContextClause, caseAAnticipatedEventstatus, caseAAxiomsContextClause, caseAComputationOperation, caseAConstantsContextClause, caseAConstructorFreetypeConstructor, caseAConvergentEventstatus, caseAConversionDefinition, caseADefArgpattern, caseADefineSubstitution, caseADefinitionFileParseUnit, caseADescriptionExpression, caseADescriptionPredicate, caseADescriptionSet, caseAElementFreetypeConstructor, caseAEvent, caseAEventBComprehensionSetExpression, caseAEventBContextParseUnit, caseAEventBFirstProjectionExpression, caseAEventBFirstProjectionV2Expression, caseAEventBIdentityExpression, caseAEventBModelParseUnit, caseAEventBSecondProjectionExpression, caseAEventBSecondProjectionV2Expression, caseAEventsModelClause, caseAExtendedExprExpression, caseAExtendedPredPredicate, caseAExtendsContextClause, caseAFalsityPredicate, caseAFileExpression, caseAFileMachineReference, caseAFinitePredicate, caseAFlooredDivExpression, caseAForallSubMessageSubstitution, caseAForLoopSubstitution, caseAFreetype, caseAFreetypesMachineClause, caseAFunctionOperation, caseAGeneratedParseUnit, caseAIfPredicatePredicate, caseAIfThenElseExpression, caseAImportPackage, caseAInferredUnitExpression, caseAInvalidOperationsClauseMachineClause, caseAInvalidSubstitution, caseAInvariantModelClause, caseALetExpressionExpression, caseALetPredicatePredicate, caseAMachineMachineVariant, caseAMissingSemicolonOperation, caseAModelMachineVariant, caseAMultilineStringExpression, caseANewUnitExpression, caseAOperationAttribute, caseAOperationCallExpression, caseAOperatorExpression, caseAOperatorPredicate, caseAOperatorSubstitution, caseAOppatternParseUnit, caseAOrdinaryEventstatus, caseAPackageParseUnit, caseAParseUnitDefinitionParseUnit, caseAPartitionPredicate, caseAPredicateAttributeOperationAttribute, caseAPredicateFunctionPredicate, caseAPredicateIdentifierPredicate, caseAReferencesMachineClause, caseARefinesModelClause, caseARingExpression, caseARuleFailSubSubstitution, caseARuleOperation, caseASeesModelClause, caseASetsContextClause, caseASubstitutionPredicate, caseASymbolicComprehensionSetExpression, caseASymbolicLambdaExpression, caseASystemMachineVariant, caseATheoremsContextClause, caseATheoremsModelClause, caseATruthPredicate, caseATypeofExpression, caseAUndefArgpattern, caseAUnitAliasParseUnit, caseAUnitExpression, caseAVariablesModelClause, caseAVariantModelClause, caseAWitness, 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, caseTIdentifierLiteral, 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 beginList(Node parent)
parent - The parent Node of the list.public void betweenListElements(Node parent)
parent - The parent Node.public void endList(Node parent)
parent - The parent Node of the list.public void betweenChildren(Node parent)
If a visited node has more than one child, this method is called between
visiting each child. Although children that are null are not
visited in the traversal, this method is called.
Example: Node A is supposed to have two children B and C. Even if C is
null this method will be called after visiting child B.
If another behaviour is needed, please reimplement the relevant
caseX methods.
parent - The parent Node.public void caseStart(Start node)
caseStart in interface AnalysiscaseStart in class DepthFirstAdapterpublic void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit in interface AnalysiscaseAAbstractMachineParseUnit in class DepthFirstAdapterpublic void caseARefinementMachineParseUnit(ARefinementMachineParseUnit node)
caseARefinementMachineParseUnit in interface AnalysiscaseARefinementMachineParseUnit in class DepthFirstAdapterpublic void caseAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
caseAImplementationMachineParseUnit in interface AnalysiscaseAImplementationMachineParseUnit in class DepthFirstAdapterpublic void caseAPredicateParseUnit(APredicateParseUnit node)
caseAPredicateParseUnit in interface AnalysiscaseAPredicateParseUnit in class DepthFirstAdapterpublic void caseAExpressionParseUnit(AExpressionParseUnit node)
caseAExpressionParseUnit in interface AnalysiscaseAExpressionParseUnit in class DepthFirstAdapterpublic void caseASubstitutionParseUnit(ASubstitutionParseUnit node)
caseASubstitutionParseUnit in interface AnalysiscaseASubstitutionParseUnit in class DepthFirstAdapterpublic void caseAMachineClauseParseUnit(AMachineClauseParseUnit node)
caseAMachineClauseParseUnit in interface AnalysiscaseAMachineClauseParseUnit 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 caseASeesMachineClause(ASeesMachineClause node)
caseASeesMachineClause in interface AnalysiscaseASeesMachineClause in class DepthFirstAdapterpublic void caseAPromotesMachineClause(APromotesMachineClause node)
caseAPromotesMachineClause in interface AnalysiscaseAPromotesMachineClause in class DepthFirstAdapterpublic void caseAUsesMachineClause(AUsesMachineClause node)
caseAUsesMachineClause in interface AnalysiscaseAUsesMachineClause in class DepthFirstAdapterpublic void caseAIncludesMachineClause(AIncludesMachineClause node)
caseAIncludesMachineClause in interface AnalysiscaseAIncludesMachineClause in class DepthFirstAdapterpublic void caseAExtendsMachineClause(AExtendsMachineClause node)
caseAExtendsMachineClause in interface AnalysiscaseAExtendsMachineClause in class DepthFirstAdapterpublic void caseAImportsMachineClause(AImportsMachineClause node)
caseAImportsMachineClause in interface AnalysiscaseAImportsMachineClause in class DepthFirstAdapterpublic void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause in interface AnalysiscaseASetsMachineClause in class DepthFirstAdapterpublic void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause in interface AnalysiscaseAVariablesMachineClause in class DepthFirstAdapterpublic void caseAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
caseAConcreteVariablesMachineClause in interface AnalysiscaseAConcreteVariablesMachineClause 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 caseAPropertiesMachineClause(APropertiesMachineClause node)
caseAPropertiesMachineClause in interface AnalysiscaseAPropertiesMachineClause in class DepthFirstAdapterpublic void caseAConstraintsMachineClause(AConstraintsMachineClause node)
caseAConstraintsMachineClause in interface AnalysiscaseAConstraintsMachineClause in class DepthFirstAdapterpublic void caseAInitialisationMachineClause(AInitialisationMachineClause node)
caseAInitialisationMachineClause in interface AnalysiscaseAInitialisationMachineClause in class DepthFirstAdapterpublic void caseAInvariantMachineClause(AInvariantMachineClause node)
caseAInvariantMachineClause in interface AnalysiscaseAInvariantMachineClause in class DepthFirstAdapterpublic void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause in interface AnalysiscaseAAssertionsMachineClause in class DepthFirstAdapterpublic void caseAValuesMachineClause(AValuesMachineClause node)
caseAValuesMachineClause in interface AnalysiscaseAValuesMachineClause in class DepthFirstAdapterpublic void caseALocalOperationsMachineClause(ALocalOperationsMachineClause node)
caseALocalOperationsMachineClause in interface AnalysiscaseALocalOperationsMachineClause in class DepthFirstAdapterpublic void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause in interface AnalysiscaseAOperationsMachineClause in class DepthFirstAdapterpublic void caseAMachineReference(AMachineReference node)
caseAMachineReference in interface AnalysiscaseAMachineReference 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 caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition in interface AnalysiscaseAExpressionDefinitionDefinition in class DepthFirstAdapterpublic void caseAFileDefinitionDefinition(AFileDefinitionDefinition node)
caseAFileDefinitionDefinition in interface AnalysiscaseAFileDefinitionDefinition in class DepthFirstAdapterpublic void caseADeferredSetSet(ADeferredSetSet node)
caseADeferredSetSet in interface AnalysiscaseADeferredSetSet in class DepthFirstAdapterpublic void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet in interface AnalysiscaseAEnumeratedSetSet in class DepthFirstAdapterpublic void caseAValuesEntry(AValuesEntry node)
caseAValuesEntry in interface AnalysiscaseAValuesEntry in class DepthFirstAdapterpublic void caseAOperation(AOperation node)
caseAOperation in interface AnalysiscaseAOperation in class DepthFirstAdapterpublic void caseAConjunctPredicate(AConjunctPredicate node)
caseAConjunctPredicate in interface AnalysiscaseAConjunctPredicate in class DepthFirstAdapterpublic void caseANegationPredicate(ANegationPredicate node)
caseANegationPredicate in interface AnalysiscaseANegationPredicate in class DepthFirstAdapterpublic void caseADisjunctPredicate(ADisjunctPredicate node)
caseADisjunctPredicate in interface AnalysiscaseADisjunctPredicate in class DepthFirstAdapterpublic void caseAImplicationPredicate(AImplicationPredicate node)
caseAImplicationPredicate in interface AnalysiscaseAImplicationPredicate in class DepthFirstAdapterpublic void caseAEquivalencePredicate(AEquivalencePredicate node)
caseAEquivalencePredicate in interface AnalysiscaseAEquivalencePredicate 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 caseAEqualPredicate(AEqualPredicate node)
caseAEqualPredicate in interface AnalysiscaseAEqualPredicate in class DepthFirstAdapterpublic void caseANotEqualPredicate(ANotEqualPredicate node)
caseANotEqualPredicate in interface AnalysiscaseANotEqualPredicate in class DepthFirstAdapterpublic void caseAMemberPredicate(AMemberPredicate node)
caseAMemberPredicate in interface AnalysiscaseAMemberPredicate in class DepthFirstAdapterpublic void caseANotMemberPredicate(ANotMemberPredicate node)
caseANotMemberPredicate in interface AnalysiscaseANotMemberPredicate 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 caseALessEqualPredicate(ALessEqualPredicate node)
caseALessEqualPredicate in interface AnalysiscaseALessEqualPredicate in class DepthFirstAdapterpublic void caseALessPredicate(ALessPredicate node)
caseALessPredicate in interface AnalysiscaseALessPredicate 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 caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate in interface AnalysiscaseADefinitionPredicate in class DepthFirstAdapterpublic void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression in interface AnalysiscaseAIdentifierExpression in class DepthFirstAdapterpublic void caseAPrimedIdentifierExpression(APrimedIdentifierExpression node)
caseAPrimedIdentifierExpression in interface AnalysiscaseAPrimedIdentifierExpression in class DepthFirstAdapterpublic void caseAStringExpression(AStringExpression node)
caseAStringExpression in interface AnalysiscaseAStringExpression in class DepthFirstAdapterpublic void caseABooleanTrueExpression(ABooleanTrueExpression node)
caseABooleanTrueExpression in interface AnalysiscaseABooleanTrueExpression in class DepthFirstAdapterpublic void caseABooleanFalseExpression(ABooleanFalseExpression node)
caseABooleanFalseExpression in interface AnalysiscaseABooleanFalseExpression in class DepthFirstAdapterpublic void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression in interface AnalysiscaseAIntegerExpression in class DepthFirstAdapterpublic void caseAMaxIntExpression(AMaxIntExpression node)
caseAMaxIntExpression in interface AnalysiscaseAMaxIntExpression in class DepthFirstAdapterpublic void caseAMinIntExpression(AMinIntExpression node)
caseAMinIntExpression in interface AnalysiscaseAMinIntExpression in class DepthFirstAdapterpublic void caseAEmptySetExpression(AEmptySetExpression node)
caseAEmptySetExpression in interface AnalysiscaseAEmptySetExpression in class DepthFirstAdapterpublic void caseAIntegerSetExpression(AIntegerSetExpression node)
caseAIntegerSetExpression in interface AnalysiscaseAIntegerSetExpression in class DepthFirstAdapterpublic void caseANaturalSetExpression(ANaturalSetExpression node)
caseANaturalSetExpression in interface AnalysiscaseANaturalSetExpression in class DepthFirstAdapterpublic void caseANatural1SetExpression(ANatural1SetExpression node)
caseANatural1SetExpression in interface AnalysiscaseANatural1SetExpression in class DepthFirstAdapterpublic void caseANatSetExpression(ANatSetExpression node)
caseANatSetExpression in interface AnalysiscaseANatSetExpression in class DepthFirstAdapterpublic void caseANat1SetExpression(ANat1SetExpression node)
caseANat1SetExpression in interface AnalysiscaseANat1SetExpression in class DepthFirstAdapterpublic void caseAIntSetExpression(AIntSetExpression node)
caseAIntSetExpression in interface AnalysiscaseAIntSetExpression in class DepthFirstAdapterpublic void caseABoolSetExpression(ABoolSetExpression node)
caseABoolSetExpression in interface AnalysiscaseABoolSetExpression in class DepthFirstAdapterpublic void caseAStringSetExpression(AStringSetExpression node)
caseAStringSetExpression in interface AnalysiscaseAStringSetExpression in class DepthFirstAdapterpublic void caseAConvertBoolExpression(AConvertBoolExpression node)
caseAConvertBoolExpression in interface AnalysiscaseAConvertBoolExpression 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 caseAMinusExpression(AMinusExpression node)
caseAMinusExpression in interface AnalysiscaseAMinusExpression in class DepthFirstAdapterpublic void caseAUnaryMinusExpression(AUnaryMinusExpression node)
caseAUnaryMinusExpression in interface AnalysiscaseAUnaryMinusExpression in class DepthFirstAdapterpublic void caseAMultOrCartExpression(AMultOrCartExpression node)
caseAMultOrCartExpression in interface AnalysiscaseAMultOrCartExpression in class DepthFirstAdapterpublic void caseAMultiplicationExpression(AMultiplicationExpression node)
caseAMultiplicationExpression in interface AnalysiscaseAMultiplicationExpression in class DepthFirstAdapterpublic void caseACartesianProductExpression(ACartesianProductExpression node)
caseACartesianProductExpression in interface AnalysiscaseACartesianProductExpression 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 caseAPowerOfExpression(APowerOfExpression node)
caseAPowerOfExpression in interface AnalysiscaseAPowerOfExpression 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 caseAMaxExpression(AMaxExpression node)
caseAMaxExpression in interface AnalysiscaseAMaxExpression 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 caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression in interface AnalysiscaseACoupleExpression in class DepthFirstAdapterpublic void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression in interface AnalysiscaseAComprehensionSetExpression in class DepthFirstAdapterpublic void caseAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
caseAProverComprehensionSetExpression in interface AnalysiscaseAProverComprehensionSetExpression 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 caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression in interface AnalysiscaseASetExtensionExpression in class DepthFirstAdapterpublic void caseAIntervalExpression(AIntervalExpression node)
caseAIntervalExpression in interface AnalysiscaseAIntervalExpression 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 caseASetSubtractionExpression(ASetSubtractionExpression node)
caseASetSubtractionExpression in interface AnalysiscaseASetSubtractionExpression 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 caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression in interface AnalysiscaseAQuantifiedUnionExpression in class DepthFirstAdapterpublic void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression in interface AnalysiscaseAQuantifiedIntersectionExpression in class DepthFirstAdapterpublic void caseARelationsExpression(ARelationsExpression node)
caseARelationsExpression in interface AnalysiscaseARelationsExpression in class DepthFirstAdapterpublic void caseAIdentityExpression(AIdentityExpression node)
caseAIdentityExpression in interface AnalysiscaseAIdentityExpression in class DepthFirstAdapterpublic void caseAReverseExpression(AReverseExpression node)
caseAReverseExpression in interface AnalysiscaseAReverseExpression 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 caseACompositionExpression(ACompositionExpression node)
caseACompositionExpression in interface AnalysiscaseACompositionExpression in class DepthFirstAdapterpublic void caseADirectProductExpression(ADirectProductExpression node)
caseADirectProductExpression in interface AnalysiscaseADirectProductExpression in class DepthFirstAdapterpublic void caseAParallelProductExpression(AParallelProductExpression node)
caseAParallelProductExpression in interface AnalysiscaseAParallelProductExpression in class DepthFirstAdapterpublic void caseAIterationExpression(AIterationExpression node)
caseAIterationExpression in interface AnalysiscaseAIterationExpression 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 caseAImageExpression(AImageExpression node)
caseAImageExpression in interface AnalysiscaseAImageExpression 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 caseAOverwriteExpression(AOverwriteExpression node)
caseAOverwriteExpression in interface AnalysiscaseAOverwriteExpression 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 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 node)
caseAEmptySequenceExpression in interface AnalysiscaseAEmptySequenceExpression in class DepthFirstAdapterpublic void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression in interface AnalysiscaseASequenceExtensionExpression 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 caseAConcatExpression(AConcatExpression node)
caseAConcatExpression in interface AnalysiscaseAConcatExpression 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 caseARestrictFrontExpression(ARestrictFrontExpression node)
caseARestrictFrontExpression in interface AnalysiscaseARestrictFrontExpression in class DepthFirstAdapterpublic void caseARestrictTailExpression(ARestrictTailExpression node)
caseARestrictTailExpression in interface AnalysiscaseARestrictTailExpression in class DepthFirstAdapterpublic void caseAGeneralConcatExpression(AGeneralConcatExpression node)
caseAGeneralConcatExpression in interface AnalysiscaseAGeneralConcatExpression in class DepthFirstAdapterpublic void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression in interface AnalysiscaseADefinitionExpression in class DepthFirstAdapterpublic void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression in interface AnalysiscaseAFunctionExpression in class DepthFirstAdapterpublic void caseATreeExpression(ATreeExpression node)
caseATreeExpression in interface AnalysiscaseATreeExpression in class DepthFirstAdapterpublic void caseABtreeExpression(ABtreeExpression node)
caseABtreeExpression in interface AnalysiscaseABtreeExpression in class DepthFirstAdapterpublic void caseAConstExpression(AConstExpression node)
caseAConstExpression in interface AnalysiscaseAConstExpression in class DepthFirstAdapterpublic void caseATopExpression(ATopExpression node)
caseATopExpression in interface AnalysiscaseATopExpression in class DepthFirstAdapterpublic void caseASonsExpression(ASonsExpression node)
caseASonsExpression in interface AnalysiscaseASonsExpression in class DepthFirstAdapterpublic void caseAPrefixExpression(APrefixExpression node)
caseAPrefixExpression in interface AnalysiscaseAPrefixExpression in class DepthFirstAdapterpublic void caseAPostfixExpression(APostfixExpression node)
caseAPostfixExpression in interface AnalysiscaseAPostfixExpression in class DepthFirstAdapterpublic void caseASizetExpression(ASizetExpression node)
caseASizetExpression in interface AnalysiscaseASizetExpression in class DepthFirstAdapterpublic void caseAMirrorExpression(AMirrorExpression node)
caseAMirrorExpression in interface AnalysiscaseAMirrorExpression in class DepthFirstAdapterpublic void caseARankExpression(ARankExpression node)
caseARankExpression in interface AnalysiscaseARankExpression in class DepthFirstAdapterpublic void caseAFatherExpression(AFatherExpression node)
caseAFatherExpression in interface AnalysiscaseAFatherExpression in class DepthFirstAdapterpublic void caseASonExpression(ASonExpression node)
caseASonExpression in interface AnalysiscaseASonExpression in class DepthFirstAdapterpublic void caseASubtreeExpression(ASubtreeExpression node)
caseASubtreeExpression in interface AnalysiscaseASubtreeExpression in class DepthFirstAdapterpublic void caseAArityExpression(AArityExpression node)
caseAArityExpression in interface AnalysiscaseAArityExpression in class DepthFirstAdapterpublic void caseABinExpression(ABinExpression node)
caseABinExpression in interface AnalysiscaseABinExpression in class DepthFirstAdapterpublic void caseALeftExpression(ALeftExpression node)
caseALeftExpression in interface AnalysiscaseALeftExpression in class DepthFirstAdapterpublic void caseARightExpression(ARightExpression node)
caseARightExpression in interface AnalysiscaseARightExpression in class DepthFirstAdapterpublic void caseAInfixExpression(AInfixExpression node)
caseAInfixExpression in interface AnalysiscaseAInfixExpression 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 caseARecordFieldExpression(ARecordFieldExpression node)
caseARecordFieldExpression in interface AnalysiscaseARecordFieldExpression in class DepthFirstAdapterpublic void caseARecEntry(ARecEntry node)
caseARecEntry in interface AnalysiscaseARecEntry in class DepthFirstAdapterpublic void caseABlockSubstitution(ABlockSubstitution node)
caseABlockSubstitution in interface AnalysiscaseABlockSubstitution in class DepthFirstAdapterpublic void caseASkipSubstitution(ASkipSubstitution node)
caseASkipSubstitution in interface AnalysiscaseASkipSubstitution in class DepthFirstAdapterpublic void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution in interface AnalysiscaseAAssignSubstitution 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 caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution in interface AnalysiscaseAIfSubstitution in class DepthFirstAdapterpublic void caseAIfElsifSubstitution(AIfElsifSubstitution node)
caseAIfElsifSubstitution in interface AnalysiscaseAIfElsifSubstitution in class DepthFirstAdapterpublic void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution in interface AnalysiscaseASelectSubstitution in class DepthFirstAdapterpublic void caseASelectWhenSubstitution(ASelectWhenSubstitution node)
caseASelectWhenSubstitution in interface AnalysiscaseASelectWhenSubstitution in class DepthFirstAdapterpublic void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution in interface AnalysiscaseACaseSubstitution in class DepthFirstAdapterpublic void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution in interface AnalysiscaseACaseOrSubstitution 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 caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution in interface AnalysiscaseABecomesElementOfSubstitution in class DepthFirstAdapterpublic void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution in interface AnalysiscaseABecomesSuchSubstitution in class DepthFirstAdapterpublic void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution in interface AnalysiscaseAVarSubstitution in class DepthFirstAdapterpublic void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution in interface AnalysiscaseASequenceSubstitution in class DepthFirstAdapterpublic void caseAFuncOpSubstitution(AFuncOpSubstitution node)
caseAFuncOpSubstitution in interface AnalysiscaseAFuncOpSubstitution in class DepthFirstAdapterpublic void caseAOpSubstitution(AOpSubstitution node)
caseAOpSubstitution in interface AnalysiscaseAOpSubstitution in class DepthFirstAdapterpublic void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution in interface AnalysiscaseAOperationCallSubstitution in class DepthFirstAdapterpublic void caseAWhileSubstitution(AWhileSubstitution node)
caseAWhileSubstitution in interface AnalysiscaseAWhileSubstitution in class DepthFirstAdapterpublic void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution in interface AnalysiscaseAParallelSubstitution in class DepthFirstAdapterpublic void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution in interface AnalysiscaseADefinitionSubstitution in class DepthFirstAdapterpublic void caseALabelPredicate(ALabelPredicate node)
caseALabelPredicate in interface AnalysiscaseALabelPredicate in class DepthFirstAdapter