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