public class AnalysisAdapter extends java.lang.Object implements Analysis
Constructor and Description |
---|
AnalysisAdapter() |
public void caseAGeneratedParseUnit(AGeneratedParseUnit node)
caseAGeneratedParseUnit
in interface Analysis
public void caseAPackageParseUnit(APackageParseUnit node)
caseAPackageParseUnit
in interface Analysis
public void caseAUnitAliasParseUnit(AUnitAliasParseUnit node)
caseAUnitAliasParseUnit
in interface Analysis
public void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit
in interface Analysis
public void caseARefinementMachineParseUnit(ARefinementMachineParseUnit node)
caseARefinementMachineParseUnit
in interface Analysis
public void caseAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
caseAImplementationMachineParseUnit
in interface Analysis
public void caseADefinitionFileParseUnit(ADefinitionFileParseUnit node)
caseADefinitionFileParseUnit
in interface Analysis
public void caseAPredicateParseUnit(APredicateParseUnit node)
caseAPredicateParseUnit
in interface Analysis
public void caseAExpressionParseUnit(AExpressionParseUnit node)
caseAExpressionParseUnit
in interface Analysis
public void caseASubstitutionParseUnit(ASubstitutionParseUnit node)
caseASubstitutionParseUnit
in interface Analysis
public void caseAMachineClauseParseUnit(AMachineClauseParseUnit node)
caseAMachineClauseParseUnit
in interface Analysis
public void caseAEventBContextParseUnit(AEventBContextParseUnit node)
caseAEventBContextParseUnit
in interface Analysis
public void caseAEventBModelParseUnit(AEventBModelParseUnit node)
caseAEventBModelParseUnit
in interface Analysis
public void caseAOppatternParseUnit(AOppatternParseUnit node)
caseAOppatternParseUnit
in interface Analysis
public void caseAParseUnitDefinitionParseUnit(AParseUnitDefinitionParseUnit node)
caseAParseUnitDefinitionParseUnit
in interface Analysis
public void caseAImportPackage(AImportPackage node)
caseAImportPackage
in interface Analysis
public void caseAUndefArgpattern(AUndefArgpattern node)
caseAUndefArgpattern
in interface Analysis
public void caseADefArgpattern(ADefArgpattern node)
caseADefArgpattern
in interface Analysis
public void caseAMachineMachineVariant(AMachineMachineVariant node)
caseAMachineMachineVariant
in interface Analysis
public void caseAModelMachineVariant(AModelMachineVariant node)
caseAModelMachineVariant
in interface Analysis
public void caseASystemMachineVariant(ASystemMachineVariant node)
caseASystemMachineVariant
in interface Analysis
public void caseAMachineHeader(AMachineHeader node)
caseAMachineHeader
in interface Analysis
public void caseAExtendsContextClause(AExtendsContextClause node)
caseAExtendsContextClause
in interface Analysis
public void caseASetsContextClause(ASetsContextClause node)
caseASetsContextClause
in interface Analysis
public void caseAConstantsContextClause(AConstantsContextClause node)
caseAConstantsContextClause
in interface Analysis
public void caseAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
caseAAbstractConstantsContextClause
in interface Analysis
public void caseAAxiomsContextClause(AAxiomsContextClause node)
caseAAxiomsContextClause
in interface Analysis
public void caseATheoremsContextClause(ATheoremsContextClause node)
caseATheoremsContextClause
in interface Analysis
public void caseARefinesModelClause(ARefinesModelClause node)
caseARefinesModelClause
in interface Analysis
public void caseASeesModelClause(ASeesModelClause node)
caseASeesModelClause
in interface Analysis
public void caseAVariablesModelClause(AVariablesModelClause node)
caseAVariablesModelClause
in interface Analysis
public void caseAInvariantModelClause(AInvariantModelClause node)
caseAInvariantModelClause
in interface Analysis
public void caseATheoremsModelClause(ATheoremsModelClause node)
caseATheoremsModelClause
in interface Analysis
public void caseAVariantModelClause(AVariantModelClause node)
caseAVariantModelClause
in interface Analysis
public void caseAEventsModelClause(AEventsModelClause node)
caseAEventsModelClause
in interface Analysis
public void caseADefinitionsMachineClause(ADefinitionsMachineClause node)
caseADefinitionsMachineClause
in interface Analysis
public void caseASeesMachineClause(ASeesMachineClause node)
caseASeesMachineClause
in interface Analysis
public void caseAPromotesMachineClause(APromotesMachineClause node)
caseAPromotesMachineClause
in interface Analysis
public void caseAUsesMachineClause(AUsesMachineClause node)
caseAUsesMachineClause
in interface Analysis
public void caseAIncludesMachineClause(AIncludesMachineClause node)
caseAIncludesMachineClause
in interface Analysis
public void caseAExtendsMachineClause(AExtendsMachineClause node)
caseAExtendsMachineClause
in interface Analysis
public void caseAImportsMachineClause(AImportsMachineClause node)
caseAImportsMachineClause
in interface Analysis
public void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause
in interface Analysis
public void caseAFreetypesMachineClause(AFreetypesMachineClause node)
caseAFreetypesMachineClause
in interface Analysis
public void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause
in interface Analysis
public void caseAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
caseAConcreteVariablesMachineClause
in interface Analysis
public void caseAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
caseAAbstractConstantsMachineClause
in interface Analysis
public void caseAConstantsMachineClause(AConstantsMachineClause node)
caseAConstantsMachineClause
in interface Analysis
public void caseAPropertiesMachineClause(APropertiesMachineClause node)
caseAPropertiesMachineClause
in interface Analysis
public void caseAConstraintsMachineClause(AConstraintsMachineClause node)
caseAConstraintsMachineClause
in interface Analysis
public void caseAInitialisationMachineClause(AInitialisationMachineClause node)
caseAInitialisationMachineClause
in interface Analysis
public void caseAInvariantMachineClause(AInvariantMachineClause node)
caseAInvariantMachineClause
in interface Analysis
public void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause
in interface Analysis
public void caseAValuesMachineClause(AValuesMachineClause node)
caseAValuesMachineClause
in interface Analysis
public void caseALocalOperationsMachineClause(ALocalOperationsMachineClause node)
caseALocalOperationsMachineClause
in interface Analysis
public void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause
in interface Analysis
public void caseAReferencesMachineClause(AReferencesMachineClause node)
caseAReferencesMachineClause
in interface Analysis
public void caseAInvalidOperationsClauseMachineClause(AInvalidOperationsClauseMachineClause node)
caseAInvalidOperationsClauseMachineClause
in interface Analysis
public void caseAExpressionsMachineClause(AExpressionsMachineClause node)
caseAExpressionsMachineClause
in interface Analysis
public void caseAPredicatesMachineClause(APredicatesMachineClause node)
caseAPredicatesMachineClause
in interface Analysis
public void caseAMachineReference(AMachineReference node)
caseAMachineReference
in interface Analysis
public void caseAFileMachineReference(AFileMachineReference node)
caseAFileMachineReference
in interface Analysis
public void caseAExpressionDefinition(AExpressionDefinition node)
caseAExpressionDefinition
in interface Analysis
public void caseAPredicateDefinition(APredicateDefinition node)
caseAPredicateDefinition
in interface Analysis
public void caseAConversionDefinition(AConversionDefinition node)
caseAConversionDefinition
in interface Analysis
public void caseAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
caseAPredicateDefinitionDefinition
in interface Analysis
public void caseASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
caseASubstitutionDefinitionDefinition
in interface Analysis
public void caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition
in interface Analysis
public void caseAFileDefinitionDefinition(AFileDefinitionDefinition node)
caseAFileDefinitionDefinition
in interface Analysis
public void caseADescriptionSet(ADescriptionSet node)
caseADescriptionSet
in interface Analysis
public void caseADeferredSetSet(ADeferredSetSet node)
caseADeferredSetSet
in interface Analysis
public void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet
in interface Analysis
public void caseAFreetype(AFreetype node)
caseAFreetype
in interface Analysis
public void caseAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
caseAConstructorFreetypeConstructor
in interface Analysis
public void caseAElementFreetypeConstructor(AElementFreetypeConstructor node)
caseAElementFreetypeConstructor
in interface Analysis
public void caseAValuesEntry(AValuesEntry node)
caseAValuesEntry
in interface Analysis
public void caseAOperation(AOperation node)
caseAOperation
in interface Analysis
public void caseAMissingSemicolonOperation(AMissingSemicolonOperation node)
caseAMissingSemicolonOperation
in interface Analysis
public void caseARefinedOperation(ARefinedOperation node)
caseARefinedOperation
in interface Analysis
public void caseARuleOperation(ARuleOperation node)
caseARuleOperation
in interface Analysis
public void caseAComputationOperation(AComputationOperation node)
caseAComputationOperation
in interface Analysis
public void caseAFunctionOperation(AFunctionOperation node)
caseAFunctionOperation
in interface Analysis
public void caseAOperationAttribute(AOperationAttribute node)
caseAOperationAttribute
in interface Analysis
public void caseAPredicateAttributeOperationAttribute(APredicateAttributeOperationAttribute node)
caseAPredicateAttributeOperationAttribute
in interface Analysis
public void caseAEvent(AEvent node)
caseAEvent
in interface Analysis
public void caseAWitness(AWitness node)
caseAWitness
in interface Analysis
public void caseAOrdinaryEventstatus(AOrdinaryEventstatus node)
caseAOrdinaryEventstatus
in interface Analysis
public void caseAAnticipatedEventstatus(AAnticipatedEventstatus node)
caseAAnticipatedEventstatus
in interface Analysis
public void caseAConvergentEventstatus(AConvergentEventstatus node)
caseAConvergentEventstatus
in interface Analysis
public void caseADescriptionPredicate(ADescriptionPredicate node)
caseADescriptionPredicate
in interface Analysis
public void caseALabelPredicate(ALabelPredicate node)
caseALabelPredicate
in interface Analysis
public void caseASubstitutionPredicate(ASubstitutionPredicate node)
caseASubstitutionPredicate
in interface Analysis
public void caseAConjunctPredicate(AConjunctPredicate node)
caseAConjunctPredicate
in interface Analysis
public void caseANegationPredicate(ANegationPredicate node)
caseANegationPredicate
in interface Analysis
public void caseADisjunctPredicate(ADisjunctPredicate node)
caseADisjunctPredicate
in interface Analysis
public void caseAImplicationPredicate(AImplicationPredicate node)
caseAImplicationPredicate
in interface Analysis
public void caseAEquivalencePredicate(AEquivalencePredicate node)
caseAEquivalencePredicate
in interface Analysis
public void caseAForallPredicate(AForallPredicate node)
caseAForallPredicate
in interface Analysis
public void caseAExistsPredicate(AExistsPredicate node)
caseAExistsPredicate
in interface Analysis
public void caseAEqualPredicate(AEqualPredicate node)
caseAEqualPredicate
in interface Analysis
public void caseANotEqualPredicate(ANotEqualPredicate node)
caseANotEqualPredicate
in interface Analysis
public void caseAMemberPredicate(AMemberPredicate node)
caseAMemberPredicate
in interface Analysis
public void caseANotMemberPredicate(ANotMemberPredicate node)
caseANotMemberPredicate
in interface Analysis
public void caseASubsetPredicate(ASubsetPredicate node)
caseASubsetPredicate
in interface Analysis
public void caseASubsetStrictPredicate(ASubsetStrictPredicate node)
caseASubsetStrictPredicate
in interface Analysis
public void caseANotSubsetPredicate(ANotSubsetPredicate node)
caseANotSubsetPredicate
in interface Analysis
public void caseANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
caseANotSubsetStrictPredicate
in interface Analysis
public void caseALessEqualPredicate(ALessEqualPredicate node)
caseALessEqualPredicate
in interface Analysis
public void caseALessPredicate(ALessPredicate node)
caseALessPredicate
in interface Analysis
public void caseAGreaterEqualPredicate(AGreaterEqualPredicate node)
caseAGreaterEqualPredicate
in interface Analysis
public void caseAGreaterPredicate(AGreaterPredicate node)
caseAGreaterPredicate
in interface Analysis
public void caseATruthPredicate(ATruthPredicate node)
caseATruthPredicate
in interface Analysis
public void caseAFalsityPredicate(AFalsityPredicate node)
caseAFalsityPredicate
in interface Analysis
public void caseAFinitePredicate(AFinitePredicate node)
caseAFinitePredicate
in interface Analysis
public void caseAPartitionPredicate(APartitionPredicate node)
caseAPartitionPredicate
in interface Analysis
public void caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate
in interface Analysis
public void caseAPredicateIdentifierPredicate(APredicateIdentifierPredicate node)
caseAPredicateIdentifierPredicate
in interface Analysis
public void caseAPredicateFunctionPredicate(APredicateFunctionPredicate node)
caseAPredicateFunctionPredicate
in interface Analysis
public void caseALetPredicatePredicate(ALetPredicatePredicate node)
caseALetPredicatePredicate
in interface Analysis
public void caseAIfPredicatePredicate(AIfPredicatePredicate node)
caseAIfPredicatePredicate
in interface Analysis
public void caseAExtendedPredPredicate(AExtendedPredPredicate node)
caseAExtendedPredPredicate
in interface Analysis
public void caseAOperatorPredicate(AOperatorPredicate node)
caseAOperatorPredicate
in interface Analysis
public void caseAFileExpression(AFileExpression node)
caseAFileExpression
in interface Analysis
public void caseADescriptionExpression(ADescriptionExpression node)
caseADescriptionExpression
in interface Analysis
public void caseAUnitExpression(AUnitExpression node)
caseAUnitExpression
in interface Analysis
public void caseANewUnitExpression(ANewUnitExpression node)
caseANewUnitExpression
in interface Analysis
public void caseAInferredUnitExpression(AInferredUnitExpression node)
caseAInferredUnitExpression
in interface Analysis
public void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression
in interface Analysis
public void caseAPrimedIdentifierExpression(APrimedIdentifierExpression node)
caseAPrimedIdentifierExpression
in interface Analysis
public void caseAStringExpression(AStringExpression node)
caseAStringExpression
in interface Analysis
public void caseAMultilineStringExpression(AMultilineStringExpression node)
caseAMultilineStringExpression
in interface Analysis
public void caseABooleanTrueExpression(ABooleanTrueExpression node)
caseABooleanTrueExpression
in interface Analysis
public void caseABooleanFalseExpression(ABooleanFalseExpression node)
caseABooleanFalseExpression
in interface Analysis
public void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression
in interface Analysis
public void caseAHexIntegerExpression(AHexIntegerExpression node)
caseAHexIntegerExpression
in interface Analysis
public void caseAMaxIntExpression(AMaxIntExpression node)
caseAMaxIntExpression
in interface Analysis
public void caseAMinIntExpression(AMinIntExpression node)
caseAMinIntExpression
in interface Analysis
public void caseAEmptySetExpression(AEmptySetExpression node)
caseAEmptySetExpression
in interface Analysis
public void caseAIntegerSetExpression(AIntegerSetExpression node)
caseAIntegerSetExpression
in interface Analysis
public void caseANaturalSetExpression(ANaturalSetExpression node)
caseANaturalSetExpression
in interface Analysis
public void caseANatural1SetExpression(ANatural1SetExpression node)
caseANatural1SetExpression
in interface Analysis
public void caseANatSetExpression(ANatSetExpression node)
caseANatSetExpression
in interface Analysis
public void caseANat1SetExpression(ANat1SetExpression node)
caseANat1SetExpression
in interface Analysis
public void caseAIntSetExpression(AIntSetExpression node)
caseAIntSetExpression
in interface Analysis
public void caseABoolSetExpression(ABoolSetExpression node)
caseABoolSetExpression
in interface Analysis
public void caseAStringSetExpression(AStringSetExpression node)
caseAStringSetExpression
in interface Analysis
public void caseAConvertBoolExpression(AConvertBoolExpression node)
caseAConvertBoolExpression
in interface Analysis
public void caseAAddExpression(AAddExpression node)
caseAAddExpression
in interface Analysis
public void caseAMinusExpression(AMinusExpression node)
caseAMinusExpression
in interface Analysis
public void caseAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
caseAMinusOrSetSubtractExpression
in interface Analysis
public void caseAUnaryMinusExpression(AUnaryMinusExpression node)
caseAUnaryMinusExpression
in interface Analysis
public void caseAMultiplicationExpression(AMultiplicationExpression node)
caseAMultiplicationExpression
in interface Analysis
public void caseACartesianProductExpression(ACartesianProductExpression node)
caseACartesianProductExpression
in interface Analysis
public void caseAMultOrCartExpression(AMultOrCartExpression node)
caseAMultOrCartExpression
in interface Analysis
public void caseADivExpression(ADivExpression node)
caseADivExpression
in interface Analysis
public void caseAFlooredDivExpression(AFlooredDivExpression node)
caseAFlooredDivExpression
in interface Analysis
public void caseAIfElsifExprExpression(AIfElsifExprExpression node)
caseAIfElsifExprExpression
in interface Analysis
public void caseAIfThenElseExpression(AIfThenElseExpression node)
caseAIfThenElseExpression
in interface Analysis
public void caseALetExpressionExpression(ALetExpressionExpression node)
caseALetExpressionExpression
in interface Analysis
public void caseAModuloExpression(AModuloExpression node)
caseAModuloExpression
in interface Analysis
public void caseAPowerOfExpression(APowerOfExpression node)
caseAPowerOfExpression
in interface Analysis
public void caseASuccessorExpression(ASuccessorExpression node)
caseASuccessorExpression
in interface Analysis
public void caseAPredecessorExpression(APredecessorExpression node)
caseAPredecessorExpression
in interface Analysis
public void caseAMaxExpression(AMaxExpression node)
caseAMaxExpression
in interface Analysis
public void caseAMinExpression(AMinExpression node)
caseAMinExpression
in interface Analysis
public void caseACardExpression(ACardExpression node)
caseACardExpression
in interface Analysis
public void caseAGeneralSumExpression(AGeneralSumExpression node)
caseAGeneralSumExpression
in interface Analysis
public void caseAGeneralProductExpression(AGeneralProductExpression node)
caseAGeneralProductExpression
in interface Analysis
public void caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression
in interface Analysis
public void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression
in interface Analysis
public void caseASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
caseASymbolicComprehensionSetExpression
in interface Analysis
public void caseAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
caseAProverComprehensionSetExpression
in interface Analysis
public void caseAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
caseAEventBComprehensionSetExpression
in interface Analysis
public void caseAPowSubsetExpression(APowSubsetExpression node)
caseAPowSubsetExpression
in interface Analysis
public void caseAPow1SubsetExpression(APow1SubsetExpression node)
caseAPow1SubsetExpression
in interface Analysis
public void caseAFinSubsetExpression(AFinSubsetExpression node)
caseAFinSubsetExpression
in interface Analysis
public void caseAFin1SubsetExpression(AFin1SubsetExpression node)
caseAFin1SubsetExpression
in interface Analysis
public void caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression
in interface Analysis
public void caseAIntervalExpression(AIntervalExpression node)
caseAIntervalExpression
in interface Analysis
public void caseAUnionExpression(AUnionExpression node)
caseAUnionExpression
in interface Analysis
public void caseAIntersectionExpression(AIntersectionExpression node)
caseAIntersectionExpression
in interface Analysis
public void caseASetSubtractionExpression(ASetSubtractionExpression node)
caseASetSubtractionExpression
in interface Analysis
public void caseAGeneralUnionExpression(AGeneralUnionExpression node)
caseAGeneralUnionExpression
in interface Analysis
public void caseAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
caseAGeneralIntersectionExpression
in interface Analysis
public void caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression
in interface Analysis
public void caseASymbolicQuantifiedUnionExpression(ASymbolicQuantifiedUnionExpression node)
caseASymbolicQuantifiedUnionExpression
in interface Analysis
public void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression
in interface Analysis
public void caseARelationsExpression(ARelationsExpression node)
caseARelationsExpression
in interface Analysis
public void caseAIdentityExpression(AIdentityExpression node)
caseAIdentityExpression
in interface Analysis
public void caseAEventBIdentityExpression(AEventBIdentityExpression node)
caseAEventBIdentityExpression
in interface Analysis
public void caseAReverseExpression(AReverseExpression node)
caseAReverseExpression
in interface Analysis
public void caseAFirstProjectionExpression(AFirstProjectionExpression node)
caseAFirstProjectionExpression
in interface Analysis
public void caseAEventBFirstProjectionExpression(AEventBFirstProjectionExpression node)
caseAEventBFirstProjectionExpression
in interface Analysis
public void caseAEventBFirstProjectionV2Expression(AEventBFirstProjectionV2Expression node)
caseAEventBFirstProjectionV2Expression
in interface Analysis
public void caseASecondProjectionExpression(ASecondProjectionExpression node)
caseASecondProjectionExpression
in interface Analysis
public void caseAEventBSecondProjectionExpression(AEventBSecondProjectionExpression node)
caseAEventBSecondProjectionExpression
in interface Analysis
public void caseAEventBSecondProjectionV2Expression(AEventBSecondProjectionV2Expression node)
caseAEventBSecondProjectionV2Expression
in interface Analysis
public void caseACompositionExpression(ACompositionExpression node)
caseACompositionExpression
in interface Analysis
public void caseARingExpression(ARingExpression node)
caseARingExpression
in interface Analysis
public void caseADirectProductExpression(ADirectProductExpression node)
caseADirectProductExpression
in interface Analysis
public void caseAParallelProductExpression(AParallelProductExpression node)
caseAParallelProductExpression
in interface Analysis
public void caseAIterationExpression(AIterationExpression node)
caseAIterationExpression
in interface Analysis
public void caseAReflexiveClosureExpression(AReflexiveClosureExpression node)
caseAReflexiveClosureExpression
in interface Analysis
public void caseAClosureExpression(AClosureExpression node)
caseAClosureExpression
in interface Analysis
public void caseADomainExpression(ADomainExpression node)
caseADomainExpression
in interface Analysis
public void caseARangeExpression(ARangeExpression node)
caseARangeExpression
in interface Analysis
public void caseAImageExpression(AImageExpression node)
caseAImageExpression
in interface Analysis
public void caseADomainRestrictionExpression(ADomainRestrictionExpression node)
caseADomainRestrictionExpression
in interface Analysis
public void caseADomainSubtractionExpression(ADomainSubtractionExpression node)
caseADomainSubtractionExpression
in interface Analysis
public void caseARangeRestrictionExpression(ARangeRestrictionExpression node)
caseARangeRestrictionExpression
in interface Analysis
public void caseARangeSubtractionExpression(ARangeSubtractionExpression node)
caseARangeSubtractionExpression
in interface Analysis
public void caseAOverwriteExpression(AOverwriteExpression node)
caseAOverwriteExpression
in interface Analysis
public void caseAPartialFunctionExpression(APartialFunctionExpression node)
caseAPartialFunctionExpression
in interface Analysis
public void caseATotalFunctionExpression(ATotalFunctionExpression node)
caseATotalFunctionExpression
in interface Analysis
public void caseAPartialInjectionExpression(APartialInjectionExpression node)
caseAPartialInjectionExpression
in interface Analysis
public void caseATotalInjectionExpression(ATotalInjectionExpression node)
caseATotalInjectionExpression
in interface Analysis
public void caseAPartialSurjectionExpression(APartialSurjectionExpression node)
caseAPartialSurjectionExpression
in interface Analysis
public void caseATotalSurjectionExpression(ATotalSurjectionExpression node)
caseATotalSurjectionExpression
in interface Analysis
public void caseAPartialBijectionExpression(APartialBijectionExpression node)
caseAPartialBijectionExpression
in interface Analysis
public void caseATotalBijectionExpression(ATotalBijectionExpression node)
caseATotalBijectionExpression
in interface Analysis
public void caseATotalRelationExpression(ATotalRelationExpression node)
caseATotalRelationExpression
in interface Analysis
public void caseASurjectionRelationExpression(ASurjectionRelationExpression node)
caseASurjectionRelationExpression
in interface Analysis
public void caseATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
caseATotalSurjectionRelationExpression
in interface Analysis
public void caseALambdaExpression(ALambdaExpression node)
caseALambdaExpression
in interface Analysis
public void caseASymbolicLambdaExpression(ASymbolicLambdaExpression node)
caseASymbolicLambdaExpression
in interface Analysis
public void caseATransFunctionExpression(ATransFunctionExpression node)
caseATransFunctionExpression
in interface Analysis
public void caseATransRelationExpression(ATransRelationExpression node)
caseATransRelationExpression
in interface Analysis
public void caseASeqExpression(ASeqExpression node)
caseASeqExpression
in interface Analysis
public void caseASeq1Expression(ASeq1Expression node)
caseASeq1Expression
in interface Analysis
public void caseAIseqExpression(AIseqExpression node)
caseAIseqExpression
in interface Analysis
public void caseAIseq1Expression(AIseq1Expression node)
caseAIseq1Expression
in interface Analysis
public void caseAPermExpression(APermExpression node)
caseAPermExpression
in interface Analysis
public void caseAEmptySequenceExpression(AEmptySequenceExpression node)
caseAEmptySequenceExpression
in interface Analysis
public void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression
in interface Analysis
public void caseASizeExpression(ASizeExpression node)
caseASizeExpression
in interface Analysis
public void caseAFirstExpression(AFirstExpression node)
caseAFirstExpression
in interface Analysis
public void caseALastExpression(ALastExpression node)
caseALastExpression
in interface Analysis
public void caseAFrontExpression(AFrontExpression node)
caseAFrontExpression
in interface Analysis
public void caseATailExpression(ATailExpression node)
caseATailExpression
in interface Analysis
public void caseARevExpression(ARevExpression node)
caseARevExpression
in interface Analysis
public void caseAConcatExpression(AConcatExpression node)
caseAConcatExpression
in interface Analysis
public void caseAInsertFrontExpression(AInsertFrontExpression node)
caseAInsertFrontExpression
in interface Analysis
public void caseAInsertTailExpression(AInsertTailExpression node)
caseAInsertTailExpression
in interface Analysis
public void caseARestrictFrontExpression(ARestrictFrontExpression node)
caseARestrictFrontExpression
in interface Analysis
public void caseARestrictTailExpression(ARestrictTailExpression node)
caseARestrictTailExpression
in interface Analysis
public void caseAGeneralConcatExpression(AGeneralConcatExpression node)
caseAGeneralConcatExpression
in interface Analysis
public void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression
in interface Analysis
public void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression
in interface Analysis
public void caseATreeExpression(ATreeExpression node)
caseATreeExpression
in interface Analysis
public void caseABtreeExpression(ABtreeExpression node)
caseABtreeExpression
in interface Analysis
public void caseAConstExpression(AConstExpression node)
caseAConstExpression
in interface Analysis
public void caseATopExpression(ATopExpression node)
caseATopExpression
in interface Analysis
public void caseASonsExpression(ASonsExpression node)
caseASonsExpression
in interface Analysis
public void caseAPrefixExpression(APrefixExpression node)
caseAPrefixExpression
in interface Analysis
public void caseAPostfixExpression(APostfixExpression node)
caseAPostfixExpression
in interface Analysis
public void caseASizetExpression(ASizetExpression node)
caseASizetExpression
in interface Analysis
public void caseAMirrorExpression(AMirrorExpression node)
caseAMirrorExpression
in interface Analysis
public void caseARankExpression(ARankExpression node)
caseARankExpression
in interface Analysis
public void caseAFatherExpression(AFatherExpression node)
caseAFatherExpression
in interface Analysis
public void caseASonExpression(ASonExpression node)
caseASonExpression
in interface Analysis
public void caseASubtreeExpression(ASubtreeExpression node)
caseASubtreeExpression
in interface Analysis
public void caseAArityExpression(AArityExpression node)
caseAArityExpression
in interface Analysis
public void caseABinExpression(ABinExpression node)
caseABinExpression
in interface Analysis
public void caseALeftExpression(ALeftExpression node)
caseALeftExpression
in interface Analysis
public void caseARightExpression(ARightExpression node)
caseARightExpression
in interface Analysis
public void caseAInfixExpression(AInfixExpression node)
caseAInfixExpression
in interface Analysis
public void caseAStructExpression(AStructExpression node)
caseAStructExpression
in interface Analysis
public void caseARecExpression(ARecExpression node)
caseARecExpression
in interface Analysis
public void caseARecordFieldExpression(ARecordFieldExpression node)
caseARecordFieldExpression
in interface Analysis
public void caseAExtendedExprExpression(AExtendedExprExpression node)
caseAExtendedExprExpression
in interface Analysis
public void caseATypeofExpression(ATypeofExpression node)
caseATypeofExpression
in interface Analysis
public void caseAOperationCallExpression(AOperationCallExpression node)
caseAOperationCallExpression
in interface Analysis
public void caseAOperatorExpression(AOperatorExpression node)
caseAOperatorExpression
in interface Analysis
public void caseARecEntry(ARecEntry node)
caseARecEntry
in interface Analysis
public void caseABlockSubstitution(ABlockSubstitution node)
caseABlockSubstitution
in interface Analysis
public void caseASkipSubstitution(ASkipSubstitution node)
caseASkipSubstitution
in interface Analysis
public void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution
in interface Analysis
public void caseAPreconditionSubstitution(APreconditionSubstitution node)
caseAPreconditionSubstitution
in interface Analysis
public void caseAAssertionSubstitution(AAssertionSubstitution node)
caseAAssertionSubstitution
in interface Analysis
public void caseAChoiceSubstitution(AChoiceSubstitution node)
caseAChoiceSubstitution
in interface Analysis
public void caseAChoiceOrSubstitution(AChoiceOrSubstitution node)
caseAChoiceOrSubstitution
in interface Analysis
public void caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution
in interface Analysis
public void caseAIfElsifSubstitution(AIfElsifSubstitution node)
caseAIfElsifSubstitution
in interface Analysis
public void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution
in interface Analysis
public void caseASelectWhenSubstitution(ASelectWhenSubstitution node)
caseASelectWhenSubstitution
in interface Analysis
public void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution
in interface Analysis
public void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution
in interface Analysis
public void caseAAnySubstitution(AAnySubstitution node)
caseAAnySubstitution
in interface Analysis
public void caseALetSubstitution(ALetSubstitution node)
caseALetSubstitution
in interface Analysis
public void caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution
in interface Analysis
public void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution
in interface Analysis
public void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution
in interface Analysis
public void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution
in interface Analysis
public void caseAFuncOpSubstitution(AFuncOpSubstitution node)
caseAFuncOpSubstitution
in interface Analysis
public void caseAOpSubstitution(AOpSubstitution node)
caseAOpSubstitution
in interface Analysis
public void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution
in interface Analysis
public void caseAWhileSubstitution(AWhileSubstitution node)
caseAWhileSubstitution
in interface Analysis
public void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution
in interface Analysis
public void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution
in interface Analysis
public void caseAInvalidSubstitution(AInvalidSubstitution node)
caseAInvalidSubstitution
in interface Analysis
public void caseAForallSubMessageSubstitution(AForallSubMessageSubstitution node)
caseAForallSubMessageSubstitution
in interface Analysis
public void caseARuleFailSubSubstitution(ARuleFailSubSubstitution node)
caseARuleFailSubSubstitution
in interface Analysis
public void caseAForLoopSubstitution(AForLoopSubstitution node)
caseAForLoopSubstitution
in interface Analysis
public void caseAOperatorSubstitution(AOperatorSubstitution node)
caseAOperatorSubstitution
in interface Analysis
public void caseADefineSubstitution(ADefineSubstitution node)
caseADefineSubstitution
in interface Analysis
public void caseTShebang(TShebang node)
caseTShebang
in interface Analysis
public void caseTShebangEnd(TShebangEnd node)
caseTShebangEnd
in interface Analysis
public void caseTShebangChar(TShebangChar node)
caseTShebangChar
in interface Analysis
public void caseTLineComment(TLineComment node)
caseTLineComment
in interface Analysis
public void caseTPragmaStart(TPragmaStart node)
caseTPragmaStart
in interface Analysis
public void caseTPragmaEnd(TPragmaEnd node)
caseTPragmaEnd
in interface Analysis
public void caseTPragmaUnit(TPragmaUnit node)
caseTPragmaUnit
in interface Analysis
public void caseTNewPragmaUnit(TNewPragmaUnit node)
caseTNewPragmaUnit
in interface Analysis
public void caseTIpragmaUnit(TIpragmaUnit node)
caseTIpragmaUnit
in interface Analysis
public void caseTPragmaUnitAlias(TPragmaUnitAlias node)
caseTPragmaUnitAlias
in interface Analysis
public void caseTPragmaGenerated(TPragmaGenerated node)
caseTPragmaGenerated
in interface Analysis
public void caseTPragmaSymbolic(TPragmaSymbolic node)
caseTPragmaSymbolic
in interface Analysis
public void caseTPragmaLabel(TPragmaLabel node)
caseTPragmaLabel
in interface Analysis
public void caseTPragmaFile(TPragmaFile node)
caseTPragmaFile
in interface Analysis
public void caseTPragmaPackage(TPragmaPackage node)
caseTPragmaPackage
in interface Analysis
public void caseTPragmaImportPackage(TPragmaImportPackage node)
caseTPragmaImportPackage
in interface Analysis
public void caseTPragmaDescription(TPragmaDescription node)
caseTPragmaDescription
in interface Analysis
public void caseTPragmaConversion(TPragmaConversion node)
caseTPragmaConversion
in interface Analysis
public void caseTPragmaIdOrString(TPragmaIdOrString node)
caseTPragmaIdOrString
in interface Analysis
public void caseTPragmaFreeText(TPragmaFreeText node)
caseTPragmaFreeText
in interface Analysis
public void caseTUnitContent(TUnitContent node)
caseTUnitContent
in interface Analysis
public void caseTUnitId(TUnitId node)
caseTUnitId
in interface Analysis
public void caseTComment(TComment node)
caseTComment
in interface Analysis
public void caseTCommentEnd(TCommentEnd node)
caseTCommentEnd
in interface Analysis
public void caseTCommentBody(TCommentBody node)
caseTCommentBody
in interface Analysis
public void caseTSlash(TSlash node)
caseTSlash
in interface Analysis
public void caseTMultilineStringStart(TMultilineStringStart node)
caseTMultilineStringStart
in interface Analysis
public void caseTMultilineStringEnd(TMultilineStringEnd node)
caseTMultilineStringEnd
in interface Analysis
public void caseTMultilineStringContent(TMultilineStringContent node)
caseTMultilineStringContent
in interface Analysis
public void caseTStringLiteral(TStringLiteral node)
caseTStringLiteral
in interface Analysis
public void caseTForAny(TForAny node)
caseTForAny
in interface Analysis
public void caseTExists(TExists node)
caseTExists
in interface Analysis
public void caseTDollar(TDollar node)
caseTDollar
in interface Analysis
public void caseTLambda(TLambda node)
caseTLambda
in interface Analysis
public void caseTConjunction(TConjunction node)
caseTConjunction
in interface Analysis
public void caseTSingleQuotation(TSingleQuotation node)
caseTSingleQuotation
in interface Analysis
public void caseTLeftPar(TLeftPar node)
caseTLeftPar
in interface Analysis
public void caseTRightPar(TRightPar node)
caseTRightPar
in interface Analysis
public void caseTProduct(TProduct node)
caseTProduct
in interface Analysis
public void caseTPowerOf(TPowerOf node)
caseTPowerOf
in interface Analysis
public void caseTPartialFunction(TPartialFunction node)
caseTPartialFunction
in interface Analysis
public void caseTPartialSurjection(TPartialSurjection node)
caseTPartialSurjection
in interface Analysis
public void caseTComma(TComma node)
caseTComma
in interface Analysis
public void caseTMinus(TMinus node)
caseTMinus
in interface Analysis
public void caseTTotalFunction(TTotalFunction node)
caseTTotalFunction
in interface Analysis
public void caseTTotalSurjection(TTotalSurjection node)
caseTTotalSurjection
in interface Analysis
public void caseTInsertStartSequence(TInsertStartSequence node)
caseTInsertStartSequence
in interface Analysis
public void caseTInterval(TInterval node)
caseTInterval
in interface Analysis
public void caseTDivision(TDivision node)
caseTDivision
in interface Analysis
public void caseTNotBelonging(TNotBelonging node)
caseTNotBelonging
in interface Analysis
public void caseTNonInclusion(TNonInclusion node)
caseTNonInclusion
in interface Analysis
public void caseTStrictNonInclusion(TStrictNonInclusion node)
caseTStrictNonInclusion
in interface Analysis
public void caseTNotEqual(TNotEqual node)
caseTNotEqual
in interface Analysis
public void caseTSetSubtraction(TSetSubtraction node)
caseTSetSubtraction
in interface Analysis
public void caseTIntersection(TIntersection node)
caseTIntersection
in interface Analysis
public void caseTRestrictHeadSequence(TRestrictHeadSequence node)
caseTRestrictHeadSequence
in interface Analysis
public void caseTElementOf(TElementOf node)
caseTElementOf
in interface Analysis
public void caseTDoubleColon(TDoubleColon node)
caseTDoubleColon
in interface Analysis
public void caseTAssign(TAssign node)
caseTAssign
in interface Analysis
public void caseTSemicolon(TSemicolon node)
caseTSemicolon
in interface Analysis
public void caseTOverwriteRelation(TOverwriteRelation node)
caseTOverwriteRelation
in interface Analysis
public void caseTSetRelation(TSetRelation node)
caseTSetRelation
in interface Analysis
public void caseTInsertEndSequence(TInsertEndSequence node)
caseTInsertEndSequence
in interface Analysis
public void caseTOutputParameters(TOutputParameters node)
caseTOutputParameters
in interface Analysis
public void caseTInclusion(TInclusion node)
caseTInclusion
in interface Analysis
public void caseTStrictInclusion(TStrictInclusion node)
caseTStrictInclusion
in interface Analysis
public void caseTDomainSubtraction(TDomainSubtraction node)
caseTDomainSubtraction
in interface Analysis
public void caseTLessEqual(TLessEqual node)
caseTLessEqual
in interface Analysis
public void caseTEquivalence(TEquivalence node)
caseTEquivalence
in interface Analysis
public void caseTDomainRestriction(TDomainRestriction node)
caseTDomainRestriction
in interface Analysis
public void caseTEqual(TEqual node)
caseTEqual
in interface Analysis
public void caseTDoubleEqual(TDoubleEqual node)
caseTDoubleEqual
in interface Analysis
public void caseTImplies(TImplies node)
caseTImplies
in interface Analysis
public void caseTGreater(TGreater node)
caseTGreater
in interface Analysis
public void caseTPartialInjection(TPartialInjection node)
caseTPartialInjection
in interface Analysis
public void caseTTotalInjection(TTotalInjection node)
caseTTotalInjection
in interface Analysis
public void caseTPartialBijection(TPartialBijection node)
caseTPartialBijection
in interface Analysis
public void caseTTotalBijection(TTotalBijection node)
caseTTotalBijection
in interface Analysis
public void caseTDirectProduct(TDirectProduct node)
caseTDirectProduct
in interface Analysis
public void caseTGreaterEqual(TGreaterEqual node)
caseTGreaterEqual
in interface Analysis
public void caseTAbstractConstants(TAbstractConstants node)
caseTAbstractConstants
in interface Analysis
public void caseTAbstractVariables(TAbstractVariables node)
caseTAbstractVariables
in interface Analysis
public void caseTAssert(TAssert node)
caseTAssert
in interface Analysis
public void caseTAssertions(TAssertions node)
caseTAssertions
in interface Analysis
public void caseTBegin(TBegin node)
caseTBegin
in interface Analysis
public void caseTBfalse(TBfalse node)
caseTBfalse
in interface Analysis
public void caseTChoice(TChoice node)
caseTChoice
in interface Analysis
public void caseTConcreteConstants(TConcreteConstants node)
caseTConcreteConstants
in interface Analysis
public void caseTConcreteVariables(TConcreteVariables node)
caseTConcreteVariables
in interface Analysis
public void caseTConstants(TConstants node)
caseTConstants
in interface Analysis
public void caseTConstraints(TConstraints node)
caseTConstraints
in interface Analysis
public void caseTDefinitions(TDefinitions node)
caseTDefinitions
in interface Analysis
public void caseTExpressions(TExpressions node)
caseTExpressions
in interface Analysis
public void caseTPredicates(TPredicates node)
caseTPredicates
in interface Analysis
public void caseTEither(TEither node)
caseTEither
in interface Analysis
public void caseTElsif(TElsif node)
caseTElsif
in interface Analysis
public void caseTExtends(TExtends node)
caseTExtends
in interface Analysis
public void caseTFalse(TFalse node)
caseTFalse
in interface Analysis
public void caseTImplementation(TImplementation node)
caseTImplementation
in interface Analysis
public void caseTImports(TImports node)
caseTImports
in interface Analysis
public void caseTIncludes(TIncludes node)
caseTIncludes
in interface Analysis
public void caseTInitialisation(TInitialisation node)
caseTInitialisation
in interface Analysis
public void caseTInteger(TInteger node)
caseTInteger
in interface Analysis
public void caseTQuantifiedInter(TQuantifiedInter node)
caseTQuantifiedInter
in interface Analysis
public void caseTInvariant(TInvariant node)
caseTInvariant
in interface Analysis
public void caseTLocalOperations(TLocalOperations node)
caseTLocalOperations
in interface Analysis
public void caseTMachine(TMachine node)
caseTMachine
in interface Analysis
public void caseTModel(TModel node)
caseTModel
in interface Analysis
public void caseTSystem(TSystem node)
caseTSystem
in interface Analysis
public void caseTMaxInt(TMaxInt node)
caseTMaxInt
in interface Analysis
public void caseTMinInt(TMinInt node)
caseTMinInt
in interface Analysis
public void caseTNatural(TNatural node)
caseTNatural
in interface Analysis
public void caseTNatural1(TNatural1 node)
caseTNatural1
in interface Analysis
public void caseTOperations(TOperations node)
caseTOperations
in interface Analysis
public void caseTPromotes(TPromotes node)
caseTPromotes
in interface Analysis
public void caseTProperties(TProperties node)
caseTProperties
in interface Analysis
public void caseTRefines(TRefines node)
caseTRefines
in interface Analysis
public void caseTRefinement(TRefinement node)
caseTRefinement
in interface Analysis
public void caseTSelect(TSelect node)
caseTSelect
in interface Analysis
public void caseTQuantifiedSet(TQuantifiedSet node)
caseTQuantifiedSet
in interface Analysis
public void caseTSigma(TSigma node)
caseTSigma
in interface Analysis
public void caseTString(TString node)
caseTString
in interface Analysis
public void caseTQuantifiedUnion(TQuantifiedUnion node)
caseTQuantifiedUnion
in interface Analysis
public void caseTValue(TValue node)
caseTValue
in interface Analysis
public void caseTVariant(TVariant node)
caseTVariant
in interface Analysis
public void caseTVariables(TVariables node)
caseTVariables
in interface Analysis
public void caseTWhere(TWhere node)
caseTWhere
in interface Analysis
public void caseTWhile(TWhile node)
caseTWhile
in interface Analysis
public void caseTLeftBracket(TLeftBracket node)
caseTLeftBracket
in interface Analysis
public void caseTRightBracket(TRightBracket node)
caseTRightBracket
in interface Analysis
public void caseTUnion(TUnion node)
caseTUnion
in interface Analysis
public void caseTRestrictTailSequence(TRestrictTailSequence node)
caseTRestrictTailSequence
in interface Analysis
public void caseTConcatSequence(TConcatSequence node)
caseTConcatSequence
in interface Analysis
public void caseTArity(TArity node)
caseTArity
in interface Analysis
public void caseTBoolCast(TBoolCast node)
caseTBoolCast
in interface Analysis
public void caseTBtree(TBtree node)
caseTBtree
in interface Analysis
public void caseTClosure(TClosure node)
caseTClosure
in interface Analysis
public void caseTClosure1(TClosure1 node)
caseTClosure1
in interface Analysis
public void caseTConst(TConst node)
caseTConst
in interface Analysis
public void caseTFather(TFather node)
caseTFather
in interface Analysis
public void caseTFirst(TFirst node)
caseTFirst
in interface Analysis
public void caseTFront(TFront node)
caseTFront
in interface Analysis
public void caseTInfix(TInfix node)
caseTInfix
in interface Analysis
public void caseTGeneralizedInter(TGeneralizedInter node)
caseTGeneralizedInter
in interface Analysis
public void caseTIseq1(TIseq1 node)
caseTIseq1
in interface Analysis
public void caseTIterate(TIterate node)
caseTIterate
in interface Analysis
public void caseTMirror(TMirror node)
caseTMirror
in interface Analysis
public void caseTLogicalOr(TLogicalOr node)
caseTLogicalOr
in interface Analysis
public void caseTPostfix(TPostfix node)
caseTPostfix
in interface Analysis
public void caseTPrefix(TPrefix node)
caseTPrefix
in interface Analysis
public void caseTRight(TRight node)
caseTRight
in interface Analysis
public void caseTSizet(TSizet node)
caseTSizet
in interface Analysis
public void caseTStruct(TStruct node)
caseTStruct
in interface Analysis
public void caseTSubtree(TSubtree node)
caseTSubtree
in interface Analysis
public void caseTGeneralizedUnion(TGeneralizedUnion node)
caseTGeneralizedUnion
in interface Analysis
public void caseTEmptySet(TEmptySet node)
caseTEmptySet
in interface Analysis
public void caseTLeftBrace(TLeftBrace node)
caseTLeftBrace
in interface Analysis
public void caseTRightBrace(TRightBrace node)
caseTRightBrace
in interface Analysis
public void caseTVerticalBar(TVerticalBar node)
caseTVerticalBar
in interface Analysis
public void caseTDoubleVerticalBar(TDoubleVerticalBar node)
caseTDoubleVerticalBar
in interface Analysis
public void caseTMaplet(TMaplet node)
caseTMaplet
in interface Analysis
public void caseTRangeRestriction(TRangeRestriction node)
caseTRangeRestriction
in interface Analysis
public void caseTRangeSubtraction(TRangeSubtraction node)
caseTRangeSubtraction
in interface Analysis
public void caseTTilde(TTilde node)
caseTTilde
in interface Analysis
public void caseTTotalRelation(TTotalRelation node)
caseTTotalRelation
in interface Analysis
public void caseTSurjectionRelation(TSurjectionRelation node)
caseTSurjectionRelation
in interface Analysis
public void caseTTotalSurjectionRelation(TTotalSurjectionRelation node)
caseTTotalSurjectionRelation
in interface Analysis
public void caseTKwFreetypes(TKwFreetypes node)
caseTKwFreetypes
in interface Analysis
public void caseTKwExpression(TKwExpression node)
caseTKwExpression
in interface Analysis
public void caseTKwPredicate(TKwPredicate node)
caseTKwPredicate
in interface Analysis
public void caseTKwFormula(TKwFormula node)
caseTKwFormula
in interface Analysis
public void caseTKwSubstitution(TKwSubstitution node)
caseTKwSubstitution
in interface Analysis
public void caseTKwAbstractConstants(TKwAbstractConstants node)
caseTKwAbstractConstants
in interface Analysis
public void caseTKwAbstractVariables(TKwAbstractVariables node)
caseTKwAbstractVariables
in interface Analysis
public void caseTKwAssertions(TKwAssertions node)
caseTKwAssertions
in interface Analysis
public void caseTKwConcreteConstants(TKwConcreteConstants node)
caseTKwConcreteConstants
in interface Analysis
public void caseTKwConcreteVariables(TKwConcreteVariables node)
caseTKwConcreteVariables
in interface Analysis
public void caseTKwConstants(TKwConstants node)
caseTKwConstants
in interface Analysis
public void caseTKwConstraints(TKwConstraints node)
caseTKwConstraints
in interface Analysis
public void caseTKwDefinitions(TKwDefinitions node)
caseTKwDefinitions
in interface Analysis
public void caseTKwDefinition(TKwDefinition node)
caseTKwDefinition
in interface Analysis
public void caseTKwExtends(TKwExtends node)
caseTKwExtends
in interface Analysis
public void caseTKwImports(TKwImports node)
caseTKwImports
in interface Analysis
public void caseTKwIncludes(TKwIncludes node)
caseTKwIncludes
in interface Analysis
public void caseTKwInitialisation(TKwInitialisation node)
caseTKwInitialisation
in interface Analysis
public void caseTKwInvariant(TKwInvariant node)
caseTKwInvariant
in interface Analysis
public void caseTKwLocalOperations(TKwLocalOperations node)
caseTKwLocalOperations
in interface Analysis
public void caseTKwOperations(TKwOperations node)
caseTKwOperations
in interface Analysis
public void caseTKwPromotes(TKwPromotes node)
caseTKwPromotes
in interface Analysis
public void caseTKwProperties(TKwProperties node)
caseTKwProperties
in interface Analysis
public void caseTKwSees(TKwSees node)
caseTKwSees
in interface Analysis
public void caseTKwSets(TKwSets node)
caseTKwSets
in interface Analysis
public void caseTKwUses(TKwUses node)
caseTKwUses
in interface Analysis
public void caseTKwVariables(TKwVariables node)
caseTKwVariables
in interface Analysis
public void caseTKwValues(TKwValues node)
caseTKwValues
in interface Analysis
public void caseTKwOppattern(TKwOppattern node)
caseTKwOppattern
in interface Analysis
public void caseTKwMachineClause(TKwMachineClause node)
caseTKwMachineClause
in interface Analysis
public void caseTTruthPredicate(TTruthPredicate node)
caseTTruthPredicate
in interface Analysis
public void caseTIdentifierLiteral(TIdentifierLiteral node)
caseTIdentifierLiteral
in interface Analysis
public void caseTDefLiteralSubstitution(TDefLiteralSubstitution node)
caseTDefLiteralSubstitution
in interface Analysis
public void caseTDefLiteralPredicate(TDefLiteralPredicate node)
caseTDefLiteralPredicate
in interface Analysis
public void caseTPredicateIdentifier(TPredicateIdentifier node)
caseTPredicateIdentifier
in interface Analysis
public void caseTIntegerLiteral(TIntegerLiteral node)
caseTIntegerLiteral
in interface Analysis
public void caseTHexLiteral(THexLiteral node)
caseTHexLiteral
in interface Analysis
public void caseTUnderscore(TUnderscore node)
caseTUnderscore
in interface Analysis
public void caseTWhiteSpace(TWhiteSpace node)
caseTWhiteSpace
in interface Analysis
public void caseTKwRulesMachine(TKwRulesMachine node)
caseTKwRulesMachine
in interface Analysis
public void caseTKwRule(TKwRule node)
caseTKwRule
in interface Analysis
public void caseTKwSubstitutionOperator(TKwSubstitutionOperator node)
caseTKwSubstitutionOperator
in interface Analysis
public void caseTKwPredicateOperator(TKwPredicateOperator node)
caseTKwPredicateOperator
in interface Analysis
public void caseTKwExpressionOperator(TKwExpressionOperator node)
caseTKwExpressionOperator
in interface Analysis
public void caseTKwPredicateAttribute(TKwPredicateAttribute node)
caseTKwPredicateAttribute
in interface Analysis
public void caseTKwAttributeIdentifier(TKwAttributeIdentifier node)
caseTKwAttributeIdentifier
in interface Analysis
public void caseTKwFor(TKwFor node)
caseTKwFor
in interface Analysis
public void caseTKwRuleForAll(TKwRuleForAll node)
caseTKwRuleForAll
in interface Analysis
public void caseTKwRuleFail(TKwRuleFail node)
caseTKwRuleFail
in interface Analysis
public void caseTKwRuleErrorType(TKwRuleErrorType node)
caseTKwRuleErrorType
in interface Analysis
public void caseTKwExpect(TKwExpect node)
caseTKwExpect
in interface Analysis
public void caseTKwComputation(TKwComputation node)
caseTKwComputation
in interface Analysis
public void caseTKwDefine(TKwDefine node)
caseTKwDefine
in interface Analysis
public void caseTKwType(TKwType node)
caseTKwType
in interface Analysis
public void caseTKwValue(TKwValue node)
caseTKwValue
in interface Analysis
public void caseTKwBody(TKwBody node)
caseTKwBody
in interface Analysis
public void caseTKwDummyValue(TKwDummyValue node)
caseTKwDummyValue
in interface Analysis
public void caseTKwCounterexample(TKwCounterexample node)
caseTKwCounterexample
in interface Analysis
public void caseTKwFunction(TKwFunction node)
caseTKwFunction
in interface Analysis
public void caseTKwReferences(TKwReferences node)
caseTKwReferences
in interface Analysis
public void defaultCase(Node node)