public class DepthFirstAdapter extends AnalysisAdapter
Constructor and Description |
---|
DepthFirstAdapter() |
caseEOF, caseTAbstractConstants, caseTAbstractVariables, caseTAny, caseTArity, caseTAssert, caseTAssertions, caseTAssign, caseTBe, caseTBegin, caseTBfalse, caseTBin, caseTBool, caseTBoolCast, caseTBtree, caseTCard, caseTCase, caseTChoice, caseTClosure, caseTClosure1, caseTComma, caseTComment, caseTCommentBody, caseTCommentEnd, caseTConc, caseTConcatSequence, caseTConcreteConstants, caseTConcreteVariables, caseTConjunction, caseTConst, caseTConstants, caseTConstraints, caseTDefinitions, caseTDefLiteralPredicate, caseTDefLiteralSubstitution, caseTDirectProduct, caseTDivision, caseTDo, caseTDollar, caseTDom, caseTDomainRestriction, caseTDomainSubtraction, caseTDot, caseTDoubleColon, caseTDoubleEqual, caseTDoubleVerticalBar, caseTEither, caseTElementOf, caseTElse, caseTElsif, caseTEmptySet, caseTEnd, caseTEqual, caseTEquivalence, caseTExists, caseTExpressions, caseTExtends, caseTFalse, caseTFather, caseTFin, caseTFin1, caseTFirst, caseTFnc, caseTForAny, caseTFront, caseTGeneralizedInter, caseTGeneralizedUnion, caseTGreater, caseTGreaterEqual, caseTHexLiteral, caseTId, caseTIdentifierLiteral, caseTIf, caseTImplementation, caseTImplies, caseTImports, caseTIn, caseTIncludes, caseTInclusion, caseTInfix, caseTInitialisation, caseTInsertEndSequence, caseTInsertStartSequence, caseTInt, caseTInteger, caseTIntegerLiteral, caseTIntersection, caseTInterval, caseTInvariant, caseTIpragmaUnit, caseTIseq, caseTIseq1, caseTIterate, caseTKwAbstractConstants, caseTKwAbstractVariables, caseTKwAssertions, caseTKwAttributeIdentifier, caseTKwBody, caseTKwComputation, caseTKwConcreteConstants, caseTKwConcreteVariables, caseTKwConstants, caseTKwConstraints, caseTKwCounterexample, caseTKwDefine, caseTKwDefinition, caseTKwDefinitions, caseTKwDummyValue, caseTKwExpect, caseTKwExpression, caseTKwExpressionOperator, caseTKwExtends, caseTKwFor, caseTKwFormula, caseTKwFreetypes, caseTKwFunction, caseTKwImports, caseTKwIncludes, caseTKwInitialisation, caseTKwInvariant, caseTKwLocalOperations, caseTKwMachineClause, caseTKwOperations, caseTKwOppattern, caseTKwPredicate, caseTKwPredicateAttribute, caseTKwPredicateOperator, caseTKwPromotes, caseTKwProperties, caseTKwReferences, caseTKwRule, caseTKwRuleErrorType, caseTKwRuleFail, caseTKwRuleForAll, caseTKwRulesMachine, caseTKwSees, caseTKwSets, caseTKwSubstitution, caseTKwSubstitutionOperator, caseTKwType, caseTKwUses, caseTKwValue, caseTKwValues, caseTKwVariables, caseTLambda, caseTLast, caseTLeft, caseTLeftBrace, caseTLeftBracket, caseTLeftPar, caseTLess, caseTLessEqual, caseTLet, caseTLineComment, caseTLocalOperations, caseTLogicalOr, caseTMachine, caseTMaplet, caseTMax, caseTMaxInt, caseTMin, caseTMinInt, caseTMinus, caseTMirror, caseTMod, caseTModel, caseTMultilineStringContent, caseTMultilineStringEnd, caseTMultilineStringStart, caseTNat, caseTNat1, caseTNatural, caseTNatural1, caseTNewPragmaUnit, caseTNonInclusion, caseTNot, caseTNotBelonging, caseTNotEqual, caseTOf, caseTOperations, caseTOr, caseTOutputParameters, caseTOverwriteRelation, caseTPartialBijection, caseTPartialFunction, caseTPartialInjection, caseTPartialSurjection, caseTPerm, caseTPi, caseTPlus, caseTPostfix, caseTPow, caseTPow1, caseTPowerOf, caseTPragmaConversion, caseTPragmaDescription, caseTPragmaEnd, caseTPragmaFile, caseTPragmaFreeText, caseTPragmaGenerated, caseTPragmaIdOrString, caseTPragmaImportPackage, caseTPragmaLabel, caseTPragmaPackage, caseTPragmaStart, caseTPragmaSymbolic, caseTPragmaUnit, caseTPragmaUnitAlias, caseTPre, caseTPred, caseTPredicateIdentifier, caseTPredicates, caseTPrefix, caseTPrj1, caseTPrj2, caseTProduct, caseTPromotes, caseTProperties, caseTQuantifiedInter, caseTQuantifiedSet, caseTQuantifiedUnion, caseTRan, caseTRangeRestriction, caseTRangeSubtraction, caseTRank, caseTRec, caseTRefinement, caseTRefines, caseTRel, caseTRestrictHeadSequence, caseTRestrictTailSequence, caseTRev, caseTRight, caseTRightBrace, caseTRightBracket, caseTRightPar, caseTSees, caseTSelect, caseTSemicolon, caseTSeq, caseTSeq1, caseTSetRelation, caseTSets, caseTSetSubtraction, caseTShebang, caseTShebangChar, caseTShebangEnd, caseTSigma, caseTSingleQuotation, caseTSize, caseTSizet, caseTSkip, caseTSlash, caseTSon, caseTSons, caseTStar, caseTStrictInclusion, caseTStrictNonInclusion, caseTString, caseTStringLiteral, caseTStruct, caseTSubtree, caseTSucc, caseTSurjectionRelation, caseTSystem, caseTTail, caseTThen, caseTTilde, caseTTop, caseTTotalBijection, caseTTotalFunction, caseTTotalInjection, caseTTotalRelation, caseTTotalSurjection, caseTTotalSurjectionRelation, caseTTree, caseTTrue, caseTTruthPredicate, caseTUnderscore, caseTUnion, caseTUnitContent, caseTUnitId, caseTUses, caseTValue, caseTVar, caseTVariables, caseTVariant, caseTVerticalBar, caseTWhen, caseTWhere, caseTWhile, caseTWhiteSpace, defaultCase, getIn, getOut, setIn, setOut
public void inStart(Start node)
public void outStart(Start node)
public void defaultIn(Node node)
public void defaultOut(Node node)
public void caseStart(Start node)
caseStart
in interface Analysis
caseStart
in class AnalysisAdapter
public void inAGeneratedParseUnit(AGeneratedParseUnit node)
public void outAGeneratedParseUnit(AGeneratedParseUnit node)
public void caseAGeneratedParseUnit(AGeneratedParseUnit node)
caseAGeneratedParseUnit
in interface Analysis
caseAGeneratedParseUnit
in class AnalysisAdapter
public void inAPackageParseUnit(APackageParseUnit node)
public void outAPackageParseUnit(APackageParseUnit node)
public void caseAPackageParseUnit(APackageParseUnit node)
caseAPackageParseUnit
in interface Analysis
caseAPackageParseUnit
in class AnalysisAdapter
public void inAUnitAliasParseUnit(AUnitAliasParseUnit node)
public void outAUnitAliasParseUnit(AUnitAliasParseUnit node)
public void caseAUnitAliasParseUnit(AUnitAliasParseUnit node)
caseAUnitAliasParseUnit
in interface Analysis
caseAUnitAliasParseUnit
in class AnalysisAdapter
public void inAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
public void outAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
public void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit
in interface Analysis
caseAAbstractMachineParseUnit
in class AnalysisAdapter
public void inARefinementMachineParseUnit(ARefinementMachineParseUnit node)
public void outARefinementMachineParseUnit(ARefinementMachineParseUnit node)
public void caseARefinementMachineParseUnit(ARefinementMachineParseUnit node)
caseARefinementMachineParseUnit
in interface Analysis
caseARefinementMachineParseUnit
in class AnalysisAdapter
public void inAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
public void outAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
public void caseAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
caseAImplementationMachineParseUnit
in interface Analysis
caseAImplementationMachineParseUnit
in class AnalysisAdapter
public void inADefinitionFileParseUnit(ADefinitionFileParseUnit node)
public void outADefinitionFileParseUnit(ADefinitionFileParseUnit node)
public void caseADefinitionFileParseUnit(ADefinitionFileParseUnit node)
caseADefinitionFileParseUnit
in interface Analysis
caseADefinitionFileParseUnit
in class AnalysisAdapter
public void inAPredicateParseUnit(APredicateParseUnit node)
public void outAPredicateParseUnit(APredicateParseUnit node)
public void caseAPredicateParseUnit(APredicateParseUnit node)
caseAPredicateParseUnit
in interface Analysis
caseAPredicateParseUnit
in class AnalysisAdapter
public void inAExpressionParseUnit(AExpressionParseUnit node)
public void outAExpressionParseUnit(AExpressionParseUnit node)
public void caseAExpressionParseUnit(AExpressionParseUnit node)
caseAExpressionParseUnit
in interface Analysis
caseAExpressionParseUnit
in class AnalysisAdapter
public void inASubstitutionParseUnit(ASubstitutionParseUnit node)
public void outASubstitutionParseUnit(ASubstitutionParseUnit node)
public void caseASubstitutionParseUnit(ASubstitutionParseUnit node)
caseASubstitutionParseUnit
in interface Analysis
caseASubstitutionParseUnit
in class AnalysisAdapter
public void inAMachineClauseParseUnit(AMachineClauseParseUnit node)
public void outAMachineClauseParseUnit(AMachineClauseParseUnit node)
public void caseAMachineClauseParseUnit(AMachineClauseParseUnit node)
caseAMachineClauseParseUnit
in interface Analysis
caseAMachineClauseParseUnit
in class AnalysisAdapter
public void inAEventBContextParseUnit(AEventBContextParseUnit node)
public void outAEventBContextParseUnit(AEventBContextParseUnit node)
public void caseAEventBContextParseUnit(AEventBContextParseUnit node)
caseAEventBContextParseUnit
in interface Analysis
caseAEventBContextParseUnit
in class AnalysisAdapter
public void inAEventBModelParseUnit(AEventBModelParseUnit node)
public void outAEventBModelParseUnit(AEventBModelParseUnit node)
public void caseAEventBModelParseUnit(AEventBModelParseUnit node)
caseAEventBModelParseUnit
in interface Analysis
caseAEventBModelParseUnit
in class AnalysisAdapter
public void inAOppatternParseUnit(AOppatternParseUnit node)
public void outAOppatternParseUnit(AOppatternParseUnit node)
public void caseAOppatternParseUnit(AOppatternParseUnit node)
caseAOppatternParseUnit
in interface Analysis
caseAOppatternParseUnit
in class AnalysisAdapter
public void inAParseUnitDefinitionParseUnit(AParseUnitDefinitionParseUnit node)
public void outAParseUnitDefinitionParseUnit(AParseUnitDefinitionParseUnit node)
public void caseAParseUnitDefinitionParseUnit(AParseUnitDefinitionParseUnit node)
caseAParseUnitDefinitionParseUnit
in interface Analysis
caseAParseUnitDefinitionParseUnit
in class AnalysisAdapter
public void inAImportPackage(AImportPackage node)
public void outAImportPackage(AImportPackage node)
public void caseAImportPackage(AImportPackage node)
caseAImportPackage
in interface Analysis
caseAImportPackage
in class AnalysisAdapter
public void inAUndefArgpattern(AUndefArgpattern node)
public void outAUndefArgpattern(AUndefArgpattern node)
public void caseAUndefArgpattern(AUndefArgpattern node)
caseAUndefArgpattern
in interface Analysis
caseAUndefArgpattern
in class AnalysisAdapter
public void inADefArgpattern(ADefArgpattern node)
public void outADefArgpattern(ADefArgpattern node)
public void caseADefArgpattern(ADefArgpattern node)
caseADefArgpattern
in interface Analysis
caseADefArgpattern
in class AnalysisAdapter
public void inAMachineMachineVariant(AMachineMachineVariant node)
public void outAMachineMachineVariant(AMachineMachineVariant node)
public void caseAMachineMachineVariant(AMachineMachineVariant node)
caseAMachineMachineVariant
in interface Analysis
caseAMachineMachineVariant
in class AnalysisAdapter
public void inAModelMachineVariant(AModelMachineVariant node)
public void outAModelMachineVariant(AModelMachineVariant node)
public void caseAModelMachineVariant(AModelMachineVariant node)
caseAModelMachineVariant
in interface Analysis
caseAModelMachineVariant
in class AnalysisAdapter
public void inASystemMachineVariant(ASystemMachineVariant node)
public void outASystemMachineVariant(ASystemMachineVariant node)
public void caseASystemMachineVariant(ASystemMachineVariant node)
caseASystemMachineVariant
in interface Analysis
caseASystemMachineVariant
in class AnalysisAdapter
public void inAMachineHeader(AMachineHeader node)
public void outAMachineHeader(AMachineHeader node)
public void caseAMachineHeader(AMachineHeader node)
caseAMachineHeader
in interface Analysis
caseAMachineHeader
in class AnalysisAdapter
public void inAExtendsContextClause(AExtendsContextClause node)
public void outAExtendsContextClause(AExtendsContextClause node)
public void caseAExtendsContextClause(AExtendsContextClause node)
caseAExtendsContextClause
in interface Analysis
caseAExtendsContextClause
in class AnalysisAdapter
public void inASetsContextClause(ASetsContextClause node)
public void outASetsContextClause(ASetsContextClause node)
public void caseASetsContextClause(ASetsContextClause node)
caseASetsContextClause
in interface Analysis
caseASetsContextClause
in class AnalysisAdapter
public void inAConstantsContextClause(AConstantsContextClause node)
public void outAConstantsContextClause(AConstantsContextClause node)
public void caseAConstantsContextClause(AConstantsContextClause node)
caseAConstantsContextClause
in interface Analysis
caseAConstantsContextClause
in class AnalysisAdapter
public void inAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
public void outAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
public void caseAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
caseAAbstractConstantsContextClause
in interface Analysis
caseAAbstractConstantsContextClause
in class AnalysisAdapter
public void inAAxiomsContextClause(AAxiomsContextClause node)
public void outAAxiomsContextClause(AAxiomsContextClause node)
public void caseAAxiomsContextClause(AAxiomsContextClause node)
caseAAxiomsContextClause
in interface Analysis
caseAAxiomsContextClause
in class AnalysisAdapter
public void inATheoremsContextClause(ATheoremsContextClause node)
public void outATheoremsContextClause(ATheoremsContextClause node)
public void caseATheoremsContextClause(ATheoremsContextClause node)
caseATheoremsContextClause
in interface Analysis
caseATheoremsContextClause
in class AnalysisAdapter
public void inARefinesModelClause(ARefinesModelClause node)
public void outARefinesModelClause(ARefinesModelClause node)
public void caseARefinesModelClause(ARefinesModelClause node)
caseARefinesModelClause
in interface Analysis
caseARefinesModelClause
in class AnalysisAdapter
public void inASeesModelClause(ASeesModelClause node)
public void outASeesModelClause(ASeesModelClause node)
public void caseASeesModelClause(ASeesModelClause node)
caseASeesModelClause
in interface Analysis
caseASeesModelClause
in class AnalysisAdapter
public void inAVariablesModelClause(AVariablesModelClause node)
public void outAVariablesModelClause(AVariablesModelClause node)
public void caseAVariablesModelClause(AVariablesModelClause node)
caseAVariablesModelClause
in interface Analysis
caseAVariablesModelClause
in class AnalysisAdapter
public void inAInvariantModelClause(AInvariantModelClause node)
public void outAInvariantModelClause(AInvariantModelClause node)
public void caseAInvariantModelClause(AInvariantModelClause node)
caseAInvariantModelClause
in interface Analysis
caseAInvariantModelClause
in class AnalysisAdapter
public void inATheoremsModelClause(ATheoremsModelClause node)
public void outATheoremsModelClause(ATheoremsModelClause node)
public void caseATheoremsModelClause(ATheoremsModelClause node)
caseATheoremsModelClause
in interface Analysis
caseATheoremsModelClause
in class AnalysisAdapter
public void inAVariantModelClause(AVariantModelClause node)
public void outAVariantModelClause(AVariantModelClause node)
public void caseAVariantModelClause(AVariantModelClause node)
caseAVariantModelClause
in interface Analysis
caseAVariantModelClause
in class AnalysisAdapter
public void inAEventsModelClause(AEventsModelClause node)
public void outAEventsModelClause(AEventsModelClause node)
public void caseAEventsModelClause(AEventsModelClause node)
caseAEventsModelClause
in interface Analysis
caseAEventsModelClause
in class AnalysisAdapter
public void inADefinitionsMachineClause(ADefinitionsMachineClause node)
public void outADefinitionsMachineClause(ADefinitionsMachineClause node)
public void caseADefinitionsMachineClause(ADefinitionsMachineClause node)
caseADefinitionsMachineClause
in interface Analysis
caseADefinitionsMachineClause
in class AnalysisAdapter
public void inASeesMachineClause(ASeesMachineClause node)
public void outASeesMachineClause(ASeesMachineClause node)
public void caseASeesMachineClause(ASeesMachineClause node)
caseASeesMachineClause
in interface Analysis
caseASeesMachineClause
in class AnalysisAdapter
public void inAPromotesMachineClause(APromotesMachineClause node)
public void outAPromotesMachineClause(APromotesMachineClause node)
public void caseAPromotesMachineClause(APromotesMachineClause node)
caseAPromotesMachineClause
in interface Analysis
caseAPromotesMachineClause
in class AnalysisAdapter
public void inAUsesMachineClause(AUsesMachineClause node)
public void outAUsesMachineClause(AUsesMachineClause node)
public void caseAUsesMachineClause(AUsesMachineClause node)
caseAUsesMachineClause
in interface Analysis
caseAUsesMachineClause
in class AnalysisAdapter
public void inAIncludesMachineClause(AIncludesMachineClause node)
public void outAIncludesMachineClause(AIncludesMachineClause node)
public void caseAIncludesMachineClause(AIncludesMachineClause node)
caseAIncludesMachineClause
in interface Analysis
caseAIncludesMachineClause
in class AnalysisAdapter
public void inAExtendsMachineClause(AExtendsMachineClause node)
public void outAExtendsMachineClause(AExtendsMachineClause node)
public void caseAExtendsMachineClause(AExtendsMachineClause node)
caseAExtendsMachineClause
in interface Analysis
caseAExtendsMachineClause
in class AnalysisAdapter
public void inAImportsMachineClause(AImportsMachineClause node)
public void outAImportsMachineClause(AImportsMachineClause node)
public void caseAImportsMachineClause(AImportsMachineClause node)
caseAImportsMachineClause
in interface Analysis
caseAImportsMachineClause
in class AnalysisAdapter
public void inASetsMachineClause(ASetsMachineClause node)
public void outASetsMachineClause(ASetsMachineClause node)
public void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause
in interface Analysis
caseASetsMachineClause
in class AnalysisAdapter
public void inAFreetypesMachineClause(AFreetypesMachineClause node)
public void outAFreetypesMachineClause(AFreetypesMachineClause node)
public void caseAFreetypesMachineClause(AFreetypesMachineClause node)
caseAFreetypesMachineClause
in interface Analysis
caseAFreetypesMachineClause
in class AnalysisAdapter
public void inAVariablesMachineClause(AVariablesMachineClause node)
public void outAVariablesMachineClause(AVariablesMachineClause node)
public void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause
in interface Analysis
caseAVariablesMachineClause
in class AnalysisAdapter
public void inAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
public void outAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
public void caseAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
caseAConcreteVariablesMachineClause
in interface Analysis
caseAConcreteVariablesMachineClause
in class AnalysisAdapter
public void inAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
public void outAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
public void caseAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
caseAAbstractConstantsMachineClause
in interface Analysis
caseAAbstractConstantsMachineClause
in class AnalysisAdapter
public void inAConstantsMachineClause(AConstantsMachineClause node)
public void outAConstantsMachineClause(AConstantsMachineClause node)
public void caseAConstantsMachineClause(AConstantsMachineClause node)
caseAConstantsMachineClause
in interface Analysis
caseAConstantsMachineClause
in class AnalysisAdapter
public void inAPropertiesMachineClause(APropertiesMachineClause node)
public void outAPropertiesMachineClause(APropertiesMachineClause node)
public void caseAPropertiesMachineClause(APropertiesMachineClause node)
caseAPropertiesMachineClause
in interface Analysis
caseAPropertiesMachineClause
in class AnalysisAdapter
public void inAConstraintsMachineClause(AConstraintsMachineClause node)
public void outAConstraintsMachineClause(AConstraintsMachineClause node)
public void caseAConstraintsMachineClause(AConstraintsMachineClause node)
caseAConstraintsMachineClause
in interface Analysis
caseAConstraintsMachineClause
in class AnalysisAdapter
public void inAInitialisationMachineClause(AInitialisationMachineClause node)
public void outAInitialisationMachineClause(AInitialisationMachineClause node)
public void caseAInitialisationMachineClause(AInitialisationMachineClause node)
caseAInitialisationMachineClause
in interface Analysis
caseAInitialisationMachineClause
in class AnalysisAdapter
public void inAInvariantMachineClause(AInvariantMachineClause node)
public void outAInvariantMachineClause(AInvariantMachineClause node)
public void caseAInvariantMachineClause(AInvariantMachineClause node)
caseAInvariantMachineClause
in interface Analysis
caseAInvariantMachineClause
in class AnalysisAdapter
public void inAAssertionsMachineClause(AAssertionsMachineClause node)
public void outAAssertionsMachineClause(AAssertionsMachineClause node)
public void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause
in interface Analysis
caseAAssertionsMachineClause
in class AnalysisAdapter
public void inAValuesMachineClause(AValuesMachineClause node)
public void outAValuesMachineClause(AValuesMachineClause node)
public void caseAValuesMachineClause(AValuesMachineClause node)
caseAValuesMachineClause
in interface Analysis
caseAValuesMachineClause
in class AnalysisAdapter
public void inALocalOperationsMachineClause(ALocalOperationsMachineClause node)
public void outALocalOperationsMachineClause(ALocalOperationsMachineClause node)
public void caseALocalOperationsMachineClause(ALocalOperationsMachineClause node)
caseALocalOperationsMachineClause
in interface Analysis
caseALocalOperationsMachineClause
in class AnalysisAdapter
public void inAOperationsMachineClause(AOperationsMachineClause node)
public void outAOperationsMachineClause(AOperationsMachineClause node)
public void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause
in interface Analysis
caseAOperationsMachineClause
in class AnalysisAdapter
public void inAReferencesMachineClause(AReferencesMachineClause node)
public void outAReferencesMachineClause(AReferencesMachineClause node)
public void caseAReferencesMachineClause(AReferencesMachineClause node)
caseAReferencesMachineClause
in interface Analysis
caseAReferencesMachineClause
in class AnalysisAdapter
public void inAInvalidOperationsClauseMachineClause(AInvalidOperationsClauseMachineClause node)
public void outAInvalidOperationsClauseMachineClause(AInvalidOperationsClauseMachineClause node)
public void caseAInvalidOperationsClauseMachineClause(AInvalidOperationsClauseMachineClause node)
caseAInvalidOperationsClauseMachineClause
in interface Analysis
caseAInvalidOperationsClauseMachineClause
in class AnalysisAdapter
public void inAExpressionsMachineClause(AExpressionsMachineClause node)
public void outAExpressionsMachineClause(AExpressionsMachineClause node)
public void caseAExpressionsMachineClause(AExpressionsMachineClause node)
caseAExpressionsMachineClause
in interface Analysis
caseAExpressionsMachineClause
in class AnalysisAdapter
public void inAPredicatesMachineClause(APredicatesMachineClause node)
public void outAPredicatesMachineClause(APredicatesMachineClause node)
public void caseAPredicatesMachineClause(APredicatesMachineClause node)
caseAPredicatesMachineClause
in interface Analysis
caseAPredicatesMachineClause
in class AnalysisAdapter
public void inAMachineReference(AMachineReference node)
public void outAMachineReference(AMachineReference node)
public void caseAMachineReference(AMachineReference node)
caseAMachineReference
in interface Analysis
caseAMachineReference
in class AnalysisAdapter
public void inAFileMachineReference(AFileMachineReference node)
public void outAFileMachineReference(AFileMachineReference node)
public void caseAFileMachineReference(AFileMachineReference node)
caseAFileMachineReference
in interface Analysis
caseAFileMachineReference
in class AnalysisAdapter
public void inAExpressionDefinition(AExpressionDefinition node)
public void outAExpressionDefinition(AExpressionDefinition node)
public void caseAExpressionDefinition(AExpressionDefinition node)
caseAExpressionDefinition
in interface Analysis
caseAExpressionDefinition
in class AnalysisAdapter
public void inAPredicateDefinition(APredicateDefinition node)
public void outAPredicateDefinition(APredicateDefinition node)
public void caseAPredicateDefinition(APredicateDefinition node)
caseAPredicateDefinition
in interface Analysis
caseAPredicateDefinition
in class AnalysisAdapter
public void inAConversionDefinition(AConversionDefinition node)
public void outAConversionDefinition(AConversionDefinition node)
public void caseAConversionDefinition(AConversionDefinition node)
caseAConversionDefinition
in interface Analysis
caseAConversionDefinition
in class AnalysisAdapter
public void inAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
public void outAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
public void caseAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
caseAPredicateDefinitionDefinition
in interface Analysis
caseAPredicateDefinitionDefinition
in class AnalysisAdapter
public void inASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
public void outASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
public void caseASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
caseASubstitutionDefinitionDefinition
in interface Analysis
caseASubstitutionDefinitionDefinition
in class AnalysisAdapter
public void inAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
public void outAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
public void caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition
in interface Analysis
caseAExpressionDefinitionDefinition
in class AnalysisAdapter
public void inAFileDefinitionDefinition(AFileDefinitionDefinition node)
public void outAFileDefinitionDefinition(AFileDefinitionDefinition node)
public void caseAFileDefinitionDefinition(AFileDefinitionDefinition node)
caseAFileDefinitionDefinition
in interface Analysis
caseAFileDefinitionDefinition
in class AnalysisAdapter
public void inADescriptionSet(ADescriptionSet node)
public void outADescriptionSet(ADescriptionSet node)
public void caseADescriptionSet(ADescriptionSet node)
caseADescriptionSet
in interface Analysis
caseADescriptionSet
in class AnalysisAdapter
public void inADeferredSetSet(ADeferredSetSet node)
public void outADeferredSetSet(ADeferredSetSet node)
public void caseADeferredSetSet(ADeferredSetSet node)
caseADeferredSetSet
in interface Analysis
caseADeferredSetSet
in class AnalysisAdapter
public void inAEnumeratedSetSet(AEnumeratedSetSet node)
public void outAEnumeratedSetSet(AEnumeratedSetSet node)
public void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet
in interface Analysis
caseAEnumeratedSetSet
in class AnalysisAdapter
public void inAFreetype(AFreetype node)
public void outAFreetype(AFreetype node)
public void caseAFreetype(AFreetype node)
caseAFreetype
in interface Analysis
caseAFreetype
in class AnalysisAdapter
public void inAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
public void outAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
public void caseAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
caseAConstructorFreetypeConstructor
in interface Analysis
caseAConstructorFreetypeConstructor
in class AnalysisAdapter
public void inAElementFreetypeConstructor(AElementFreetypeConstructor node)
public void outAElementFreetypeConstructor(AElementFreetypeConstructor node)
public void caseAElementFreetypeConstructor(AElementFreetypeConstructor node)
caseAElementFreetypeConstructor
in interface Analysis
caseAElementFreetypeConstructor
in class AnalysisAdapter
public void inAValuesEntry(AValuesEntry node)
public void outAValuesEntry(AValuesEntry node)
public void caseAValuesEntry(AValuesEntry node)
caseAValuesEntry
in interface Analysis
caseAValuesEntry
in class AnalysisAdapter
public void inAOperation(AOperation node)
public void outAOperation(AOperation node)
public void caseAOperation(AOperation node)
caseAOperation
in interface Analysis
caseAOperation
in class AnalysisAdapter
public void inAMissingSemicolonOperation(AMissingSemicolonOperation node)
public void outAMissingSemicolonOperation(AMissingSemicolonOperation node)
public void caseAMissingSemicolonOperation(AMissingSemicolonOperation node)
caseAMissingSemicolonOperation
in interface Analysis
caseAMissingSemicolonOperation
in class AnalysisAdapter
public void inARuleOperation(ARuleOperation node)
public void outARuleOperation(ARuleOperation node)
public void caseARuleOperation(ARuleOperation node)
caseARuleOperation
in interface Analysis
caseARuleOperation
in class AnalysisAdapter
public void inAComputationOperation(AComputationOperation node)
public void outAComputationOperation(AComputationOperation node)
public void caseAComputationOperation(AComputationOperation node)
caseAComputationOperation
in interface Analysis
caseAComputationOperation
in class AnalysisAdapter
public void inAFunctionOperation(AFunctionOperation node)
public void outAFunctionOperation(AFunctionOperation node)
public void caseAFunctionOperation(AFunctionOperation node)
caseAFunctionOperation
in interface Analysis
caseAFunctionOperation
in class AnalysisAdapter
public void inAOperationAttribute(AOperationAttribute node)
public void outAOperationAttribute(AOperationAttribute node)
public void caseAOperationAttribute(AOperationAttribute node)
caseAOperationAttribute
in interface Analysis
caseAOperationAttribute
in class AnalysisAdapter
public void inAPredicateAttributeOperationAttribute(APredicateAttributeOperationAttribute node)
public void outAPredicateAttributeOperationAttribute(APredicateAttributeOperationAttribute node)
public void caseAPredicateAttributeOperationAttribute(APredicateAttributeOperationAttribute node)
caseAPredicateAttributeOperationAttribute
in interface Analysis
caseAPredicateAttributeOperationAttribute
in class AnalysisAdapter
public void inAEvent(AEvent node)
public void outAEvent(AEvent node)
public void caseAEvent(AEvent node)
caseAEvent
in interface Analysis
caseAEvent
in class AnalysisAdapter
public void inAWitness(AWitness node)
public void outAWitness(AWitness node)
public void caseAWitness(AWitness node)
caseAWitness
in interface Analysis
caseAWitness
in class AnalysisAdapter
public void inAOrdinaryEventstatus(AOrdinaryEventstatus node)
public void outAOrdinaryEventstatus(AOrdinaryEventstatus node)
public void caseAOrdinaryEventstatus(AOrdinaryEventstatus node)
caseAOrdinaryEventstatus
in interface Analysis
caseAOrdinaryEventstatus
in class AnalysisAdapter
public void inAAnticipatedEventstatus(AAnticipatedEventstatus node)
public void outAAnticipatedEventstatus(AAnticipatedEventstatus node)
public void caseAAnticipatedEventstatus(AAnticipatedEventstatus node)
caseAAnticipatedEventstatus
in interface Analysis
caseAAnticipatedEventstatus
in class AnalysisAdapter
public void inAConvergentEventstatus(AConvergentEventstatus node)
public void outAConvergentEventstatus(AConvergentEventstatus node)
public void caseAConvergentEventstatus(AConvergentEventstatus node)
caseAConvergentEventstatus
in interface Analysis
caseAConvergentEventstatus
in class AnalysisAdapter
public void inADescriptionPredicate(ADescriptionPredicate node)
public void outADescriptionPredicate(ADescriptionPredicate node)
public void caseADescriptionPredicate(ADescriptionPredicate node)
caseADescriptionPredicate
in interface Analysis
caseADescriptionPredicate
in class AnalysisAdapter
public void inALabelPredicate(ALabelPredicate node)
public void outALabelPredicate(ALabelPredicate node)
public void caseALabelPredicate(ALabelPredicate node)
caseALabelPredicate
in interface Analysis
caseALabelPredicate
in class AnalysisAdapter
public void inASubstitutionPredicate(ASubstitutionPredicate node)
public void outASubstitutionPredicate(ASubstitutionPredicate node)
public void caseASubstitutionPredicate(ASubstitutionPredicate node)
caseASubstitutionPredicate
in interface Analysis
caseASubstitutionPredicate
in class AnalysisAdapter
public void inAConjunctPredicate(AConjunctPredicate node)
public void outAConjunctPredicate(AConjunctPredicate node)
public void caseAConjunctPredicate(AConjunctPredicate node)
caseAConjunctPredicate
in interface Analysis
caseAConjunctPredicate
in class AnalysisAdapter
public void inANegationPredicate(ANegationPredicate node)
public void outANegationPredicate(ANegationPredicate node)
public void caseANegationPredicate(ANegationPredicate node)
caseANegationPredicate
in interface Analysis
caseANegationPredicate
in class AnalysisAdapter
public void inADisjunctPredicate(ADisjunctPredicate node)
public void outADisjunctPredicate(ADisjunctPredicate node)
public void caseADisjunctPredicate(ADisjunctPredicate node)
caseADisjunctPredicate
in interface Analysis
caseADisjunctPredicate
in class AnalysisAdapter
public void inAImplicationPredicate(AImplicationPredicate node)
public void outAImplicationPredicate(AImplicationPredicate node)
public void caseAImplicationPredicate(AImplicationPredicate node)
caseAImplicationPredicate
in interface Analysis
caseAImplicationPredicate
in class AnalysisAdapter
public void inAEquivalencePredicate(AEquivalencePredicate node)
public void outAEquivalencePredicate(AEquivalencePredicate node)
public void caseAEquivalencePredicate(AEquivalencePredicate node)
caseAEquivalencePredicate
in interface Analysis
caseAEquivalencePredicate
in class AnalysisAdapter
public void inAForallPredicate(AForallPredicate node)
public void outAForallPredicate(AForallPredicate node)
public void caseAForallPredicate(AForallPredicate node)
caseAForallPredicate
in interface Analysis
caseAForallPredicate
in class AnalysisAdapter
public void inAExistsPredicate(AExistsPredicate node)
public void outAExistsPredicate(AExistsPredicate node)
public void caseAExistsPredicate(AExistsPredicate node)
caseAExistsPredicate
in interface Analysis
caseAExistsPredicate
in class AnalysisAdapter
public void inAEqualPredicate(AEqualPredicate node)
public void outAEqualPredicate(AEqualPredicate node)
public void caseAEqualPredicate(AEqualPredicate node)
caseAEqualPredicate
in interface Analysis
caseAEqualPredicate
in class AnalysisAdapter
public void inANotEqualPredicate(ANotEqualPredicate node)
public void outANotEqualPredicate(ANotEqualPredicate node)
public void caseANotEqualPredicate(ANotEqualPredicate node)
caseANotEqualPredicate
in interface Analysis
caseANotEqualPredicate
in class AnalysisAdapter
public void inAMemberPredicate(AMemberPredicate node)
public void outAMemberPredicate(AMemberPredicate node)
public void caseAMemberPredicate(AMemberPredicate node)
caseAMemberPredicate
in interface Analysis
caseAMemberPredicate
in class AnalysisAdapter
public void inANotMemberPredicate(ANotMemberPredicate node)
public void outANotMemberPredicate(ANotMemberPredicate node)
public void caseANotMemberPredicate(ANotMemberPredicate node)
caseANotMemberPredicate
in interface Analysis
caseANotMemberPredicate
in class AnalysisAdapter
public void inASubsetPredicate(ASubsetPredicate node)
public void outASubsetPredicate(ASubsetPredicate node)
public void caseASubsetPredicate(ASubsetPredicate node)
caseASubsetPredicate
in interface Analysis
caseASubsetPredicate
in class AnalysisAdapter
public void inASubsetStrictPredicate(ASubsetStrictPredicate node)
public void outASubsetStrictPredicate(ASubsetStrictPredicate node)
public void caseASubsetStrictPredicate(ASubsetStrictPredicate node)
caseASubsetStrictPredicate
in interface Analysis
caseASubsetStrictPredicate
in class AnalysisAdapter
public void inANotSubsetPredicate(ANotSubsetPredicate node)
public void outANotSubsetPredicate(ANotSubsetPredicate node)
public void caseANotSubsetPredicate(ANotSubsetPredicate node)
caseANotSubsetPredicate
in interface Analysis
caseANotSubsetPredicate
in class AnalysisAdapter
public void inANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
public void outANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
public void caseANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
caseANotSubsetStrictPredicate
in interface Analysis
caseANotSubsetStrictPredicate
in class AnalysisAdapter
public void inALessEqualPredicate(ALessEqualPredicate node)
public void outALessEqualPredicate(ALessEqualPredicate node)
public void caseALessEqualPredicate(ALessEqualPredicate node)
caseALessEqualPredicate
in interface Analysis
caseALessEqualPredicate
in class AnalysisAdapter
public void inALessPredicate(ALessPredicate node)
public void outALessPredicate(ALessPredicate node)
public void caseALessPredicate(ALessPredicate node)
caseALessPredicate
in interface Analysis
caseALessPredicate
in class AnalysisAdapter
public void inAGreaterEqualPredicate(AGreaterEqualPredicate node)
public void outAGreaterEqualPredicate(AGreaterEqualPredicate node)
public void caseAGreaterEqualPredicate(AGreaterEqualPredicate node)
caseAGreaterEqualPredicate
in interface Analysis
caseAGreaterEqualPredicate
in class AnalysisAdapter
public void inAGreaterPredicate(AGreaterPredicate node)
public void outAGreaterPredicate(AGreaterPredicate node)
public void caseAGreaterPredicate(AGreaterPredicate node)
caseAGreaterPredicate
in interface Analysis
caseAGreaterPredicate
in class AnalysisAdapter
public void inATruthPredicate(ATruthPredicate node)
public void outATruthPredicate(ATruthPredicate node)
public void caseATruthPredicate(ATruthPredicate node)
caseATruthPredicate
in interface Analysis
caseATruthPredicate
in class AnalysisAdapter
public void inAFalsityPredicate(AFalsityPredicate node)
public void outAFalsityPredicate(AFalsityPredicate node)
public void caseAFalsityPredicate(AFalsityPredicate node)
caseAFalsityPredicate
in interface Analysis
caseAFalsityPredicate
in class AnalysisAdapter
public void inAFinitePredicate(AFinitePredicate node)
public void outAFinitePredicate(AFinitePredicate node)
public void caseAFinitePredicate(AFinitePredicate node)
caseAFinitePredicate
in interface Analysis
caseAFinitePredicate
in class AnalysisAdapter
public void inAPartitionPredicate(APartitionPredicate node)
public void outAPartitionPredicate(APartitionPredicate node)
public void caseAPartitionPredicate(APartitionPredicate node)
caseAPartitionPredicate
in interface Analysis
caseAPartitionPredicate
in class AnalysisAdapter
public void inADefinitionPredicate(ADefinitionPredicate node)
public void outADefinitionPredicate(ADefinitionPredicate node)
public void caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate
in interface Analysis
caseADefinitionPredicate
in class AnalysisAdapter
public void inAPredicateIdentifierPredicate(APredicateIdentifierPredicate node)
public void outAPredicateIdentifierPredicate(APredicateIdentifierPredicate node)
public void caseAPredicateIdentifierPredicate(APredicateIdentifierPredicate node)
caseAPredicateIdentifierPredicate
in interface Analysis
caseAPredicateIdentifierPredicate
in class AnalysisAdapter
public void inAPredicateFunctionPredicate(APredicateFunctionPredicate node)
public void outAPredicateFunctionPredicate(APredicateFunctionPredicate node)
public void caseAPredicateFunctionPredicate(APredicateFunctionPredicate node)
caseAPredicateFunctionPredicate
in interface Analysis
caseAPredicateFunctionPredicate
in class AnalysisAdapter
public void inALetPredicatePredicate(ALetPredicatePredicate node)
public void outALetPredicatePredicate(ALetPredicatePredicate node)
public void caseALetPredicatePredicate(ALetPredicatePredicate node)
caseALetPredicatePredicate
in interface Analysis
caseALetPredicatePredicate
in class AnalysisAdapter
public void inAIfPredicatePredicate(AIfPredicatePredicate node)
public void outAIfPredicatePredicate(AIfPredicatePredicate node)
public void caseAIfPredicatePredicate(AIfPredicatePredicate node)
caseAIfPredicatePredicate
in interface Analysis
caseAIfPredicatePredicate
in class AnalysisAdapter
public void inAExtendedPredPredicate(AExtendedPredPredicate node)
public void outAExtendedPredPredicate(AExtendedPredPredicate node)
public void caseAExtendedPredPredicate(AExtendedPredPredicate node)
caseAExtendedPredPredicate
in interface Analysis
caseAExtendedPredPredicate
in class AnalysisAdapter
public void inAOperatorPredicate(AOperatorPredicate node)
public void outAOperatorPredicate(AOperatorPredicate node)
public void caseAOperatorPredicate(AOperatorPredicate node)
caseAOperatorPredicate
in interface Analysis
caseAOperatorPredicate
in class AnalysisAdapter
public void inAFileExpression(AFileExpression node)
public void outAFileExpression(AFileExpression node)
public void caseAFileExpression(AFileExpression node)
caseAFileExpression
in interface Analysis
caseAFileExpression
in class AnalysisAdapter
public void inADescriptionExpression(ADescriptionExpression node)
public void outADescriptionExpression(ADescriptionExpression node)
public void caseADescriptionExpression(ADescriptionExpression node)
caseADescriptionExpression
in interface Analysis
caseADescriptionExpression
in class AnalysisAdapter
public void inAUnitExpression(AUnitExpression node)
public void outAUnitExpression(AUnitExpression node)
public void caseAUnitExpression(AUnitExpression node)
caseAUnitExpression
in interface Analysis
caseAUnitExpression
in class AnalysisAdapter
public void inANewUnitExpression(ANewUnitExpression node)
public void outANewUnitExpression(ANewUnitExpression node)
public void caseANewUnitExpression(ANewUnitExpression node)
caseANewUnitExpression
in interface Analysis
caseANewUnitExpression
in class AnalysisAdapter
public void inAInferredUnitExpression(AInferredUnitExpression node)
public void outAInferredUnitExpression(AInferredUnitExpression node)
public void caseAInferredUnitExpression(AInferredUnitExpression node)
caseAInferredUnitExpression
in interface Analysis
caseAInferredUnitExpression
in class AnalysisAdapter
public void inAIdentifierExpression(AIdentifierExpression node)
public void outAIdentifierExpression(AIdentifierExpression node)
public void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression
in interface Analysis
caseAIdentifierExpression
in class AnalysisAdapter
public void inAPrimedIdentifierExpression(APrimedIdentifierExpression node)
public void outAPrimedIdentifierExpression(APrimedIdentifierExpression node)
public void caseAPrimedIdentifierExpression(APrimedIdentifierExpression node)
caseAPrimedIdentifierExpression
in interface Analysis
caseAPrimedIdentifierExpression
in class AnalysisAdapter
public void inAStringExpression(AStringExpression node)
public void outAStringExpression(AStringExpression node)
public void caseAStringExpression(AStringExpression node)
caseAStringExpression
in interface Analysis
caseAStringExpression
in class AnalysisAdapter
public void inAMultilineStringExpression(AMultilineStringExpression node)
public void outAMultilineStringExpression(AMultilineStringExpression node)
public void caseAMultilineStringExpression(AMultilineStringExpression node)
caseAMultilineStringExpression
in interface Analysis
caseAMultilineStringExpression
in class AnalysisAdapter
public void inABooleanTrueExpression(ABooleanTrueExpression node)
public void outABooleanTrueExpression(ABooleanTrueExpression node)
public void caseABooleanTrueExpression(ABooleanTrueExpression node)
caseABooleanTrueExpression
in interface Analysis
caseABooleanTrueExpression
in class AnalysisAdapter
public void inABooleanFalseExpression(ABooleanFalseExpression node)
public void outABooleanFalseExpression(ABooleanFalseExpression node)
public void caseABooleanFalseExpression(ABooleanFalseExpression node)
caseABooleanFalseExpression
in interface Analysis
caseABooleanFalseExpression
in class AnalysisAdapter
public void inAIntegerExpression(AIntegerExpression node)
public void outAIntegerExpression(AIntegerExpression node)
public void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression
in interface Analysis
caseAIntegerExpression
in class AnalysisAdapter
public void inAMaxIntExpression(AMaxIntExpression node)
public void outAMaxIntExpression(AMaxIntExpression node)
public void caseAMaxIntExpression(AMaxIntExpression node)
caseAMaxIntExpression
in interface Analysis
caseAMaxIntExpression
in class AnalysisAdapter
public void inAMinIntExpression(AMinIntExpression node)
public void outAMinIntExpression(AMinIntExpression node)
public void caseAMinIntExpression(AMinIntExpression node)
caseAMinIntExpression
in interface Analysis
caseAMinIntExpression
in class AnalysisAdapter
public void inAEmptySetExpression(AEmptySetExpression node)
public void outAEmptySetExpression(AEmptySetExpression node)
public void caseAEmptySetExpression(AEmptySetExpression node)
caseAEmptySetExpression
in interface Analysis
caseAEmptySetExpression
in class AnalysisAdapter
public void inAIntegerSetExpression(AIntegerSetExpression node)
public void outAIntegerSetExpression(AIntegerSetExpression node)
public void caseAIntegerSetExpression(AIntegerSetExpression node)
caseAIntegerSetExpression
in interface Analysis
caseAIntegerSetExpression
in class AnalysisAdapter
public void inANaturalSetExpression(ANaturalSetExpression node)
public void outANaturalSetExpression(ANaturalSetExpression node)
public void caseANaturalSetExpression(ANaturalSetExpression node)
caseANaturalSetExpression
in interface Analysis
caseANaturalSetExpression
in class AnalysisAdapter
public void inANatural1SetExpression(ANatural1SetExpression node)
public void outANatural1SetExpression(ANatural1SetExpression node)
public void caseANatural1SetExpression(ANatural1SetExpression node)
caseANatural1SetExpression
in interface Analysis
caseANatural1SetExpression
in class AnalysisAdapter
public void inANatSetExpression(ANatSetExpression node)
public void outANatSetExpression(ANatSetExpression node)
public void caseANatSetExpression(ANatSetExpression node)
caseANatSetExpression
in interface Analysis
caseANatSetExpression
in class AnalysisAdapter
public void inANat1SetExpression(ANat1SetExpression node)
public void outANat1SetExpression(ANat1SetExpression node)
public void caseANat1SetExpression(ANat1SetExpression node)
caseANat1SetExpression
in interface Analysis
caseANat1SetExpression
in class AnalysisAdapter
public void inAIntSetExpression(AIntSetExpression node)
public void outAIntSetExpression(AIntSetExpression node)
public void caseAIntSetExpression(AIntSetExpression node)
caseAIntSetExpression
in interface Analysis
caseAIntSetExpression
in class AnalysisAdapter
public void inABoolSetExpression(ABoolSetExpression node)
public void outABoolSetExpression(ABoolSetExpression node)
public void caseABoolSetExpression(ABoolSetExpression node)
caseABoolSetExpression
in interface Analysis
caseABoolSetExpression
in class AnalysisAdapter
public void inAStringSetExpression(AStringSetExpression node)
public void outAStringSetExpression(AStringSetExpression node)
public void caseAStringSetExpression(AStringSetExpression node)
caseAStringSetExpression
in interface Analysis
caseAStringSetExpression
in class AnalysisAdapter
public void inAConvertBoolExpression(AConvertBoolExpression node)
public void outAConvertBoolExpression(AConvertBoolExpression node)
public void caseAConvertBoolExpression(AConvertBoolExpression node)
caseAConvertBoolExpression
in interface Analysis
caseAConvertBoolExpression
in class AnalysisAdapter
public void inAAddExpression(AAddExpression node)
public void outAAddExpression(AAddExpression node)
public void caseAAddExpression(AAddExpression node)
caseAAddExpression
in interface Analysis
caseAAddExpression
in class AnalysisAdapter
public void inAMinusExpression(AMinusExpression node)
public void outAMinusExpression(AMinusExpression node)
public void caseAMinusExpression(AMinusExpression node)
caseAMinusExpression
in interface Analysis
caseAMinusExpression
in class AnalysisAdapter
public void inAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
public void outAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
public void caseAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
caseAMinusOrSetSubtractExpression
in interface Analysis
caseAMinusOrSetSubtractExpression
in class AnalysisAdapter
public void inAUnaryMinusExpression(AUnaryMinusExpression node)
public void outAUnaryMinusExpression(AUnaryMinusExpression node)
public void caseAUnaryMinusExpression(AUnaryMinusExpression node)
caseAUnaryMinusExpression
in interface Analysis
caseAUnaryMinusExpression
in class AnalysisAdapter
public void inAMultiplicationExpression(AMultiplicationExpression node)
public void outAMultiplicationExpression(AMultiplicationExpression node)
public void caseAMultiplicationExpression(AMultiplicationExpression node)
caseAMultiplicationExpression
in interface Analysis
caseAMultiplicationExpression
in class AnalysisAdapter
public void inACartesianProductExpression(ACartesianProductExpression node)
public void outACartesianProductExpression(ACartesianProductExpression node)
public void caseACartesianProductExpression(ACartesianProductExpression node)
caseACartesianProductExpression
in interface Analysis
caseACartesianProductExpression
in class AnalysisAdapter
public void inAMultOrCartExpression(AMultOrCartExpression node)
public void outAMultOrCartExpression(AMultOrCartExpression node)
public void caseAMultOrCartExpression(AMultOrCartExpression node)
caseAMultOrCartExpression
in interface Analysis
caseAMultOrCartExpression
in class AnalysisAdapter
public void inADivExpression(ADivExpression node)
public void outADivExpression(ADivExpression node)
public void caseADivExpression(ADivExpression node)
caseADivExpression
in interface Analysis
caseADivExpression
in class AnalysisAdapter
public void inAFlooredDivExpression(AFlooredDivExpression node)
public void outAFlooredDivExpression(AFlooredDivExpression node)
public void caseAFlooredDivExpression(AFlooredDivExpression node)
caseAFlooredDivExpression
in interface Analysis
caseAFlooredDivExpression
in class AnalysisAdapter
public void inAIfThenElseExpression(AIfThenElseExpression node)
public void outAIfThenElseExpression(AIfThenElseExpression node)
public void caseAIfThenElseExpression(AIfThenElseExpression node)
caseAIfThenElseExpression
in interface Analysis
caseAIfThenElseExpression
in class AnalysisAdapter
public void inALetExpressionExpression(ALetExpressionExpression node)
public void outALetExpressionExpression(ALetExpressionExpression node)
public void caseALetExpressionExpression(ALetExpressionExpression node)
caseALetExpressionExpression
in interface Analysis
caseALetExpressionExpression
in class AnalysisAdapter
public void inAModuloExpression(AModuloExpression node)
public void outAModuloExpression(AModuloExpression node)
public void caseAModuloExpression(AModuloExpression node)
caseAModuloExpression
in interface Analysis
caseAModuloExpression
in class AnalysisAdapter
public void inAPowerOfExpression(APowerOfExpression node)
public void outAPowerOfExpression(APowerOfExpression node)
public void caseAPowerOfExpression(APowerOfExpression node)
caseAPowerOfExpression
in interface Analysis
caseAPowerOfExpression
in class AnalysisAdapter
public void inASuccessorExpression(ASuccessorExpression node)
public void outASuccessorExpression(ASuccessorExpression node)
public void caseASuccessorExpression(ASuccessorExpression node)
caseASuccessorExpression
in interface Analysis
caseASuccessorExpression
in class AnalysisAdapter
public void inAPredecessorExpression(APredecessorExpression node)
public void outAPredecessorExpression(APredecessorExpression node)
public void caseAPredecessorExpression(APredecessorExpression node)
caseAPredecessorExpression
in interface Analysis
caseAPredecessorExpression
in class AnalysisAdapter
public void inAMaxExpression(AMaxExpression node)
public void outAMaxExpression(AMaxExpression node)
public void caseAMaxExpression(AMaxExpression node)
caseAMaxExpression
in interface Analysis
caseAMaxExpression
in class AnalysisAdapter
public void inAMinExpression(AMinExpression node)
public void outAMinExpression(AMinExpression node)
public void caseAMinExpression(AMinExpression node)
caseAMinExpression
in interface Analysis
caseAMinExpression
in class AnalysisAdapter
public void inACardExpression(ACardExpression node)
public void outACardExpression(ACardExpression node)
public void caseACardExpression(ACardExpression node)
caseACardExpression
in interface Analysis
caseACardExpression
in class AnalysisAdapter
public void inAGeneralSumExpression(AGeneralSumExpression node)
public void outAGeneralSumExpression(AGeneralSumExpression node)
public void caseAGeneralSumExpression(AGeneralSumExpression node)
caseAGeneralSumExpression
in interface Analysis
caseAGeneralSumExpression
in class AnalysisAdapter
public void inAGeneralProductExpression(AGeneralProductExpression node)
public void outAGeneralProductExpression(AGeneralProductExpression node)
public void caseAGeneralProductExpression(AGeneralProductExpression node)
caseAGeneralProductExpression
in interface Analysis
caseAGeneralProductExpression
in class AnalysisAdapter
public void inACoupleExpression(ACoupleExpression node)
public void outACoupleExpression(ACoupleExpression node)
public void caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression
in interface Analysis
caseACoupleExpression
in class AnalysisAdapter
public void inAComprehensionSetExpression(AComprehensionSetExpression node)
public void outAComprehensionSetExpression(AComprehensionSetExpression node)
public void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression
in interface Analysis
caseAComprehensionSetExpression
in class AnalysisAdapter
public void inASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
public void outASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
public void caseASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
caseASymbolicComprehensionSetExpression
in interface Analysis
caseASymbolicComprehensionSetExpression
in class AnalysisAdapter
public void inAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
public void outAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
public void caseAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
caseAProverComprehensionSetExpression
in interface Analysis
caseAProverComprehensionSetExpression
in class AnalysisAdapter
public void inAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
public void outAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
public void caseAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
caseAEventBComprehensionSetExpression
in interface Analysis
caseAEventBComprehensionSetExpression
in class AnalysisAdapter
public void inAPowSubsetExpression(APowSubsetExpression node)
public void outAPowSubsetExpression(APowSubsetExpression node)
public void caseAPowSubsetExpression(APowSubsetExpression node)
caseAPowSubsetExpression
in interface Analysis
caseAPowSubsetExpression
in class AnalysisAdapter
public void inAPow1SubsetExpression(APow1SubsetExpression node)
public void outAPow1SubsetExpression(APow1SubsetExpression node)
public void caseAPow1SubsetExpression(APow1SubsetExpression node)
caseAPow1SubsetExpression
in interface Analysis
caseAPow1SubsetExpression
in class AnalysisAdapter
public void inAFinSubsetExpression(AFinSubsetExpression node)
public void outAFinSubsetExpression(AFinSubsetExpression node)
public void caseAFinSubsetExpression(AFinSubsetExpression node)
caseAFinSubsetExpression
in interface Analysis
caseAFinSubsetExpression
in class AnalysisAdapter
public void inAFin1SubsetExpression(AFin1SubsetExpression node)
public void outAFin1SubsetExpression(AFin1SubsetExpression node)
public void caseAFin1SubsetExpression(AFin1SubsetExpression node)
caseAFin1SubsetExpression
in interface Analysis
caseAFin1SubsetExpression
in class AnalysisAdapter
public void inASetExtensionExpression(ASetExtensionExpression node)
public void outASetExtensionExpression(ASetExtensionExpression node)
public void caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression
in interface Analysis
caseASetExtensionExpression
in class AnalysisAdapter
public void inAIntervalExpression(AIntervalExpression node)
public void outAIntervalExpression(AIntervalExpression node)
public void caseAIntervalExpression(AIntervalExpression node)
caseAIntervalExpression
in interface Analysis
caseAIntervalExpression
in class AnalysisAdapter
public void inAUnionExpression(AUnionExpression node)
public void outAUnionExpression(AUnionExpression node)
public void caseAUnionExpression(AUnionExpression node)
caseAUnionExpression
in interface Analysis
caseAUnionExpression
in class AnalysisAdapter
public void inAIntersectionExpression(AIntersectionExpression node)
public void outAIntersectionExpression(AIntersectionExpression node)
public void caseAIntersectionExpression(AIntersectionExpression node)
caseAIntersectionExpression
in interface Analysis
caseAIntersectionExpression
in class AnalysisAdapter
public void inASetSubtractionExpression(ASetSubtractionExpression node)
public void outASetSubtractionExpression(ASetSubtractionExpression node)
public void caseASetSubtractionExpression(ASetSubtractionExpression node)
caseASetSubtractionExpression
in interface Analysis
caseASetSubtractionExpression
in class AnalysisAdapter
public void inAGeneralUnionExpression(AGeneralUnionExpression node)
public void outAGeneralUnionExpression(AGeneralUnionExpression node)
public void caseAGeneralUnionExpression(AGeneralUnionExpression node)
caseAGeneralUnionExpression
in interface Analysis
caseAGeneralUnionExpression
in class AnalysisAdapter
public void inAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
public void outAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
public void caseAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
caseAGeneralIntersectionExpression
in interface Analysis
caseAGeneralIntersectionExpression
in class AnalysisAdapter
public void inAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
public void outAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
public void caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression
in interface Analysis
caseAQuantifiedUnionExpression
in class AnalysisAdapter
public void inAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
public void outAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
public void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression
in interface Analysis
caseAQuantifiedIntersectionExpression
in class AnalysisAdapter
public void inARelationsExpression(ARelationsExpression node)
public void outARelationsExpression(ARelationsExpression node)
public void caseARelationsExpression(ARelationsExpression node)
caseARelationsExpression
in interface Analysis
caseARelationsExpression
in class AnalysisAdapter
public void inAIdentityExpression(AIdentityExpression node)
public void outAIdentityExpression(AIdentityExpression node)
public void caseAIdentityExpression(AIdentityExpression node)
caseAIdentityExpression
in interface Analysis
caseAIdentityExpression
in class AnalysisAdapter
public void inAEventBIdentityExpression(AEventBIdentityExpression node)
public void outAEventBIdentityExpression(AEventBIdentityExpression node)
public void caseAEventBIdentityExpression(AEventBIdentityExpression node)
caseAEventBIdentityExpression
in interface Analysis
caseAEventBIdentityExpression
in class AnalysisAdapter
public void inAReverseExpression(AReverseExpression node)
public void outAReverseExpression(AReverseExpression node)
public void caseAReverseExpression(AReverseExpression node)
caseAReverseExpression
in interface Analysis
caseAReverseExpression
in class AnalysisAdapter
public void inAFirstProjectionExpression(AFirstProjectionExpression node)
public void outAFirstProjectionExpression(AFirstProjectionExpression node)
public void caseAFirstProjectionExpression(AFirstProjectionExpression node)
caseAFirstProjectionExpression
in interface Analysis
caseAFirstProjectionExpression
in class AnalysisAdapter
public void inAEventBFirstProjectionExpression(AEventBFirstProjectionExpression node)
public void outAEventBFirstProjectionExpression(AEventBFirstProjectionExpression node)
public void caseAEventBFirstProjectionExpression(AEventBFirstProjectionExpression node)
caseAEventBFirstProjectionExpression
in interface Analysis
caseAEventBFirstProjectionExpression
in class AnalysisAdapter
public void inAEventBFirstProjectionV2Expression(AEventBFirstProjectionV2Expression node)
public void outAEventBFirstProjectionV2Expression(AEventBFirstProjectionV2Expression node)
public void caseAEventBFirstProjectionV2Expression(AEventBFirstProjectionV2Expression node)
caseAEventBFirstProjectionV2Expression
in interface Analysis
caseAEventBFirstProjectionV2Expression
in class AnalysisAdapter
public void inASecondProjectionExpression(ASecondProjectionExpression node)
public void outASecondProjectionExpression(ASecondProjectionExpression node)
public void caseASecondProjectionExpression(ASecondProjectionExpression node)
caseASecondProjectionExpression
in interface Analysis
caseASecondProjectionExpression
in class AnalysisAdapter
public void inAEventBSecondProjectionExpression(AEventBSecondProjectionExpression node)
public void outAEventBSecondProjectionExpression(AEventBSecondProjectionExpression node)
public void caseAEventBSecondProjectionExpression(AEventBSecondProjectionExpression node)
caseAEventBSecondProjectionExpression
in interface Analysis
caseAEventBSecondProjectionExpression
in class AnalysisAdapter
public void inAEventBSecondProjectionV2Expression(AEventBSecondProjectionV2Expression node)
public void outAEventBSecondProjectionV2Expression(AEventBSecondProjectionV2Expression node)
public void caseAEventBSecondProjectionV2Expression(AEventBSecondProjectionV2Expression node)
caseAEventBSecondProjectionV2Expression
in interface Analysis
caseAEventBSecondProjectionV2Expression
in class AnalysisAdapter
public void inACompositionExpression(ACompositionExpression node)
public void outACompositionExpression(ACompositionExpression node)
public void caseACompositionExpression(ACompositionExpression node)
caseACompositionExpression
in interface Analysis
caseACompositionExpression
in class AnalysisAdapter
public void inARingExpression(ARingExpression node)
public void outARingExpression(ARingExpression node)
public void caseARingExpression(ARingExpression node)
caseARingExpression
in interface Analysis
caseARingExpression
in class AnalysisAdapter
public void inADirectProductExpression(ADirectProductExpression node)
public void outADirectProductExpression(ADirectProductExpression node)
public void caseADirectProductExpression(ADirectProductExpression node)
caseADirectProductExpression
in interface Analysis
caseADirectProductExpression
in class AnalysisAdapter
public void inAParallelProductExpression(AParallelProductExpression node)
public void outAParallelProductExpression(AParallelProductExpression node)
public void caseAParallelProductExpression(AParallelProductExpression node)
caseAParallelProductExpression
in interface Analysis
caseAParallelProductExpression
in class AnalysisAdapter
public void inAIterationExpression(AIterationExpression node)
public void outAIterationExpression(AIterationExpression node)
public void caseAIterationExpression(AIterationExpression node)
caseAIterationExpression
in interface Analysis
caseAIterationExpression
in class AnalysisAdapter
public void inAReflexiveClosureExpression(AReflexiveClosureExpression node)
public void outAReflexiveClosureExpression(AReflexiveClosureExpression node)
public void caseAReflexiveClosureExpression(AReflexiveClosureExpression node)
caseAReflexiveClosureExpression
in interface Analysis
caseAReflexiveClosureExpression
in class AnalysisAdapter
public void inAClosureExpression(AClosureExpression node)
public void outAClosureExpression(AClosureExpression node)
public void caseAClosureExpression(AClosureExpression node)
caseAClosureExpression
in interface Analysis
caseAClosureExpression
in class AnalysisAdapter
public void inADomainExpression(ADomainExpression node)
public void outADomainExpression(ADomainExpression node)
public void caseADomainExpression(ADomainExpression node)
caseADomainExpression
in interface Analysis
caseADomainExpression
in class AnalysisAdapter
public void inARangeExpression(ARangeExpression node)
public void outARangeExpression(ARangeExpression node)
public void caseARangeExpression(ARangeExpression node)
caseARangeExpression
in interface Analysis
caseARangeExpression
in class AnalysisAdapter
public void inAImageExpression(AImageExpression node)
public void outAImageExpression(AImageExpression node)
public void caseAImageExpression(AImageExpression node)
caseAImageExpression
in interface Analysis
caseAImageExpression
in class AnalysisAdapter
public void inADomainRestrictionExpression(ADomainRestrictionExpression node)
public void outADomainRestrictionExpression(ADomainRestrictionExpression node)
public void caseADomainRestrictionExpression(ADomainRestrictionExpression node)
caseADomainRestrictionExpression
in interface Analysis
caseADomainRestrictionExpression
in class AnalysisAdapter
public void inADomainSubtractionExpression(ADomainSubtractionExpression node)
public void outADomainSubtractionExpression(ADomainSubtractionExpression node)
public void caseADomainSubtractionExpression(ADomainSubtractionExpression node)
caseADomainSubtractionExpression
in interface Analysis
caseADomainSubtractionExpression
in class AnalysisAdapter
public void inARangeRestrictionExpression(ARangeRestrictionExpression node)
public void outARangeRestrictionExpression(ARangeRestrictionExpression node)
public void caseARangeRestrictionExpression(ARangeRestrictionExpression node)
caseARangeRestrictionExpression
in interface Analysis
caseARangeRestrictionExpression
in class AnalysisAdapter
public void inARangeSubtractionExpression(ARangeSubtractionExpression node)
public void outARangeSubtractionExpression(ARangeSubtractionExpression node)
public void caseARangeSubtractionExpression(ARangeSubtractionExpression node)
caseARangeSubtractionExpression
in interface Analysis
caseARangeSubtractionExpression
in class AnalysisAdapter
public void inAOverwriteExpression(AOverwriteExpression node)
public void outAOverwriteExpression(AOverwriteExpression node)
public void caseAOverwriteExpression(AOverwriteExpression node)
caseAOverwriteExpression
in interface Analysis
caseAOverwriteExpression
in class AnalysisAdapter
public void inAPartialFunctionExpression(APartialFunctionExpression node)
public void outAPartialFunctionExpression(APartialFunctionExpression node)
public void caseAPartialFunctionExpression(APartialFunctionExpression node)
caseAPartialFunctionExpression
in interface Analysis
caseAPartialFunctionExpression
in class AnalysisAdapter
public void inATotalFunctionExpression(ATotalFunctionExpression node)
public void outATotalFunctionExpression(ATotalFunctionExpression node)
public void caseATotalFunctionExpression(ATotalFunctionExpression node)
caseATotalFunctionExpression
in interface Analysis
caseATotalFunctionExpression
in class AnalysisAdapter
public void inAPartialInjectionExpression(APartialInjectionExpression node)
public void outAPartialInjectionExpression(APartialInjectionExpression node)
public void caseAPartialInjectionExpression(APartialInjectionExpression node)
caseAPartialInjectionExpression
in interface Analysis
caseAPartialInjectionExpression
in class AnalysisAdapter
public void inATotalInjectionExpression(ATotalInjectionExpression node)
public void outATotalInjectionExpression(ATotalInjectionExpression node)
public void caseATotalInjectionExpression(ATotalInjectionExpression node)
caseATotalInjectionExpression
in interface Analysis
caseATotalInjectionExpression
in class AnalysisAdapter
public void inAPartialSurjectionExpression(APartialSurjectionExpression node)
public void outAPartialSurjectionExpression(APartialSurjectionExpression node)
public void caseAPartialSurjectionExpression(APartialSurjectionExpression node)
caseAPartialSurjectionExpression
in interface Analysis
caseAPartialSurjectionExpression
in class AnalysisAdapter
public void inATotalSurjectionExpression(ATotalSurjectionExpression node)
public void outATotalSurjectionExpression(ATotalSurjectionExpression node)
public void caseATotalSurjectionExpression(ATotalSurjectionExpression node)
caseATotalSurjectionExpression
in interface Analysis
caseATotalSurjectionExpression
in class AnalysisAdapter
public void inAPartialBijectionExpression(APartialBijectionExpression node)
public void outAPartialBijectionExpression(APartialBijectionExpression node)
public void caseAPartialBijectionExpression(APartialBijectionExpression node)
caseAPartialBijectionExpression
in interface Analysis
caseAPartialBijectionExpression
in class AnalysisAdapter
public void inATotalBijectionExpression(ATotalBijectionExpression node)
public void outATotalBijectionExpression(ATotalBijectionExpression node)
public void caseATotalBijectionExpression(ATotalBijectionExpression node)
caseATotalBijectionExpression
in interface Analysis
caseATotalBijectionExpression
in class AnalysisAdapter
public void inATotalRelationExpression(ATotalRelationExpression node)
public void outATotalRelationExpression(ATotalRelationExpression node)
public void caseATotalRelationExpression(ATotalRelationExpression node)
caseATotalRelationExpression
in interface Analysis
caseATotalRelationExpression
in class AnalysisAdapter
public void inASurjectionRelationExpression(ASurjectionRelationExpression node)
public void outASurjectionRelationExpression(ASurjectionRelationExpression node)
public void caseASurjectionRelationExpression(ASurjectionRelationExpression node)
caseASurjectionRelationExpression
in interface Analysis
caseASurjectionRelationExpression
in class AnalysisAdapter
public void inATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
public void outATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
public void caseATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
caseATotalSurjectionRelationExpression
in interface Analysis
caseATotalSurjectionRelationExpression
in class AnalysisAdapter
public void inALambdaExpression(ALambdaExpression node)
public void outALambdaExpression(ALambdaExpression node)
public void caseALambdaExpression(ALambdaExpression node)
caseALambdaExpression
in interface Analysis
caseALambdaExpression
in class AnalysisAdapter
public void inASymbolicLambdaExpression(ASymbolicLambdaExpression node)
public void outASymbolicLambdaExpression(ASymbolicLambdaExpression node)
public void caseASymbolicLambdaExpression(ASymbolicLambdaExpression node)
caseASymbolicLambdaExpression
in interface Analysis
caseASymbolicLambdaExpression
in class AnalysisAdapter
public void inATransFunctionExpression(ATransFunctionExpression node)
public void outATransFunctionExpression(ATransFunctionExpression node)
public void caseATransFunctionExpression(ATransFunctionExpression node)
caseATransFunctionExpression
in interface Analysis
caseATransFunctionExpression
in class AnalysisAdapter
public void inATransRelationExpression(ATransRelationExpression node)
public void outATransRelationExpression(ATransRelationExpression node)
public void caseATransRelationExpression(ATransRelationExpression node)
caseATransRelationExpression
in interface Analysis
caseATransRelationExpression
in class AnalysisAdapter
public void inASeqExpression(ASeqExpression node)
public void outASeqExpression(ASeqExpression node)
public void caseASeqExpression(ASeqExpression node)
caseASeqExpression
in interface Analysis
caseASeqExpression
in class AnalysisAdapter
public void inASeq1Expression(ASeq1Expression node)
public void outASeq1Expression(ASeq1Expression node)
public void caseASeq1Expression(ASeq1Expression node)
caseASeq1Expression
in interface Analysis
caseASeq1Expression
in class AnalysisAdapter
public void inAIseqExpression(AIseqExpression node)
public void outAIseqExpression(AIseqExpression node)
public void caseAIseqExpression(AIseqExpression node)
caseAIseqExpression
in interface Analysis
caseAIseqExpression
in class AnalysisAdapter
public void inAIseq1Expression(AIseq1Expression node)
public void outAIseq1Expression(AIseq1Expression node)
public void caseAIseq1Expression(AIseq1Expression node)
caseAIseq1Expression
in interface Analysis
caseAIseq1Expression
in class AnalysisAdapter
public void inAPermExpression(APermExpression node)
public void outAPermExpression(APermExpression node)
public void caseAPermExpression(APermExpression node)
caseAPermExpression
in interface Analysis
caseAPermExpression
in class AnalysisAdapter
public void inAEmptySequenceExpression(AEmptySequenceExpression node)
public void outAEmptySequenceExpression(AEmptySequenceExpression node)
public void caseAEmptySequenceExpression(AEmptySequenceExpression node)
caseAEmptySequenceExpression
in interface Analysis
caseAEmptySequenceExpression
in class AnalysisAdapter
public void inASequenceExtensionExpression(ASequenceExtensionExpression node)
public void outASequenceExtensionExpression(ASequenceExtensionExpression node)
public void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression
in interface Analysis
caseASequenceExtensionExpression
in class AnalysisAdapter
public void inASizeExpression(ASizeExpression node)
public void outASizeExpression(ASizeExpression node)
public void caseASizeExpression(ASizeExpression node)
caseASizeExpression
in interface Analysis
caseASizeExpression
in class AnalysisAdapter
public void inAFirstExpression(AFirstExpression node)
public void outAFirstExpression(AFirstExpression node)
public void caseAFirstExpression(AFirstExpression node)
caseAFirstExpression
in interface Analysis
caseAFirstExpression
in class AnalysisAdapter
public void inALastExpression(ALastExpression node)
public void outALastExpression(ALastExpression node)
public void caseALastExpression(ALastExpression node)
caseALastExpression
in interface Analysis
caseALastExpression
in class AnalysisAdapter
public void inAFrontExpression(AFrontExpression node)
public void outAFrontExpression(AFrontExpression node)
public void caseAFrontExpression(AFrontExpression node)
caseAFrontExpression
in interface Analysis
caseAFrontExpression
in class AnalysisAdapter
public void inATailExpression(ATailExpression node)
public void outATailExpression(ATailExpression node)
public void caseATailExpression(ATailExpression node)
caseATailExpression
in interface Analysis
caseATailExpression
in class AnalysisAdapter
public void inARevExpression(ARevExpression node)
public void outARevExpression(ARevExpression node)
public void caseARevExpression(ARevExpression node)
caseARevExpression
in interface Analysis
caseARevExpression
in class AnalysisAdapter
public void inAConcatExpression(AConcatExpression node)
public void outAConcatExpression(AConcatExpression node)
public void caseAConcatExpression(AConcatExpression node)
caseAConcatExpression
in interface Analysis
caseAConcatExpression
in class AnalysisAdapter
public void inAInsertFrontExpression(AInsertFrontExpression node)
public void outAInsertFrontExpression(AInsertFrontExpression node)
public void caseAInsertFrontExpression(AInsertFrontExpression node)
caseAInsertFrontExpression
in interface Analysis
caseAInsertFrontExpression
in class AnalysisAdapter
public void inAInsertTailExpression(AInsertTailExpression node)
public void outAInsertTailExpression(AInsertTailExpression node)
public void caseAInsertTailExpression(AInsertTailExpression node)
caseAInsertTailExpression
in interface Analysis
caseAInsertTailExpression
in class AnalysisAdapter
public void inARestrictFrontExpression(ARestrictFrontExpression node)
public void outARestrictFrontExpression(ARestrictFrontExpression node)
public void caseARestrictFrontExpression(ARestrictFrontExpression node)
caseARestrictFrontExpression
in interface Analysis
caseARestrictFrontExpression
in class AnalysisAdapter
public void inARestrictTailExpression(ARestrictTailExpression node)
public void outARestrictTailExpression(ARestrictTailExpression node)
public void caseARestrictTailExpression(ARestrictTailExpression node)
caseARestrictTailExpression
in interface Analysis
caseARestrictTailExpression
in class AnalysisAdapter
public void inAGeneralConcatExpression(AGeneralConcatExpression node)
public void outAGeneralConcatExpression(AGeneralConcatExpression node)
public void caseAGeneralConcatExpression(AGeneralConcatExpression node)
caseAGeneralConcatExpression
in interface Analysis
caseAGeneralConcatExpression
in class AnalysisAdapter
public void inADefinitionExpression(ADefinitionExpression node)
public void outADefinitionExpression(ADefinitionExpression node)
public void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression
in interface Analysis
caseADefinitionExpression
in class AnalysisAdapter
public void inAFunctionExpression(AFunctionExpression node)
public void outAFunctionExpression(AFunctionExpression node)
public void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression
in interface Analysis
caseAFunctionExpression
in class AnalysisAdapter
public void inATreeExpression(ATreeExpression node)
public void outATreeExpression(ATreeExpression node)
public void caseATreeExpression(ATreeExpression node)
caseATreeExpression
in interface Analysis
caseATreeExpression
in class AnalysisAdapter
public void inABtreeExpression(ABtreeExpression node)
public void outABtreeExpression(ABtreeExpression node)
public void caseABtreeExpression(ABtreeExpression node)
caseABtreeExpression
in interface Analysis
caseABtreeExpression
in class AnalysisAdapter
public void inAConstExpression(AConstExpression node)
public void outAConstExpression(AConstExpression node)
public void caseAConstExpression(AConstExpression node)
caseAConstExpression
in interface Analysis
caseAConstExpression
in class AnalysisAdapter
public void inATopExpression(ATopExpression node)
public void outATopExpression(ATopExpression node)
public void caseATopExpression(ATopExpression node)
caseATopExpression
in interface Analysis
caseATopExpression
in class AnalysisAdapter
public void inASonsExpression(ASonsExpression node)
public void outASonsExpression(ASonsExpression node)
public void caseASonsExpression(ASonsExpression node)
caseASonsExpression
in interface Analysis
caseASonsExpression
in class AnalysisAdapter
public void inAPrefixExpression(APrefixExpression node)
public void outAPrefixExpression(APrefixExpression node)
public void caseAPrefixExpression(APrefixExpression node)
caseAPrefixExpression
in interface Analysis
caseAPrefixExpression
in class AnalysisAdapter
public void inAPostfixExpression(APostfixExpression node)
public void outAPostfixExpression(APostfixExpression node)
public void caseAPostfixExpression(APostfixExpression node)
caseAPostfixExpression
in interface Analysis
caseAPostfixExpression
in class AnalysisAdapter
public void inASizetExpression(ASizetExpression node)
public void outASizetExpression(ASizetExpression node)
public void caseASizetExpression(ASizetExpression node)
caseASizetExpression
in interface Analysis
caseASizetExpression
in class AnalysisAdapter
public void inAMirrorExpression(AMirrorExpression node)
public void outAMirrorExpression(AMirrorExpression node)
public void caseAMirrorExpression(AMirrorExpression node)
caseAMirrorExpression
in interface Analysis
caseAMirrorExpression
in class AnalysisAdapter
public void inARankExpression(ARankExpression node)
public void outARankExpression(ARankExpression node)
public void caseARankExpression(ARankExpression node)
caseARankExpression
in interface Analysis
caseARankExpression
in class AnalysisAdapter
public void inAFatherExpression(AFatherExpression node)
public void outAFatherExpression(AFatherExpression node)
public void caseAFatherExpression(AFatherExpression node)
caseAFatherExpression
in interface Analysis
caseAFatherExpression
in class AnalysisAdapter
public void inASonExpression(ASonExpression node)
public void outASonExpression(ASonExpression node)
public void caseASonExpression(ASonExpression node)
caseASonExpression
in interface Analysis
caseASonExpression
in class AnalysisAdapter
public void inASubtreeExpression(ASubtreeExpression node)
public void outASubtreeExpression(ASubtreeExpression node)
public void caseASubtreeExpression(ASubtreeExpression node)
caseASubtreeExpression
in interface Analysis
caseASubtreeExpression
in class AnalysisAdapter
public void inAArityExpression(AArityExpression node)
public void outAArityExpression(AArityExpression node)
public void caseAArityExpression(AArityExpression node)
caseAArityExpression
in interface Analysis
caseAArityExpression
in class AnalysisAdapter
public void inABinExpression(ABinExpression node)
public void outABinExpression(ABinExpression node)
public void caseABinExpression(ABinExpression node)
caseABinExpression
in interface Analysis
caseABinExpression
in class AnalysisAdapter
public void inALeftExpression(ALeftExpression node)
public void outALeftExpression(ALeftExpression node)
public void caseALeftExpression(ALeftExpression node)
caseALeftExpression
in interface Analysis
caseALeftExpression
in class AnalysisAdapter
public void inARightExpression(ARightExpression node)
public void outARightExpression(ARightExpression node)
public void caseARightExpression(ARightExpression node)
caseARightExpression
in interface Analysis
caseARightExpression
in class AnalysisAdapter
public void inAInfixExpression(AInfixExpression node)
public void outAInfixExpression(AInfixExpression node)
public void caseAInfixExpression(AInfixExpression node)
caseAInfixExpression
in interface Analysis
caseAInfixExpression
in class AnalysisAdapter
public void inAStructExpression(AStructExpression node)
public void outAStructExpression(AStructExpression node)
public void caseAStructExpression(AStructExpression node)
caseAStructExpression
in interface Analysis
caseAStructExpression
in class AnalysisAdapter
public void inARecExpression(ARecExpression node)
public void outARecExpression(ARecExpression node)
public void caseARecExpression(ARecExpression node)
caseARecExpression
in interface Analysis
caseARecExpression
in class AnalysisAdapter
public void inARecordFieldExpression(ARecordFieldExpression node)
public void outARecordFieldExpression(ARecordFieldExpression node)
public void caseARecordFieldExpression(ARecordFieldExpression node)
caseARecordFieldExpression
in interface Analysis
caseARecordFieldExpression
in class AnalysisAdapter
public void inAExtendedExprExpression(AExtendedExprExpression node)
public void outAExtendedExprExpression(AExtendedExprExpression node)
public void caseAExtendedExprExpression(AExtendedExprExpression node)
caseAExtendedExprExpression
in interface Analysis
caseAExtendedExprExpression
in class AnalysisAdapter
public void inATypeofExpression(ATypeofExpression node)
public void outATypeofExpression(ATypeofExpression node)
public void caseATypeofExpression(ATypeofExpression node)
caseATypeofExpression
in interface Analysis
caseATypeofExpression
in class AnalysisAdapter
public void inAOperationCallExpression(AOperationCallExpression node)
public void outAOperationCallExpression(AOperationCallExpression node)
public void caseAOperationCallExpression(AOperationCallExpression node)
caseAOperationCallExpression
in interface Analysis
caseAOperationCallExpression
in class AnalysisAdapter
public void inAOperatorExpression(AOperatorExpression node)
public void outAOperatorExpression(AOperatorExpression node)
public void caseAOperatorExpression(AOperatorExpression node)
caseAOperatorExpression
in interface Analysis
caseAOperatorExpression
in class AnalysisAdapter
public void inARecEntry(ARecEntry node)
public void outARecEntry(ARecEntry node)
public void caseARecEntry(ARecEntry node)
caseARecEntry
in interface Analysis
caseARecEntry
in class AnalysisAdapter
public void inABlockSubstitution(ABlockSubstitution node)
public void outABlockSubstitution(ABlockSubstitution node)
public void caseABlockSubstitution(ABlockSubstitution node)
caseABlockSubstitution
in interface Analysis
caseABlockSubstitution
in class AnalysisAdapter
public void inASkipSubstitution(ASkipSubstitution node)
public void outASkipSubstitution(ASkipSubstitution node)
public void caseASkipSubstitution(ASkipSubstitution node)
caseASkipSubstitution
in interface Analysis
caseASkipSubstitution
in class AnalysisAdapter
public void inAAssignSubstitution(AAssignSubstitution node)
public void outAAssignSubstitution(AAssignSubstitution node)
public void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution
in interface Analysis
caseAAssignSubstitution
in class AnalysisAdapter
public void inAPreconditionSubstitution(APreconditionSubstitution node)
public void outAPreconditionSubstitution(APreconditionSubstitution node)
public void caseAPreconditionSubstitution(APreconditionSubstitution node)
caseAPreconditionSubstitution
in interface Analysis
caseAPreconditionSubstitution
in class AnalysisAdapter
public void inAAssertionSubstitution(AAssertionSubstitution node)
public void outAAssertionSubstitution(AAssertionSubstitution node)
public void caseAAssertionSubstitution(AAssertionSubstitution node)
caseAAssertionSubstitution
in interface Analysis
caseAAssertionSubstitution
in class AnalysisAdapter
public void inAChoiceSubstitution(AChoiceSubstitution node)
public void outAChoiceSubstitution(AChoiceSubstitution node)
public void caseAChoiceSubstitution(AChoiceSubstitution node)
caseAChoiceSubstitution
in interface Analysis
caseAChoiceSubstitution
in class AnalysisAdapter
public void inAChoiceOrSubstitution(AChoiceOrSubstitution node)
public void outAChoiceOrSubstitution(AChoiceOrSubstitution node)
public void caseAChoiceOrSubstitution(AChoiceOrSubstitution node)
caseAChoiceOrSubstitution
in interface Analysis
caseAChoiceOrSubstitution
in class AnalysisAdapter
public void inAIfSubstitution(AIfSubstitution node)
public void outAIfSubstitution(AIfSubstitution node)
public void caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution
in interface Analysis
caseAIfSubstitution
in class AnalysisAdapter
public void inAIfElsifSubstitution(AIfElsifSubstitution node)
public void outAIfElsifSubstitution(AIfElsifSubstitution node)
public void caseAIfElsifSubstitution(AIfElsifSubstitution node)
caseAIfElsifSubstitution
in interface Analysis
caseAIfElsifSubstitution
in class AnalysisAdapter
public void inASelectSubstitution(ASelectSubstitution node)
public void outASelectSubstitution(ASelectSubstitution node)
public void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution
in interface Analysis
caseASelectSubstitution
in class AnalysisAdapter
public void inASelectWhenSubstitution(ASelectWhenSubstitution node)
public void outASelectWhenSubstitution(ASelectWhenSubstitution node)
public void caseASelectWhenSubstitution(ASelectWhenSubstitution node)
caseASelectWhenSubstitution
in interface Analysis
caseASelectWhenSubstitution
in class AnalysisAdapter
public void inACaseSubstitution(ACaseSubstitution node)
public void outACaseSubstitution(ACaseSubstitution node)
public void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution
in interface Analysis
caseACaseSubstitution
in class AnalysisAdapter
public void inACaseOrSubstitution(ACaseOrSubstitution node)
public void outACaseOrSubstitution(ACaseOrSubstitution node)
public void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution
in interface Analysis
caseACaseOrSubstitution
in class AnalysisAdapter
public void inAAnySubstitution(AAnySubstitution node)
public void outAAnySubstitution(AAnySubstitution node)
public void caseAAnySubstitution(AAnySubstitution node)
caseAAnySubstitution
in interface Analysis
caseAAnySubstitution
in class AnalysisAdapter
public void inALetSubstitution(ALetSubstitution node)
public void outALetSubstitution(ALetSubstitution node)
public void caseALetSubstitution(ALetSubstitution node)
caseALetSubstitution
in interface Analysis
caseALetSubstitution
in class AnalysisAdapter
public void inABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
public void outABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
public void caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution
in interface Analysis
caseABecomesElementOfSubstitution
in class AnalysisAdapter
public void inABecomesSuchSubstitution(ABecomesSuchSubstitution node)
public void outABecomesSuchSubstitution(ABecomesSuchSubstitution node)
public void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution
in interface Analysis
caseABecomesSuchSubstitution
in class AnalysisAdapter
public void inAVarSubstitution(AVarSubstitution node)
public void outAVarSubstitution(AVarSubstitution node)
public void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution
in interface Analysis
caseAVarSubstitution
in class AnalysisAdapter
public void inASequenceSubstitution(ASequenceSubstitution node)
public void outASequenceSubstitution(ASequenceSubstitution node)
public void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution
in interface Analysis
caseASequenceSubstitution
in class AnalysisAdapter
public void inAFuncOpSubstitution(AFuncOpSubstitution node)
public void outAFuncOpSubstitution(AFuncOpSubstitution node)
public void caseAFuncOpSubstitution(AFuncOpSubstitution node)
caseAFuncOpSubstitution
in interface Analysis
caseAFuncOpSubstitution
in class AnalysisAdapter
public void inAOpSubstitution(AOpSubstitution node)
public void outAOpSubstitution(AOpSubstitution node)
public void caseAOpSubstitution(AOpSubstitution node)
caseAOpSubstitution
in interface Analysis
caseAOpSubstitution
in class AnalysisAdapter
public void inAOperationCallSubstitution(AOperationCallSubstitution node)
public void outAOperationCallSubstitution(AOperationCallSubstitution node)
public void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution
in interface Analysis
caseAOperationCallSubstitution
in class AnalysisAdapter
public void inAWhileSubstitution(AWhileSubstitution node)
public void outAWhileSubstitution(AWhileSubstitution node)
public void caseAWhileSubstitution(AWhileSubstitution node)
caseAWhileSubstitution
in interface Analysis
caseAWhileSubstitution
in class AnalysisAdapter
public void inAParallelSubstitution(AParallelSubstitution node)
public void outAParallelSubstitution(AParallelSubstitution node)
public void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution
in interface Analysis
caseAParallelSubstitution
in class AnalysisAdapter
public void inADefinitionSubstitution(ADefinitionSubstitution node)
public void outADefinitionSubstitution(ADefinitionSubstitution node)
public void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution
in interface Analysis
caseADefinitionSubstitution
in class AnalysisAdapter
public void inAInvalidSubstitution(AInvalidSubstitution node)
public void outAInvalidSubstitution(AInvalidSubstitution node)
public void caseAInvalidSubstitution(AInvalidSubstitution node)
caseAInvalidSubstitution
in interface Analysis
caseAInvalidSubstitution
in class AnalysisAdapter
public void inAForallSubMessageSubstitution(AForallSubMessageSubstitution node)
public void outAForallSubMessageSubstitution(AForallSubMessageSubstitution node)
public void caseAForallSubMessageSubstitution(AForallSubMessageSubstitution node)
caseAForallSubMessageSubstitution
in interface Analysis
caseAForallSubMessageSubstitution
in class AnalysisAdapter
public void inARuleFailSubSubstitution(ARuleFailSubSubstitution node)
public void outARuleFailSubSubstitution(ARuleFailSubSubstitution node)
public void caseARuleFailSubSubstitution(ARuleFailSubSubstitution node)
caseARuleFailSubSubstitution
in interface Analysis
caseARuleFailSubSubstitution
in class AnalysisAdapter
public void inAForLoopSubstitution(AForLoopSubstitution node)
public void outAForLoopSubstitution(AForLoopSubstitution node)
public void caseAForLoopSubstitution(AForLoopSubstitution node)
caseAForLoopSubstitution
in interface Analysis
caseAForLoopSubstitution
in class AnalysisAdapter
public void inAOperatorSubstitution(AOperatorSubstitution node)
public void outAOperatorSubstitution(AOperatorSubstitution node)
public void caseAOperatorSubstitution(AOperatorSubstitution node)
caseAOperatorSubstitution
in interface Analysis
caseAOperatorSubstitution
in class AnalysisAdapter
public void inADefineSubstitution(ADefineSubstitution node)
public void outADefineSubstitution(ADefineSubstitution node)
public void caseADefineSubstitution(ADefineSubstitution node)
caseADefineSubstitution
in interface Analysis
caseADefineSubstitution
in class AnalysisAdapter