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