@Deprecated 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()
Deprecated.
|
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, caseAExpressionDefinition, caseAExpressionsMachineClause, 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, caseAPredicateDefinition, caseAPredicateFunctionPredicate, caseAPredicateIdentifierPredicate, caseAPredicatesMachineClause, 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, inAExpressionDefinition, inAExpressionDefinitionDefinition, inAExpressionParseUnit, inAExpressionsMachineClause, inAExtendedExprExpression, inAExtendedPredPredicate, inAExtendsContextClause, inAExtendsMachineClause, inAFalsityPredicate, inAFatherExpression, inAFileDefinitionDefinition, inAFileExpression, inAFileMachineReference, inAFin1SubsetExpression, inAFinitePredicate, inAFinSubsetExpression, inAFirstExpression, inAFirstProjectionExpression, inAFlooredDivExpression, inAForallPredicate, inAForallSubMessageSubstitution, inAForLoopSubstitution, inAFreetype, inAFreetypesMachineClause, inAFrontExpression, inAFuncOpSubstitution, inAFunctionExpression, inAFunctionOperation, inAGeneralConcatExpression, inAGeneralIntersectionExpression, inAGeneralProductExpression, inAGeneralSumExpression, inAGeneralUnionExpression, inAGeneratedParseUnit, inAGreaterEqualPredicate, inAGreaterPredicate, inAIdentifierExpression, inAIdentityExpression, inAIfElsifSubstitution, inAIfPredicatePredicate, inAIfSubstitution, inAIfThenElseExpression, inAImageExpression, inAImplementationMachineParseUnit, inAImplicationPredicate, inAImportPackage, inAImportsMachineClause, inAIncludesMachineClause, inAInferredUnitExpression, inAInfixExpression, inAInitialisationMachineClause, inAInsertFrontExpression, inAInsertTailExpression, inAIntegerExpression, inAIntegerSetExpression, inAIntersectionExpression, inAIntervalExpression, inAIntSetExpression, inAInvalidOperationsClauseMachineClause, inAInvalidSubstitution, inAInvariantMachineClause, inAInvariantModelClause, inAIseq1Expression, inAIseqExpression, inAIterationExpression, inALabelPredicate, inALambdaExpression, inALastExpression, inALeftExpression, inALessEqualPredicate, inALessPredicate, inALetExpressionExpression, inALetPredicatePredicate, inALetSubstitution, inALocalOperationsMachineClause, inAMachineClauseParseUnit, inAMachineHeader, inAMachineMachineVariant, inAMachineReference, inAMaxExpression, inAMaxIntExpression, inAMemberPredicate, inAMinExpression, inAMinIntExpression, inAMinusExpression, inAMinusOrSetSubtractExpression, inAMirrorExpression, inAMissingSemicolonOperation, inAModelMachineVariant, inAModuloExpression, inAMultilineStringExpression, inAMultiplicationExpression, inAMultOrCartExpression, inANat1SetExpression, inANatSetExpression, inANatural1SetExpression, inANaturalSetExpression, inANegationPredicate, inANewUnitExpression, inANotEqualPredicate, inANotMemberPredicate, inANotSubsetPredicate, inANotSubsetStrictPredicate, inAOperation, inAOperationAttribute, inAOperationCallExpression, inAOperationCallSubstitution, inAOperationsMachineClause, inAOperatorExpression, inAOperatorPredicate, inAOperatorSubstitution, inAOppatternParseUnit, inAOpSubstitution, inAOrdinaryEventstatus, inAOverwriteExpression, inAPackageParseUnit, inAParallelProductExpression, inAParallelSubstitution, inAParseUnitDefinitionParseUnit, inAPartialBijectionExpression, inAPartialFunctionExpression, inAPartialInjectionExpression, inAPartialSurjectionExpression, inAPartitionPredicate, inAPermExpression, inAPostfixExpression, inAPow1SubsetExpression, inAPowerOfExpression, inAPowSubsetExpression, inAPreconditionSubstitution, inAPredecessorExpression, inAPredicateAttributeOperationAttribute, inAPredicateDefinition, inAPredicateDefinitionDefinition, inAPredicateFunctionPredicate, inAPredicateIdentifierPredicate, inAPredicateParseUnit, inAPredicatesMachineClause, inAPrefixExpression, inAPrimedIdentifierExpression, inAPromotesMachineClause, inAPropertiesMachineClause, inAProverComprehensionSetExpression, inAQuantifiedIntersectionExpression, inAQuantifiedUnionExpression, inARangeExpression, inARangeRestrictionExpression, inARangeSubtractionExpression, inARankExpression, inARecEntry, inARecExpression, inARecordFieldExpression, inAReferencesMachineClause, 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, outAExpressionDefinition, outAExpressionDefinitionDefinition, outAExpressionParseUnit, outAExpressionsMachineClause, outAExtendedExprExpression, outAExtendedPredPredicate, outAExtendsContextClause, outAExtendsMachineClause, outAFalsityPredicate, outAFatherExpression, outAFileDefinitionDefinition, outAFileExpression, outAFileMachineReference, outAFin1SubsetExpression, outAFinitePredicate, outAFinSubsetExpression, outAFirstExpression, outAFirstProjectionExpression, outAFlooredDivExpression, outAForallPredicate, outAForallSubMessageSubstitution, outAForLoopSubstitution, outAFreetype, outAFreetypesMachineClause, outAFrontExpression, outAFuncOpSubstitution, outAFunctionExpression, outAFunctionOperation, outAGeneralConcatExpression, outAGeneralIntersectionExpression, outAGeneralProductExpression, outAGeneralSumExpression, outAGeneralUnionExpression, outAGeneratedParseUnit, outAGreaterEqualPredicate, outAGreaterPredicate, outAIdentifierExpression, outAIdentityExpression, outAIfElsifSubstitution, outAIfPredicatePredicate, outAIfSubstitution, outAIfThenElseExpression, outAImageExpression, outAImplementationMachineParseUnit, outAImplicationPredicate, outAImportPackage, outAImportsMachineClause, outAIncludesMachineClause, outAInferredUnitExpression, outAInfixExpression, outAInitialisationMachineClause, outAInsertFrontExpression, outAInsertTailExpression, outAIntegerExpression, outAIntegerSetExpression, outAIntersectionExpression, outAIntervalExpression, outAIntSetExpression, outAInvalidOperationsClauseMachineClause, outAInvalidSubstitution, outAInvariantMachineClause, outAInvariantModelClause, outAIseq1Expression, outAIseqExpression, outAIterationExpression, outALabelPredicate, outALambdaExpression, outALastExpression, outALeftExpression, outALessEqualPredicate, outALessPredicate, outALetExpressionExpression, outALetPredicatePredicate, outALetSubstitution, outALocalOperationsMachineClause, outAMachineClauseParseUnit, outAMachineHeader, outAMachineMachineVariant, outAMachineReference, outAMaxExpression, outAMaxIntExpression, outAMemberPredicate, outAMinExpression, outAMinIntExpression, outAMinusExpression, outAMinusOrSetSubtractExpression, outAMirrorExpression, outAMissingSemicolonOperation, outAModelMachineVariant, outAModuloExpression, outAMultilineStringExpression, outAMultiplicationExpression, outAMultOrCartExpression, outANat1SetExpression, outANatSetExpression, outANatural1SetExpression, outANaturalSetExpression, outANegationPredicate, outANewUnitExpression, outANotEqualPredicate, outANotMemberPredicate, outANotSubsetPredicate, outANotSubsetStrictPredicate, outAOperation, outAOperationAttribute, outAOperationCallExpression, outAOperationCallSubstitution, outAOperationsMachineClause, outAOperatorExpression, outAOperatorPredicate, outAOperatorSubstitution, outAOppatternParseUnit, outAOpSubstitution, outAOrdinaryEventstatus, outAOverwriteExpression, outAPackageParseUnit, outAParallelProductExpression, outAParallelSubstitution, outAParseUnitDefinitionParseUnit, outAPartialBijectionExpression, outAPartialFunctionExpression, outAPartialInjectionExpression, outAPartialSurjectionExpression, outAPartitionPredicate, outAPermExpression, outAPostfixExpression, outAPow1SubsetExpression, outAPowerOfExpression, outAPowSubsetExpression, outAPreconditionSubstitution, outAPredecessorExpression, outAPredicateAttributeOperationAttribute, outAPredicateDefinition, outAPredicateDefinitionDefinition, outAPredicateFunctionPredicate, outAPredicateIdentifierPredicate, outAPredicateParseUnit, outAPredicatesMachineClause, outAPrefixExpression, outAPrimedIdentifierExpression, outAPromotesMachineClause, outAPropertiesMachineClause, outAProverComprehensionSetExpression, outAQuantifiedIntersectionExpression, outAQuantifiedUnionExpression, outARangeExpression, outARangeRestrictionExpression, outARangeSubtractionExpression, outARankExpression, outARecEntry, outARecExpression, outARecordFieldExpression, outAReferencesMachineClause, 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, outStart
caseEOF, caseTAbstractConstants, caseTAbstractVariables, caseTAny, caseTArity, caseTAssert, caseTAssertions, caseTAssign, caseTBe, caseTBegin, caseTBfalse, caseTBin, caseTBool, caseTBoolCast, caseTBtree, caseTCard, caseTCase, caseTChoice, caseTClosure, caseTClosure1, caseTComma, caseTComment, caseTCommentBody, caseTCommentEnd, caseTConc, caseTConcatSequence, caseTConcreteConstants, caseTConcreteVariables, caseTConjunction, caseTConst, caseTConstants, caseTConstraints, caseTDefinitions, caseTDefLiteralPredicate, caseTDefLiteralSubstitution, caseTDirectProduct, caseTDivision, caseTDo, caseTDollar, caseTDom, caseTDomainRestriction, caseTDomainSubtraction, caseTDot, caseTDoubleColon, caseTDoubleEqual, caseTDoubleVerticalBar, caseTEither, caseTElementOf, caseTElse, caseTElsif, caseTEmptySet, caseTEnd, caseTEqual, caseTEquivalence, caseTExists, caseTExpressions, caseTExtends, caseTFalse, caseTFather, caseTFin, caseTFin1, caseTFirst, caseTFnc, caseTForAny, caseTFront, caseTGeneralizedInter, caseTGeneralizedUnion, caseTGreater, caseTGreaterEqual, caseTHexLiteral, caseTId, 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, caseTPredicates, caseTPrefix, caseTPrj1, caseTPrj2, caseTProduct, caseTPromotes, caseTProperties, caseTQuantifiedInter, caseTQuantifiedSet, caseTQuantifiedUnion, caseTRan, caseTRangeRestriction, caseTRangeSubtraction, caseTRank, caseTRec, caseTRefinement, caseTRefines, caseTRel, caseTRestrictHeadSequence, caseTRestrictTailSequence, caseTRev, caseTRight, caseTRightBrace, caseTRightBracket, caseTRightPar, caseTSees, caseTSelect, caseTSemicolon, caseTSeq, caseTSeq1, caseTSetRelation, caseTSets, caseTSetSubtraction, caseTShebang, caseTShebangChar, caseTShebangEnd, caseTSigma, caseTSingleQuotation, caseTSize, caseTSizet, caseTSkip, caseTSlash, caseTSon, caseTSons, caseTStar, caseTStrictInclusion, caseTStrictNonInclusion, caseTString, caseTStringLiteral, caseTStruct, caseTSubtree, caseTSucc, caseTSurjectionRelation, caseTSystem, caseTTail, caseTThen, caseTTilde, caseTTop, caseTTotalBijection, caseTTotalFunction, caseTTotalInjection, caseTTotalRelation, caseTTotalSurjection, caseTTotalSurjectionRelation, caseTTree, caseTTrue, caseTTruthPredicate, caseTUnderscore, caseTUnion, caseTUnitContent, caseTUnitId, caseTUses, caseTValue, caseTVar, caseTVariables, caseTVariant, caseTVerticalBar, caseTWhen, caseTWhere, caseTWhile, caseTWhiteSpace, defaultCase, getIn, getOut, setIn, setOut
public void 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 Analysis
caseStart
in class DepthFirstAdapter
public void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit
in interface Analysis
caseAAbstractMachineParseUnit
in class DepthFirstAdapter
public void caseARefinementMachineParseUnit(ARefinementMachineParseUnit node)
caseARefinementMachineParseUnit
in interface Analysis
caseARefinementMachineParseUnit
in class DepthFirstAdapter
public void caseAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
caseAImplementationMachineParseUnit
in interface Analysis
caseAImplementationMachineParseUnit
in class DepthFirstAdapter
public void caseAPredicateParseUnit(APredicateParseUnit node)
caseAPredicateParseUnit
in interface Analysis
caseAPredicateParseUnit
in class DepthFirstAdapter
public void caseAExpressionParseUnit(AExpressionParseUnit node)
caseAExpressionParseUnit
in interface Analysis
caseAExpressionParseUnit
in class DepthFirstAdapter
public void caseASubstitutionParseUnit(ASubstitutionParseUnit node)
caseASubstitutionParseUnit
in interface Analysis
caseASubstitutionParseUnit
in class DepthFirstAdapter
public void caseAMachineClauseParseUnit(AMachineClauseParseUnit node)
caseAMachineClauseParseUnit
in interface Analysis
caseAMachineClauseParseUnit
in class DepthFirstAdapter
public void caseAMachineHeader(AMachineHeader node)
caseAMachineHeader
in interface Analysis
caseAMachineHeader
in class DepthFirstAdapter
public void caseADefinitionsMachineClause(ADefinitionsMachineClause node)
caseADefinitionsMachineClause
in interface Analysis
caseADefinitionsMachineClause
in class DepthFirstAdapter
public void caseASeesMachineClause(ASeesMachineClause node)
caseASeesMachineClause
in interface Analysis
caseASeesMachineClause
in class DepthFirstAdapter
public void caseAPromotesMachineClause(APromotesMachineClause node)
caseAPromotesMachineClause
in interface Analysis
caseAPromotesMachineClause
in class DepthFirstAdapter
public void caseAUsesMachineClause(AUsesMachineClause node)
caseAUsesMachineClause
in interface Analysis
caseAUsesMachineClause
in class DepthFirstAdapter
public void caseAIncludesMachineClause(AIncludesMachineClause node)
caseAIncludesMachineClause
in interface Analysis
caseAIncludesMachineClause
in class DepthFirstAdapter
public void caseAExtendsMachineClause(AExtendsMachineClause node)
caseAExtendsMachineClause
in interface Analysis
caseAExtendsMachineClause
in class DepthFirstAdapter
public void caseAImportsMachineClause(AImportsMachineClause node)
caseAImportsMachineClause
in interface Analysis
caseAImportsMachineClause
in class DepthFirstAdapter
public void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause
in interface Analysis
caseASetsMachineClause
in class DepthFirstAdapter
public void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause
in interface Analysis
caseAVariablesMachineClause
in class DepthFirstAdapter
public void caseAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
caseAConcreteVariablesMachineClause
in interface Analysis
caseAConcreteVariablesMachineClause
in class DepthFirstAdapter
public void caseAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
caseAAbstractConstantsMachineClause
in interface Analysis
caseAAbstractConstantsMachineClause
in class DepthFirstAdapter
public void caseAConstantsMachineClause(AConstantsMachineClause node)
caseAConstantsMachineClause
in interface Analysis
caseAConstantsMachineClause
in class DepthFirstAdapter
public void caseAPropertiesMachineClause(APropertiesMachineClause node)
caseAPropertiesMachineClause
in interface Analysis
caseAPropertiesMachineClause
in class DepthFirstAdapter
public void caseAConstraintsMachineClause(AConstraintsMachineClause node)
caseAConstraintsMachineClause
in interface Analysis
caseAConstraintsMachineClause
in class DepthFirstAdapter
public void caseAInitialisationMachineClause(AInitialisationMachineClause node)
caseAInitialisationMachineClause
in interface Analysis
caseAInitialisationMachineClause
in class DepthFirstAdapter
public void caseAInvariantMachineClause(AInvariantMachineClause node)
caseAInvariantMachineClause
in interface Analysis
caseAInvariantMachineClause
in class DepthFirstAdapter
public void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause
in interface Analysis
caseAAssertionsMachineClause
in class DepthFirstAdapter
public void caseAValuesMachineClause(AValuesMachineClause node)
caseAValuesMachineClause
in interface Analysis
caseAValuesMachineClause
in class DepthFirstAdapter
public void caseALocalOperationsMachineClause(ALocalOperationsMachineClause node)
caseALocalOperationsMachineClause
in interface Analysis
caseALocalOperationsMachineClause
in class DepthFirstAdapter
public void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause
in interface Analysis
caseAOperationsMachineClause
in class DepthFirstAdapter
public void caseAMachineReference(AMachineReference node)
caseAMachineReference
in interface Analysis
caseAMachineReference
in class DepthFirstAdapter
public void caseAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
caseAPredicateDefinitionDefinition
in interface Analysis
caseAPredicateDefinitionDefinition
in class DepthFirstAdapter
public void caseASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
caseASubstitutionDefinitionDefinition
in interface Analysis
caseASubstitutionDefinitionDefinition
in class DepthFirstAdapter
public void caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition
in interface Analysis
caseAExpressionDefinitionDefinition
in class DepthFirstAdapter
public void caseAFileDefinitionDefinition(AFileDefinitionDefinition node)
caseAFileDefinitionDefinition
in interface Analysis
caseAFileDefinitionDefinition
in class DepthFirstAdapter
public void caseADeferredSetSet(ADeferredSetSet node)
caseADeferredSetSet
in interface Analysis
caseADeferredSetSet
in class DepthFirstAdapter
public void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet
in interface Analysis
caseAEnumeratedSetSet
in class DepthFirstAdapter
public void caseAValuesEntry(AValuesEntry node)
caseAValuesEntry
in interface Analysis
caseAValuesEntry
in class DepthFirstAdapter
public void caseAOperation(AOperation node)
caseAOperation
in interface Analysis
caseAOperation
in class DepthFirstAdapter
public void caseAConjunctPredicate(AConjunctPredicate node)
caseAConjunctPredicate
in interface Analysis
caseAConjunctPredicate
in class DepthFirstAdapter
public void caseANegationPredicate(ANegationPredicate node)
caseANegationPredicate
in interface Analysis
caseANegationPredicate
in class DepthFirstAdapter
public void caseADisjunctPredicate(ADisjunctPredicate node)
caseADisjunctPredicate
in interface Analysis
caseADisjunctPredicate
in class DepthFirstAdapter
public void caseAImplicationPredicate(AImplicationPredicate node)
caseAImplicationPredicate
in interface Analysis
caseAImplicationPredicate
in class DepthFirstAdapter
public void caseAEquivalencePredicate(AEquivalencePredicate node)
caseAEquivalencePredicate
in interface Analysis
caseAEquivalencePredicate
in class DepthFirstAdapter
public void caseAForallPredicate(AForallPredicate node)
caseAForallPredicate
in interface Analysis
caseAForallPredicate
in class DepthFirstAdapter
public void caseAExistsPredicate(AExistsPredicate node)
caseAExistsPredicate
in interface Analysis
caseAExistsPredicate
in class DepthFirstAdapter
public void caseAEqualPredicate(AEqualPredicate node)
caseAEqualPredicate
in interface Analysis
caseAEqualPredicate
in class DepthFirstAdapter
public void caseANotEqualPredicate(ANotEqualPredicate node)
caseANotEqualPredicate
in interface Analysis
caseANotEqualPredicate
in class DepthFirstAdapter
public void caseAMemberPredicate(AMemberPredicate node)
caseAMemberPredicate
in interface Analysis
caseAMemberPredicate
in class DepthFirstAdapter
public void caseANotMemberPredicate(ANotMemberPredicate node)
caseANotMemberPredicate
in interface Analysis
caseANotMemberPredicate
in class DepthFirstAdapter
public void caseASubsetPredicate(ASubsetPredicate node)
caseASubsetPredicate
in interface Analysis
caseASubsetPredicate
in class DepthFirstAdapter
public void caseASubsetStrictPredicate(ASubsetStrictPredicate node)
caseASubsetStrictPredicate
in interface Analysis
caseASubsetStrictPredicate
in class DepthFirstAdapter
public void caseANotSubsetPredicate(ANotSubsetPredicate node)
caseANotSubsetPredicate
in interface Analysis
caseANotSubsetPredicate
in class DepthFirstAdapter
public void caseANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
caseANotSubsetStrictPredicate
in interface Analysis
caseANotSubsetStrictPredicate
in class DepthFirstAdapter
public void caseALessEqualPredicate(ALessEqualPredicate node)
caseALessEqualPredicate
in interface Analysis
caseALessEqualPredicate
in class DepthFirstAdapter
public void caseALessPredicate(ALessPredicate node)
caseALessPredicate
in interface Analysis
caseALessPredicate
in class DepthFirstAdapter
public void caseAGreaterEqualPredicate(AGreaterEqualPredicate node)
caseAGreaterEqualPredicate
in interface Analysis
caseAGreaterEqualPredicate
in class DepthFirstAdapter
public void caseAGreaterPredicate(AGreaterPredicate node)
caseAGreaterPredicate
in interface Analysis
caseAGreaterPredicate
in class DepthFirstAdapter
public void caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate
in interface Analysis
caseADefinitionPredicate
in class DepthFirstAdapter
public void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression
in interface Analysis
caseAIdentifierExpression
in class DepthFirstAdapter
public void caseAPrimedIdentifierExpression(APrimedIdentifierExpression node)
caseAPrimedIdentifierExpression
in interface Analysis
caseAPrimedIdentifierExpression
in class DepthFirstAdapter
public void caseAStringExpression(AStringExpression node)
caseAStringExpression
in interface Analysis
caseAStringExpression
in class DepthFirstAdapter
public void caseABooleanTrueExpression(ABooleanTrueExpression node)
caseABooleanTrueExpression
in interface Analysis
caseABooleanTrueExpression
in class DepthFirstAdapter
public void caseABooleanFalseExpression(ABooleanFalseExpression node)
caseABooleanFalseExpression
in interface Analysis
caseABooleanFalseExpression
in class DepthFirstAdapter
public void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression
in interface Analysis
caseAIntegerExpression
in class DepthFirstAdapter
public void caseAMaxIntExpression(AMaxIntExpression node)
caseAMaxIntExpression
in interface Analysis
caseAMaxIntExpression
in class DepthFirstAdapter
public void caseAMinIntExpression(AMinIntExpression node)
caseAMinIntExpression
in interface Analysis
caseAMinIntExpression
in class DepthFirstAdapter
public void caseAEmptySetExpression(AEmptySetExpression node)
caseAEmptySetExpression
in interface Analysis
caseAEmptySetExpression
in class DepthFirstAdapter
public void caseAIntegerSetExpression(AIntegerSetExpression node)
caseAIntegerSetExpression
in interface Analysis
caseAIntegerSetExpression
in class DepthFirstAdapter
public void caseANaturalSetExpression(ANaturalSetExpression node)
caseANaturalSetExpression
in interface Analysis
caseANaturalSetExpression
in class DepthFirstAdapter
public void caseANatural1SetExpression(ANatural1SetExpression node)
caseANatural1SetExpression
in interface Analysis
caseANatural1SetExpression
in class DepthFirstAdapter
public void caseANatSetExpression(ANatSetExpression node)
caseANatSetExpression
in interface Analysis
caseANatSetExpression
in class DepthFirstAdapter
public void caseANat1SetExpression(ANat1SetExpression node)
caseANat1SetExpression
in interface Analysis
caseANat1SetExpression
in class DepthFirstAdapter
public void caseAIntSetExpression(AIntSetExpression node)
caseAIntSetExpression
in interface Analysis
caseAIntSetExpression
in class DepthFirstAdapter
public void caseABoolSetExpression(ABoolSetExpression node)
caseABoolSetExpression
in interface Analysis
caseABoolSetExpression
in class DepthFirstAdapter
public void caseAStringSetExpression(AStringSetExpression node)
caseAStringSetExpression
in interface Analysis
caseAStringSetExpression
in class DepthFirstAdapter
public void caseAConvertBoolExpression(AConvertBoolExpression node)
caseAConvertBoolExpression
in interface Analysis
caseAConvertBoolExpression
in class DepthFirstAdapter
public void caseAAddExpression(AAddExpression node)
caseAAddExpression
in interface Analysis
caseAAddExpression
in class DepthFirstAdapter
public void caseAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
caseAMinusOrSetSubtractExpression
in interface Analysis
caseAMinusOrSetSubtractExpression
in class DepthFirstAdapter
public void caseAMinusExpression(AMinusExpression node)
caseAMinusExpression
in interface Analysis
caseAMinusExpression
in class DepthFirstAdapter
public void caseAUnaryMinusExpression(AUnaryMinusExpression node)
caseAUnaryMinusExpression
in interface Analysis
caseAUnaryMinusExpression
in class DepthFirstAdapter
public void caseAMultOrCartExpression(AMultOrCartExpression node)
caseAMultOrCartExpression
in interface Analysis
caseAMultOrCartExpression
in class DepthFirstAdapter
public void caseAMultiplicationExpression(AMultiplicationExpression node)
caseAMultiplicationExpression
in interface Analysis
caseAMultiplicationExpression
in class DepthFirstAdapter
public void caseACartesianProductExpression(ACartesianProductExpression node)
caseACartesianProductExpression
in interface Analysis
caseACartesianProductExpression
in class DepthFirstAdapter
public void caseADivExpression(ADivExpression node)
caseADivExpression
in interface Analysis
caseADivExpression
in class DepthFirstAdapter
public void caseAModuloExpression(AModuloExpression node)
caseAModuloExpression
in interface Analysis
caseAModuloExpression
in class DepthFirstAdapter
public void caseAPowerOfExpression(APowerOfExpression node)
caseAPowerOfExpression
in interface Analysis
caseAPowerOfExpression
in class DepthFirstAdapter
public void caseASuccessorExpression(ASuccessorExpression node)
caseASuccessorExpression
in interface Analysis
caseASuccessorExpression
in class DepthFirstAdapter
public void caseAPredecessorExpression(APredecessorExpression node)
caseAPredecessorExpression
in interface Analysis
caseAPredecessorExpression
in class DepthFirstAdapter
public void caseAMaxExpression(AMaxExpression node)
caseAMaxExpression
in interface Analysis
caseAMaxExpression
in class DepthFirstAdapter
public void caseAMinExpression(AMinExpression node)
caseAMinExpression
in interface Analysis
caseAMinExpression
in class DepthFirstAdapter
public void caseACardExpression(ACardExpression node)
caseACardExpression
in interface Analysis
caseACardExpression
in class DepthFirstAdapter
public void caseAGeneralSumExpression(AGeneralSumExpression node)
caseAGeneralSumExpression
in interface Analysis
caseAGeneralSumExpression
in class DepthFirstAdapter
public void caseAGeneralProductExpression(AGeneralProductExpression node)
caseAGeneralProductExpression
in interface Analysis
caseAGeneralProductExpression
in class DepthFirstAdapter
public void caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression
in interface Analysis
caseACoupleExpression
in class DepthFirstAdapter
public void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression
in interface Analysis
caseAComprehensionSetExpression
in class DepthFirstAdapter
public void caseAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
caseAProverComprehensionSetExpression
in interface Analysis
caseAProverComprehensionSetExpression
in class DepthFirstAdapter
public void caseAPowSubsetExpression(APowSubsetExpression node)
caseAPowSubsetExpression
in interface Analysis
caseAPowSubsetExpression
in class DepthFirstAdapter
public void caseAPow1SubsetExpression(APow1SubsetExpression node)
caseAPow1SubsetExpression
in interface Analysis
caseAPow1SubsetExpression
in class DepthFirstAdapter
public void caseAFinSubsetExpression(AFinSubsetExpression node)
caseAFinSubsetExpression
in interface Analysis
caseAFinSubsetExpression
in class DepthFirstAdapter
public void caseAFin1SubsetExpression(AFin1SubsetExpression node)
caseAFin1SubsetExpression
in interface Analysis
caseAFin1SubsetExpression
in class DepthFirstAdapter
public void caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression
in interface Analysis
caseASetExtensionExpression
in class DepthFirstAdapter
public void caseAIntervalExpression(AIntervalExpression node)
caseAIntervalExpression
in interface Analysis
caseAIntervalExpression
in class DepthFirstAdapter
public void caseAUnionExpression(AUnionExpression node)
caseAUnionExpression
in interface Analysis
caseAUnionExpression
in class DepthFirstAdapter
public void caseAIntersectionExpression(AIntersectionExpression node)
caseAIntersectionExpression
in interface Analysis
caseAIntersectionExpression
in class DepthFirstAdapter
public void caseASetSubtractionExpression(ASetSubtractionExpression node)
caseASetSubtractionExpression
in interface Analysis
caseASetSubtractionExpression
in class DepthFirstAdapter
public void caseAGeneralUnionExpression(AGeneralUnionExpression node)
caseAGeneralUnionExpression
in interface Analysis
caseAGeneralUnionExpression
in class DepthFirstAdapter
public void caseAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
caseAGeneralIntersectionExpression
in interface Analysis
caseAGeneralIntersectionExpression
in class DepthFirstAdapter
public void caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression
in interface Analysis
caseAQuantifiedUnionExpression
in class DepthFirstAdapter
public void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression
in interface Analysis
caseAQuantifiedIntersectionExpression
in class DepthFirstAdapter
public void caseARelationsExpression(ARelationsExpression node)
caseARelationsExpression
in interface Analysis
caseARelationsExpression
in class DepthFirstAdapter
public void caseAIdentityExpression(AIdentityExpression node)
caseAIdentityExpression
in interface Analysis
caseAIdentityExpression
in class DepthFirstAdapter
public void caseAReverseExpression(AReverseExpression node)
caseAReverseExpression
in interface Analysis
caseAReverseExpression
in class DepthFirstAdapter
public void caseAFirstProjectionExpression(AFirstProjectionExpression node)
caseAFirstProjectionExpression
in interface Analysis
caseAFirstProjectionExpression
in class DepthFirstAdapter
public void caseASecondProjectionExpression(ASecondProjectionExpression node)
caseASecondProjectionExpression
in interface Analysis
caseASecondProjectionExpression
in class DepthFirstAdapter
public void caseACompositionExpression(ACompositionExpression node)
caseACompositionExpression
in interface Analysis
caseACompositionExpression
in class DepthFirstAdapter
public void caseADirectProductExpression(ADirectProductExpression node)
caseADirectProductExpression
in interface Analysis
caseADirectProductExpression
in class DepthFirstAdapter
public void caseAParallelProductExpression(AParallelProductExpression node)
caseAParallelProductExpression
in interface Analysis
caseAParallelProductExpression
in class DepthFirstAdapter
public void caseAIterationExpression(AIterationExpression node)
caseAIterationExpression
in interface Analysis
caseAIterationExpression
in class DepthFirstAdapter
public void caseAReflexiveClosureExpression(AReflexiveClosureExpression node)
caseAReflexiveClosureExpression
in interface Analysis
caseAReflexiveClosureExpression
in class DepthFirstAdapter
public void caseAClosureExpression(AClosureExpression node)
caseAClosureExpression
in interface Analysis
caseAClosureExpression
in class DepthFirstAdapter
public void caseADomainExpression(ADomainExpression node)
caseADomainExpression
in interface Analysis
caseADomainExpression
in class DepthFirstAdapter
public void caseARangeExpression(ARangeExpression node)
caseARangeExpression
in interface Analysis
caseARangeExpression
in class DepthFirstAdapter
public void caseAImageExpression(AImageExpression node)
caseAImageExpression
in interface Analysis
caseAImageExpression
in class DepthFirstAdapter
public void caseADomainRestrictionExpression(ADomainRestrictionExpression node)
caseADomainRestrictionExpression
in interface Analysis
caseADomainRestrictionExpression
in class DepthFirstAdapter
public void caseADomainSubtractionExpression(ADomainSubtractionExpression node)
caseADomainSubtractionExpression
in interface Analysis
caseADomainSubtractionExpression
in class DepthFirstAdapter
public void caseARangeRestrictionExpression(ARangeRestrictionExpression node)
caseARangeRestrictionExpression
in interface Analysis
caseARangeRestrictionExpression
in class DepthFirstAdapter
public void caseARangeSubtractionExpression(ARangeSubtractionExpression node)
caseARangeSubtractionExpression
in interface Analysis
caseARangeSubtractionExpression
in class DepthFirstAdapter
public void caseAOverwriteExpression(AOverwriteExpression node)
caseAOverwriteExpression
in interface Analysis
caseAOverwriteExpression
in class DepthFirstAdapter
public void caseAPartialFunctionExpression(APartialFunctionExpression node)
caseAPartialFunctionExpression
in interface Analysis
caseAPartialFunctionExpression
in class DepthFirstAdapter
public void caseATotalFunctionExpression(ATotalFunctionExpression node)
caseATotalFunctionExpression
in interface Analysis
caseATotalFunctionExpression
in class DepthFirstAdapter
public void caseAPartialInjectionExpression(APartialInjectionExpression node)
caseAPartialInjectionExpression
in interface Analysis
caseAPartialInjectionExpression
in class DepthFirstAdapter
public void caseATotalInjectionExpression(ATotalInjectionExpression node)
caseATotalInjectionExpression
in interface Analysis
caseATotalInjectionExpression
in class DepthFirstAdapter
public void caseAPartialSurjectionExpression(APartialSurjectionExpression node)
caseAPartialSurjectionExpression
in interface Analysis
caseAPartialSurjectionExpression
in class DepthFirstAdapter
public void caseATotalSurjectionExpression(ATotalSurjectionExpression node)
caseATotalSurjectionExpression
in interface Analysis
caseATotalSurjectionExpression
in class DepthFirstAdapter
public void caseAPartialBijectionExpression(APartialBijectionExpression node)
caseAPartialBijectionExpression
in interface Analysis
caseAPartialBijectionExpression
in class DepthFirstAdapter
public void caseATotalBijectionExpression(ATotalBijectionExpression node)
caseATotalBijectionExpression
in interface Analysis
caseATotalBijectionExpression
in class DepthFirstAdapter
public void caseATotalRelationExpression(ATotalRelationExpression node)
caseATotalRelationExpression
in interface Analysis
caseATotalRelationExpression
in class DepthFirstAdapter
public void caseASurjectionRelationExpression(ASurjectionRelationExpression node)
caseASurjectionRelationExpression
in interface Analysis
caseASurjectionRelationExpression
in class DepthFirstAdapter
public void caseATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
caseATotalSurjectionRelationExpression
in interface Analysis
caseATotalSurjectionRelationExpression
in class DepthFirstAdapter
public void caseALambdaExpression(ALambdaExpression node)
caseALambdaExpression
in interface Analysis
caseALambdaExpression
in class DepthFirstAdapter
public void caseATransFunctionExpression(ATransFunctionExpression node)
caseATransFunctionExpression
in interface Analysis
caseATransFunctionExpression
in class DepthFirstAdapter
public void caseATransRelationExpression(ATransRelationExpression node)
caseATransRelationExpression
in interface Analysis
caseATransRelationExpression
in class DepthFirstAdapter
public void caseASeqExpression(ASeqExpression node)
caseASeqExpression
in interface Analysis
caseASeqExpression
in class DepthFirstAdapter
public void caseASeq1Expression(ASeq1Expression node)
caseASeq1Expression
in interface Analysis
caseASeq1Expression
in class DepthFirstAdapter
public void caseAIseqExpression(AIseqExpression node)
caseAIseqExpression
in interface Analysis
caseAIseqExpression
in class DepthFirstAdapter
public void caseAIseq1Expression(AIseq1Expression node)
caseAIseq1Expression
in interface Analysis
caseAIseq1Expression
in class DepthFirstAdapter
public void caseAPermExpression(APermExpression node)
caseAPermExpression
in interface Analysis
caseAPermExpression
in class DepthFirstAdapter
public void caseAEmptySequenceExpression(AEmptySequenceExpression node)
caseAEmptySequenceExpression
in interface Analysis
caseAEmptySequenceExpression
in class DepthFirstAdapter
public void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression
in interface Analysis
caseASequenceExtensionExpression
in class DepthFirstAdapter
public void caseASizeExpression(ASizeExpression node)
caseASizeExpression
in interface Analysis
caseASizeExpression
in class DepthFirstAdapter
public void caseAFirstExpression(AFirstExpression node)
caseAFirstExpression
in interface Analysis
caseAFirstExpression
in class DepthFirstAdapter
public void caseALastExpression(ALastExpression node)
caseALastExpression
in interface Analysis
caseALastExpression
in class DepthFirstAdapter
public void caseAFrontExpression(AFrontExpression node)
caseAFrontExpression
in interface Analysis
caseAFrontExpression
in class DepthFirstAdapter
public void caseATailExpression(ATailExpression node)
caseATailExpression
in interface Analysis
caseATailExpression
in class DepthFirstAdapter
public void caseARevExpression(ARevExpression node)
caseARevExpression
in interface Analysis
caseARevExpression
in class DepthFirstAdapter
public void caseAConcatExpression(AConcatExpression node)
caseAConcatExpression
in interface Analysis
caseAConcatExpression
in class DepthFirstAdapter
public void caseAInsertFrontExpression(AInsertFrontExpression node)
caseAInsertFrontExpression
in interface Analysis
caseAInsertFrontExpression
in class DepthFirstAdapter
public void caseAInsertTailExpression(AInsertTailExpression node)
caseAInsertTailExpression
in interface Analysis
caseAInsertTailExpression
in class DepthFirstAdapter
public void caseARestrictFrontExpression(ARestrictFrontExpression node)
caseARestrictFrontExpression
in interface Analysis
caseARestrictFrontExpression
in class DepthFirstAdapter
public void caseARestrictTailExpression(ARestrictTailExpression node)
caseARestrictTailExpression
in interface Analysis
caseARestrictTailExpression
in class DepthFirstAdapter
public void caseAGeneralConcatExpression(AGeneralConcatExpression node)
caseAGeneralConcatExpression
in interface Analysis
caseAGeneralConcatExpression
in class DepthFirstAdapter
public void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression
in interface Analysis
caseADefinitionExpression
in class DepthFirstAdapter
public void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression
in interface Analysis
caseAFunctionExpression
in class DepthFirstAdapter
public void caseATreeExpression(ATreeExpression node)
caseATreeExpression
in interface Analysis
caseATreeExpression
in class DepthFirstAdapter
public void caseABtreeExpression(ABtreeExpression node)
caseABtreeExpression
in interface Analysis
caseABtreeExpression
in class DepthFirstAdapter
public void caseAConstExpression(AConstExpression node)
caseAConstExpression
in interface Analysis
caseAConstExpression
in class DepthFirstAdapter
public void caseATopExpression(ATopExpression node)
caseATopExpression
in interface Analysis
caseATopExpression
in class DepthFirstAdapter
public void caseASonsExpression(ASonsExpression node)
caseASonsExpression
in interface Analysis
caseASonsExpression
in class DepthFirstAdapter
public void caseAPrefixExpression(APrefixExpression node)
caseAPrefixExpression
in interface Analysis
caseAPrefixExpression
in class DepthFirstAdapter
public void caseAPostfixExpression(APostfixExpression node)
caseAPostfixExpression
in interface Analysis
caseAPostfixExpression
in class DepthFirstAdapter
public void caseASizetExpression(ASizetExpression node)
caseASizetExpression
in interface Analysis
caseASizetExpression
in class DepthFirstAdapter
public void caseAMirrorExpression(AMirrorExpression node)
caseAMirrorExpression
in interface Analysis
caseAMirrorExpression
in class DepthFirstAdapter
public void caseARankExpression(ARankExpression node)
caseARankExpression
in interface Analysis
caseARankExpression
in class DepthFirstAdapter
public void caseAFatherExpression(AFatherExpression node)
caseAFatherExpression
in interface Analysis
caseAFatherExpression
in class DepthFirstAdapter
public void caseASonExpression(ASonExpression node)
caseASonExpression
in interface Analysis
caseASonExpression
in class DepthFirstAdapter
public void caseASubtreeExpression(ASubtreeExpression node)
caseASubtreeExpression
in interface Analysis
caseASubtreeExpression
in class DepthFirstAdapter
public void caseAArityExpression(AArityExpression node)
caseAArityExpression
in interface Analysis
caseAArityExpression
in class DepthFirstAdapter
public void caseABinExpression(ABinExpression node)
caseABinExpression
in interface Analysis
caseABinExpression
in class DepthFirstAdapter
public void caseALeftExpression(ALeftExpression node)
caseALeftExpression
in interface Analysis
caseALeftExpression
in class DepthFirstAdapter
public void caseARightExpression(ARightExpression node)
caseARightExpression
in interface Analysis
caseARightExpression
in class DepthFirstAdapter
public void caseAInfixExpression(AInfixExpression node)
caseAInfixExpression
in interface Analysis
caseAInfixExpression
in class DepthFirstAdapter
public void caseAStructExpression(AStructExpression node)
caseAStructExpression
in interface Analysis
caseAStructExpression
in class DepthFirstAdapter
public void caseARecExpression(ARecExpression node)
caseARecExpression
in interface Analysis
caseARecExpression
in class DepthFirstAdapter
public void caseARecordFieldExpression(ARecordFieldExpression node)
caseARecordFieldExpression
in interface Analysis
caseARecordFieldExpression
in class DepthFirstAdapter
public void caseARecEntry(ARecEntry node)
caseARecEntry
in interface Analysis
caseARecEntry
in class DepthFirstAdapter
public void caseABlockSubstitution(ABlockSubstitution node)
caseABlockSubstitution
in interface Analysis
caseABlockSubstitution
in class DepthFirstAdapter
public void caseASkipSubstitution(ASkipSubstitution node)
caseASkipSubstitution
in interface Analysis
caseASkipSubstitution
in class DepthFirstAdapter
public void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution
in interface Analysis
caseAAssignSubstitution
in class DepthFirstAdapter
public void caseAPreconditionSubstitution(APreconditionSubstitution node)
caseAPreconditionSubstitution
in interface Analysis
caseAPreconditionSubstitution
in class DepthFirstAdapter
public void caseAAssertionSubstitution(AAssertionSubstitution node)
caseAAssertionSubstitution
in interface Analysis
caseAAssertionSubstitution
in class DepthFirstAdapter
public void caseAChoiceSubstitution(AChoiceSubstitution node)
caseAChoiceSubstitution
in interface Analysis
caseAChoiceSubstitution
in class DepthFirstAdapter
public void caseAChoiceOrSubstitution(AChoiceOrSubstitution node)
caseAChoiceOrSubstitution
in interface Analysis
caseAChoiceOrSubstitution
in class DepthFirstAdapter
public void caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution
in interface Analysis
caseAIfSubstitution
in class DepthFirstAdapter
public void caseAIfElsifSubstitution(AIfElsifSubstitution node)
caseAIfElsifSubstitution
in interface Analysis
caseAIfElsifSubstitution
in class DepthFirstAdapter
public void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution
in interface Analysis
caseASelectSubstitution
in class DepthFirstAdapter
public void caseASelectWhenSubstitution(ASelectWhenSubstitution node)
caseASelectWhenSubstitution
in interface Analysis
caseASelectWhenSubstitution
in class DepthFirstAdapter
public void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution
in interface Analysis
caseACaseSubstitution
in class DepthFirstAdapter
public void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution
in interface Analysis
caseACaseOrSubstitution
in class DepthFirstAdapter
public void caseAAnySubstitution(AAnySubstitution node)
caseAAnySubstitution
in interface Analysis
caseAAnySubstitution
in class DepthFirstAdapter
public void caseALetSubstitution(ALetSubstitution node)
caseALetSubstitution
in interface Analysis
caseALetSubstitution
in class DepthFirstAdapter
public void caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution
in interface Analysis
caseABecomesElementOfSubstitution
in class DepthFirstAdapter
public void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution
in interface Analysis
caseABecomesSuchSubstitution
in class DepthFirstAdapter
public void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution
in interface Analysis
caseAVarSubstitution
in class DepthFirstAdapter
public void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution
in interface Analysis
caseASequenceSubstitution
in class DepthFirstAdapter
public void caseAFuncOpSubstitution(AFuncOpSubstitution node)
caseAFuncOpSubstitution
in interface Analysis
caseAFuncOpSubstitution
in class DepthFirstAdapter
public void caseAOpSubstitution(AOpSubstitution node)
caseAOpSubstitution
in interface Analysis
caseAOpSubstitution
in class DepthFirstAdapter
public void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution
in interface Analysis
caseAOperationCallSubstitution
in class DepthFirstAdapter
public void caseAWhileSubstitution(AWhileSubstitution node)
caseAWhileSubstitution
in interface Analysis
caseAWhileSubstitution
in class DepthFirstAdapter
public void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution
in interface Analysis
caseAParallelSubstitution
in class DepthFirstAdapter
public void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution
in interface Analysis
caseADefinitionSubstitution
in class DepthFirstAdapter
public void caseALabelPredicate(ALabelPredicate node)
caseALabelPredicate
in interface Analysis
caseALabelPredicate
in class DepthFirstAdapter