public class ReversedDepthFirstAdapter extends AnalysisAdapter
| Constructor and Description |
|---|
ReversedDepthFirstAdapter() |
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, 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, 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, setOutpublic 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 AnalysiscaseStart in class AnalysisAdapterpublic void inAGeneratedParseUnit(AGeneratedParseUnit node)
public void outAGeneratedParseUnit(AGeneratedParseUnit node)
public void caseAGeneratedParseUnit(AGeneratedParseUnit node)
caseAGeneratedParseUnit in interface AnalysiscaseAGeneratedParseUnit in class AnalysisAdapterpublic void inAPackageParseUnit(APackageParseUnit node)
public void outAPackageParseUnit(APackageParseUnit node)
public void caseAPackageParseUnit(APackageParseUnit node)
caseAPackageParseUnit in interface AnalysiscaseAPackageParseUnit in class AnalysisAdapterpublic void inAUnitAliasParseUnit(AUnitAliasParseUnit node)
public void outAUnitAliasParseUnit(AUnitAliasParseUnit node)
public void caseAUnitAliasParseUnit(AUnitAliasParseUnit node)
caseAUnitAliasParseUnit in interface AnalysiscaseAUnitAliasParseUnit in class AnalysisAdapterpublic void inAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
public void outAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
public void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit in interface AnalysiscaseAAbstractMachineParseUnit in class AnalysisAdapterpublic void inARefinementMachineParseUnit(ARefinementMachineParseUnit node)
public void outARefinementMachineParseUnit(ARefinementMachineParseUnit node)
public void caseARefinementMachineParseUnit(ARefinementMachineParseUnit node)
caseARefinementMachineParseUnit in interface AnalysiscaseARefinementMachineParseUnit in class AnalysisAdapterpublic void inAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
public void outAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
public void caseAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
caseAImplementationMachineParseUnit in interface AnalysiscaseAImplementationMachineParseUnit in class AnalysisAdapterpublic void inADefinitionFileParseUnit(ADefinitionFileParseUnit node)
public void outADefinitionFileParseUnit(ADefinitionFileParseUnit node)
public void caseADefinitionFileParseUnit(ADefinitionFileParseUnit node)
caseADefinitionFileParseUnit in interface AnalysiscaseADefinitionFileParseUnit in class AnalysisAdapterpublic void inAPredicateParseUnit(APredicateParseUnit node)
public void outAPredicateParseUnit(APredicateParseUnit node)
public void caseAPredicateParseUnit(APredicateParseUnit node)
caseAPredicateParseUnit in interface AnalysiscaseAPredicateParseUnit in class AnalysisAdapterpublic void inAExpressionParseUnit(AExpressionParseUnit node)
public void outAExpressionParseUnit(AExpressionParseUnit node)
public void caseAExpressionParseUnit(AExpressionParseUnit node)
caseAExpressionParseUnit in interface AnalysiscaseAExpressionParseUnit in class AnalysisAdapterpublic void inASubstitutionParseUnit(ASubstitutionParseUnit node)
public void outASubstitutionParseUnit(ASubstitutionParseUnit node)
public void caseASubstitutionParseUnit(ASubstitutionParseUnit node)
caseASubstitutionParseUnit in interface AnalysiscaseASubstitutionParseUnit in class AnalysisAdapterpublic void inAMachineClauseParseUnit(AMachineClauseParseUnit node)
public void outAMachineClauseParseUnit(AMachineClauseParseUnit node)
public void caseAMachineClauseParseUnit(AMachineClauseParseUnit node)
caseAMachineClauseParseUnit in interface AnalysiscaseAMachineClauseParseUnit in class AnalysisAdapterpublic void inAEventBContextParseUnit(AEventBContextParseUnit node)
public void outAEventBContextParseUnit(AEventBContextParseUnit node)
public void caseAEventBContextParseUnit(AEventBContextParseUnit node)
caseAEventBContextParseUnit in interface AnalysiscaseAEventBContextParseUnit in class AnalysisAdapterpublic void inAEventBModelParseUnit(AEventBModelParseUnit node)
public void outAEventBModelParseUnit(AEventBModelParseUnit node)
public void caseAEventBModelParseUnit(AEventBModelParseUnit node)
caseAEventBModelParseUnit in interface AnalysiscaseAEventBModelParseUnit in class AnalysisAdapterpublic void inAOppatternParseUnit(AOppatternParseUnit node)
public void outAOppatternParseUnit(AOppatternParseUnit node)
public void caseAOppatternParseUnit(AOppatternParseUnit node)
caseAOppatternParseUnit in interface AnalysiscaseAOppatternParseUnit in class AnalysisAdapterpublic void inAParseUnitDefinitionParseUnit(AParseUnitDefinitionParseUnit node)
public void outAParseUnitDefinitionParseUnit(AParseUnitDefinitionParseUnit node)
public void caseAParseUnitDefinitionParseUnit(AParseUnitDefinitionParseUnit node)
caseAParseUnitDefinitionParseUnit in interface AnalysiscaseAParseUnitDefinitionParseUnit in class AnalysisAdapterpublic void inAImportPackage(AImportPackage node)
public void outAImportPackage(AImportPackage node)
public void caseAImportPackage(AImportPackage node)
caseAImportPackage in interface AnalysiscaseAImportPackage in class AnalysisAdapterpublic void inAUndefArgpattern(AUndefArgpattern node)
public void outAUndefArgpattern(AUndefArgpattern node)
public void caseAUndefArgpattern(AUndefArgpattern node)
caseAUndefArgpattern in interface AnalysiscaseAUndefArgpattern in class AnalysisAdapterpublic void inADefArgpattern(ADefArgpattern node)
public void outADefArgpattern(ADefArgpattern node)
public void caseADefArgpattern(ADefArgpattern node)
caseADefArgpattern in interface AnalysiscaseADefArgpattern in class AnalysisAdapterpublic void inAMachineMachineVariant(AMachineMachineVariant node)
public void outAMachineMachineVariant(AMachineMachineVariant node)
public void caseAMachineMachineVariant(AMachineMachineVariant node)
caseAMachineMachineVariant in interface AnalysiscaseAMachineMachineVariant in class AnalysisAdapterpublic void inAModelMachineVariant(AModelMachineVariant node)
public void outAModelMachineVariant(AModelMachineVariant node)
public void caseAModelMachineVariant(AModelMachineVariant node)
caseAModelMachineVariant in interface AnalysiscaseAModelMachineVariant in class AnalysisAdapterpublic void inASystemMachineVariant(ASystemMachineVariant node)
public void outASystemMachineVariant(ASystemMachineVariant node)
public void caseASystemMachineVariant(ASystemMachineVariant node)
caseASystemMachineVariant in interface AnalysiscaseASystemMachineVariant in class AnalysisAdapterpublic void inAMachineHeader(AMachineHeader node)
public void outAMachineHeader(AMachineHeader node)
public void caseAMachineHeader(AMachineHeader node)
caseAMachineHeader in interface AnalysiscaseAMachineHeader in class AnalysisAdapterpublic void inAExtendsContextClause(AExtendsContextClause node)
public void outAExtendsContextClause(AExtendsContextClause node)
public void caseAExtendsContextClause(AExtendsContextClause node)
caseAExtendsContextClause in interface AnalysiscaseAExtendsContextClause in class AnalysisAdapterpublic void inASetsContextClause(ASetsContextClause node)
public void outASetsContextClause(ASetsContextClause node)
public void caseASetsContextClause(ASetsContextClause node)
caseASetsContextClause in interface AnalysiscaseASetsContextClause in class AnalysisAdapterpublic void inAConstantsContextClause(AConstantsContextClause node)
public void outAConstantsContextClause(AConstantsContextClause node)
public void caseAConstantsContextClause(AConstantsContextClause node)
caseAConstantsContextClause in interface AnalysiscaseAConstantsContextClause in class AnalysisAdapterpublic void inAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
public void outAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
public void caseAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
caseAAbstractConstantsContextClause in interface AnalysiscaseAAbstractConstantsContextClause in class AnalysisAdapterpublic void inAAxiomsContextClause(AAxiomsContextClause node)
public void outAAxiomsContextClause(AAxiomsContextClause node)
public void caseAAxiomsContextClause(AAxiomsContextClause node)
caseAAxiomsContextClause in interface AnalysiscaseAAxiomsContextClause in class AnalysisAdapterpublic void inATheoremsContextClause(ATheoremsContextClause node)
public void outATheoremsContextClause(ATheoremsContextClause node)
public void caseATheoremsContextClause(ATheoremsContextClause node)
caseATheoremsContextClause in interface AnalysiscaseATheoremsContextClause in class AnalysisAdapterpublic void inARefinesModelClause(ARefinesModelClause node)
public void outARefinesModelClause(ARefinesModelClause node)
public void caseARefinesModelClause(ARefinesModelClause node)
caseARefinesModelClause in interface AnalysiscaseARefinesModelClause in class AnalysisAdapterpublic void inASeesModelClause(ASeesModelClause node)
public void outASeesModelClause(ASeesModelClause node)
public void caseASeesModelClause(ASeesModelClause node)
caseASeesModelClause in interface AnalysiscaseASeesModelClause in class AnalysisAdapterpublic void inAVariablesModelClause(AVariablesModelClause node)
public void outAVariablesModelClause(AVariablesModelClause node)
public void caseAVariablesModelClause(AVariablesModelClause node)
caseAVariablesModelClause in interface AnalysiscaseAVariablesModelClause in class AnalysisAdapterpublic void inAInvariantModelClause(AInvariantModelClause node)
public void outAInvariantModelClause(AInvariantModelClause node)
public void caseAInvariantModelClause(AInvariantModelClause node)
caseAInvariantModelClause in interface AnalysiscaseAInvariantModelClause in class AnalysisAdapterpublic void inATheoremsModelClause(ATheoremsModelClause node)
public void outATheoremsModelClause(ATheoremsModelClause node)
public void caseATheoremsModelClause(ATheoremsModelClause node)
caseATheoremsModelClause in interface AnalysiscaseATheoremsModelClause in class AnalysisAdapterpublic void inAVariantModelClause(AVariantModelClause node)
public void outAVariantModelClause(AVariantModelClause node)
public void caseAVariantModelClause(AVariantModelClause node)
caseAVariantModelClause in interface AnalysiscaseAVariantModelClause in class AnalysisAdapterpublic void inAEventsModelClause(AEventsModelClause node)
public void outAEventsModelClause(AEventsModelClause node)
public void caseAEventsModelClause(AEventsModelClause node)
caseAEventsModelClause in interface AnalysiscaseAEventsModelClause in class AnalysisAdapterpublic void inADefinitionsMachineClause(ADefinitionsMachineClause node)
public void outADefinitionsMachineClause(ADefinitionsMachineClause node)
public void caseADefinitionsMachineClause(ADefinitionsMachineClause node)
caseADefinitionsMachineClause in interface AnalysiscaseADefinitionsMachineClause in class AnalysisAdapterpublic void inASeesMachineClause(ASeesMachineClause node)
public void outASeesMachineClause(ASeesMachineClause node)
public void caseASeesMachineClause(ASeesMachineClause node)
caseASeesMachineClause in interface AnalysiscaseASeesMachineClause in class AnalysisAdapterpublic void inAPromotesMachineClause(APromotesMachineClause node)
public void outAPromotesMachineClause(APromotesMachineClause node)
public void caseAPromotesMachineClause(APromotesMachineClause node)
caseAPromotesMachineClause in interface AnalysiscaseAPromotesMachineClause in class AnalysisAdapterpublic void inAUsesMachineClause(AUsesMachineClause node)
public void outAUsesMachineClause(AUsesMachineClause node)
public void caseAUsesMachineClause(AUsesMachineClause node)
caseAUsesMachineClause in interface AnalysiscaseAUsesMachineClause in class AnalysisAdapterpublic void inAIncludesMachineClause(AIncludesMachineClause node)
public void outAIncludesMachineClause(AIncludesMachineClause node)
public void caseAIncludesMachineClause(AIncludesMachineClause node)
caseAIncludesMachineClause in interface AnalysiscaseAIncludesMachineClause in class AnalysisAdapterpublic void inAExtendsMachineClause(AExtendsMachineClause node)
public void outAExtendsMachineClause(AExtendsMachineClause node)
public void caseAExtendsMachineClause(AExtendsMachineClause node)
caseAExtendsMachineClause in interface AnalysiscaseAExtendsMachineClause in class AnalysisAdapterpublic void inAImportsMachineClause(AImportsMachineClause node)
public void outAImportsMachineClause(AImportsMachineClause node)
public void caseAImportsMachineClause(AImportsMachineClause node)
caseAImportsMachineClause in interface AnalysiscaseAImportsMachineClause in class AnalysisAdapterpublic void inASetsMachineClause(ASetsMachineClause node)
public void outASetsMachineClause(ASetsMachineClause node)
public void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause in interface AnalysiscaseASetsMachineClause in class AnalysisAdapterpublic void inAFreetypesMachineClause(AFreetypesMachineClause node)
public void outAFreetypesMachineClause(AFreetypesMachineClause node)
public void caseAFreetypesMachineClause(AFreetypesMachineClause node)
caseAFreetypesMachineClause in interface AnalysiscaseAFreetypesMachineClause in class AnalysisAdapterpublic void inAVariablesMachineClause(AVariablesMachineClause node)
public void outAVariablesMachineClause(AVariablesMachineClause node)
public void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause in interface AnalysiscaseAVariablesMachineClause in class AnalysisAdapterpublic void inAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
public void outAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
public void caseAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
caseAConcreteVariablesMachineClause in interface AnalysiscaseAConcreteVariablesMachineClause in class AnalysisAdapterpublic void inAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
public void outAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
public void caseAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
caseAAbstractConstantsMachineClause in interface AnalysiscaseAAbstractConstantsMachineClause in class AnalysisAdapterpublic void inAConstantsMachineClause(AConstantsMachineClause node)
public void outAConstantsMachineClause(AConstantsMachineClause node)
public void caseAConstantsMachineClause(AConstantsMachineClause node)
caseAConstantsMachineClause in interface AnalysiscaseAConstantsMachineClause in class AnalysisAdapterpublic void inAPropertiesMachineClause(APropertiesMachineClause node)
public void outAPropertiesMachineClause(APropertiesMachineClause node)
public void caseAPropertiesMachineClause(APropertiesMachineClause node)
caseAPropertiesMachineClause in interface AnalysiscaseAPropertiesMachineClause in class AnalysisAdapterpublic void inAConstraintsMachineClause(AConstraintsMachineClause node)
public void outAConstraintsMachineClause(AConstraintsMachineClause node)
public void caseAConstraintsMachineClause(AConstraintsMachineClause node)
caseAConstraintsMachineClause in interface AnalysiscaseAConstraintsMachineClause in class AnalysisAdapterpublic void inAInitialisationMachineClause(AInitialisationMachineClause node)
public void outAInitialisationMachineClause(AInitialisationMachineClause node)
public void caseAInitialisationMachineClause(AInitialisationMachineClause node)
caseAInitialisationMachineClause in interface AnalysiscaseAInitialisationMachineClause in class AnalysisAdapterpublic void inAInvariantMachineClause(AInvariantMachineClause node)
public void outAInvariantMachineClause(AInvariantMachineClause node)
public void caseAInvariantMachineClause(AInvariantMachineClause node)
caseAInvariantMachineClause in interface AnalysiscaseAInvariantMachineClause in class AnalysisAdapterpublic void inAAssertionsMachineClause(AAssertionsMachineClause node)
public void outAAssertionsMachineClause(AAssertionsMachineClause node)
public void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause in interface AnalysiscaseAAssertionsMachineClause in class AnalysisAdapterpublic void inAValuesMachineClause(AValuesMachineClause node)
public void outAValuesMachineClause(AValuesMachineClause node)
public void caseAValuesMachineClause(AValuesMachineClause node)
caseAValuesMachineClause in interface AnalysiscaseAValuesMachineClause in class AnalysisAdapterpublic void inALocalOperationsMachineClause(ALocalOperationsMachineClause node)
public void outALocalOperationsMachineClause(ALocalOperationsMachineClause node)
public void caseALocalOperationsMachineClause(ALocalOperationsMachineClause node)
caseALocalOperationsMachineClause in interface AnalysiscaseALocalOperationsMachineClause in class AnalysisAdapterpublic void inAOperationsMachineClause(AOperationsMachineClause node)
public void outAOperationsMachineClause(AOperationsMachineClause node)
public void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause in interface AnalysiscaseAOperationsMachineClause in class AnalysisAdapterpublic void inAReferencesMachineClause(AReferencesMachineClause node)
public void outAReferencesMachineClause(AReferencesMachineClause node)
public void caseAReferencesMachineClause(AReferencesMachineClause node)
caseAReferencesMachineClause in interface AnalysiscaseAReferencesMachineClause in class AnalysisAdapterpublic void inAInvalidOperationsClauseMachineClause(AInvalidOperationsClauseMachineClause node)
public void outAInvalidOperationsClauseMachineClause(AInvalidOperationsClauseMachineClause node)
public void caseAInvalidOperationsClauseMachineClause(AInvalidOperationsClauseMachineClause node)
caseAInvalidOperationsClauseMachineClause in interface AnalysiscaseAInvalidOperationsClauseMachineClause in class AnalysisAdapterpublic void inAMachineReference(AMachineReference node)
public void outAMachineReference(AMachineReference node)
public void caseAMachineReference(AMachineReference node)
caseAMachineReference in interface AnalysiscaseAMachineReference in class AnalysisAdapterpublic void inAFileMachineReference(AFileMachineReference node)
public void outAFileMachineReference(AFileMachineReference node)
public void caseAFileMachineReference(AFileMachineReference node)
caseAFileMachineReference in interface AnalysiscaseAFileMachineReference in class AnalysisAdapterpublic void inAConversionDefinition(AConversionDefinition node)
public void outAConversionDefinition(AConversionDefinition node)
public void caseAConversionDefinition(AConversionDefinition node)
caseAConversionDefinition in interface AnalysiscaseAConversionDefinition in class AnalysisAdapterpublic void inAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
public void outAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
public void caseAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
caseAPredicateDefinitionDefinition in interface AnalysiscaseAPredicateDefinitionDefinition in class AnalysisAdapterpublic void inASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
public void outASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
public void caseASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
caseASubstitutionDefinitionDefinition in interface AnalysiscaseASubstitutionDefinitionDefinition in class AnalysisAdapterpublic void inAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
public void outAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
public void caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition in interface AnalysiscaseAExpressionDefinitionDefinition in class AnalysisAdapterpublic void inAFileDefinitionDefinition(AFileDefinitionDefinition node)
public void outAFileDefinitionDefinition(AFileDefinitionDefinition node)
public void caseAFileDefinitionDefinition(AFileDefinitionDefinition node)
caseAFileDefinitionDefinition in interface AnalysiscaseAFileDefinitionDefinition in class AnalysisAdapterpublic void inADescriptionSet(ADescriptionSet node)
public void outADescriptionSet(ADescriptionSet node)
public void caseADescriptionSet(ADescriptionSet node)
caseADescriptionSet in interface AnalysiscaseADescriptionSet in class AnalysisAdapterpublic void inADeferredSetSet(ADeferredSetSet node)
public void outADeferredSetSet(ADeferredSetSet node)
public void caseADeferredSetSet(ADeferredSetSet node)
caseADeferredSetSet in interface AnalysiscaseADeferredSetSet in class AnalysisAdapterpublic void inAEnumeratedSetSet(AEnumeratedSetSet node)
public void outAEnumeratedSetSet(AEnumeratedSetSet node)
public void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet in interface AnalysiscaseAEnumeratedSetSet in class AnalysisAdapterpublic void inAFreetype(AFreetype node)
public void outAFreetype(AFreetype node)
public void caseAFreetype(AFreetype node)
caseAFreetype in interface AnalysiscaseAFreetype in class AnalysisAdapterpublic void inAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
public void outAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
public void caseAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
caseAConstructorFreetypeConstructor in interface AnalysiscaseAConstructorFreetypeConstructor in class AnalysisAdapterpublic void inAElementFreetypeConstructor(AElementFreetypeConstructor node)
public void outAElementFreetypeConstructor(AElementFreetypeConstructor node)
public void caseAElementFreetypeConstructor(AElementFreetypeConstructor node)
caseAElementFreetypeConstructor in interface AnalysiscaseAElementFreetypeConstructor in class AnalysisAdapterpublic void inAValuesEntry(AValuesEntry node)
public void outAValuesEntry(AValuesEntry node)
public void caseAValuesEntry(AValuesEntry node)
caseAValuesEntry in interface AnalysiscaseAValuesEntry in class AnalysisAdapterpublic void inAOperation(AOperation node)
public void outAOperation(AOperation node)
public void caseAOperation(AOperation node)
caseAOperation in interface AnalysiscaseAOperation in class AnalysisAdapterpublic void inAMissingSemicolonOperation(AMissingSemicolonOperation node)
public void outAMissingSemicolonOperation(AMissingSemicolonOperation node)
public void caseAMissingSemicolonOperation(AMissingSemicolonOperation node)
caseAMissingSemicolonOperation in interface AnalysiscaseAMissingSemicolonOperation in class AnalysisAdapterpublic void inARuleOperation(ARuleOperation node)
public void outARuleOperation(ARuleOperation node)
public void caseARuleOperation(ARuleOperation node)
caseARuleOperation in interface AnalysiscaseARuleOperation in class AnalysisAdapterpublic void inAComputationOperation(AComputationOperation node)
public void outAComputationOperation(AComputationOperation node)
public void caseAComputationOperation(AComputationOperation node)
caseAComputationOperation in interface AnalysiscaseAComputationOperation in class AnalysisAdapterpublic void inAFunctionOperation(AFunctionOperation node)
public void outAFunctionOperation(AFunctionOperation node)
public void caseAFunctionOperation(AFunctionOperation node)
caseAFunctionOperation in interface AnalysiscaseAFunctionOperation in class AnalysisAdapterpublic void inAOperationAttribute(AOperationAttribute node)
public void outAOperationAttribute(AOperationAttribute node)
public void caseAOperationAttribute(AOperationAttribute node)
caseAOperationAttribute in interface AnalysiscaseAOperationAttribute in class AnalysisAdapterpublic void inAPredicateAttributeOperationAttribute(APredicateAttributeOperationAttribute node)
public void outAPredicateAttributeOperationAttribute(APredicateAttributeOperationAttribute node)
public void caseAPredicateAttributeOperationAttribute(APredicateAttributeOperationAttribute node)
caseAPredicateAttributeOperationAttribute in interface AnalysiscaseAPredicateAttributeOperationAttribute in class AnalysisAdapterpublic void inAEvent(AEvent node)
public void outAEvent(AEvent node)
public void caseAEvent(AEvent node)
caseAEvent in interface AnalysiscaseAEvent in class AnalysisAdapterpublic void inAWitness(AWitness node)
public void outAWitness(AWitness node)
public void caseAWitness(AWitness node)
caseAWitness in interface AnalysiscaseAWitness in class AnalysisAdapterpublic void inAOrdinaryEventstatus(AOrdinaryEventstatus node)
public void outAOrdinaryEventstatus(AOrdinaryEventstatus node)
public void caseAOrdinaryEventstatus(AOrdinaryEventstatus node)
caseAOrdinaryEventstatus in interface AnalysiscaseAOrdinaryEventstatus in class AnalysisAdapterpublic void inAAnticipatedEventstatus(AAnticipatedEventstatus node)
public void outAAnticipatedEventstatus(AAnticipatedEventstatus node)
public void caseAAnticipatedEventstatus(AAnticipatedEventstatus node)
caseAAnticipatedEventstatus in interface AnalysiscaseAAnticipatedEventstatus in class AnalysisAdapterpublic void inAConvergentEventstatus(AConvergentEventstatus node)
public void outAConvergentEventstatus(AConvergentEventstatus node)
public void caseAConvergentEventstatus(AConvergentEventstatus node)
caseAConvergentEventstatus in interface AnalysiscaseAConvergentEventstatus in class AnalysisAdapterpublic void inADescriptionPredicate(ADescriptionPredicate node)
public void outADescriptionPredicate(ADescriptionPredicate node)
public void caseADescriptionPredicate(ADescriptionPredicate node)
caseADescriptionPredicate in interface AnalysiscaseADescriptionPredicate in class AnalysisAdapterpublic void inALabelPredicate(ALabelPredicate node)
public void outALabelPredicate(ALabelPredicate node)
public void caseALabelPredicate(ALabelPredicate node)
caseALabelPredicate in interface AnalysiscaseALabelPredicate in class AnalysisAdapterpublic void inASubstitutionPredicate(ASubstitutionPredicate node)
public void outASubstitutionPredicate(ASubstitutionPredicate node)
public void caseASubstitutionPredicate(ASubstitutionPredicate node)
caseASubstitutionPredicate in interface AnalysiscaseASubstitutionPredicate in class AnalysisAdapterpublic void inAConjunctPredicate(AConjunctPredicate node)
public void outAConjunctPredicate(AConjunctPredicate node)
public void caseAConjunctPredicate(AConjunctPredicate node)
caseAConjunctPredicate in interface AnalysiscaseAConjunctPredicate in class AnalysisAdapterpublic void inANegationPredicate(ANegationPredicate node)
public void outANegationPredicate(ANegationPredicate node)
public void caseANegationPredicate(ANegationPredicate node)
caseANegationPredicate in interface AnalysiscaseANegationPredicate in class AnalysisAdapterpublic void inADisjunctPredicate(ADisjunctPredicate node)
public void outADisjunctPredicate(ADisjunctPredicate node)
public void caseADisjunctPredicate(ADisjunctPredicate node)
caseADisjunctPredicate in interface AnalysiscaseADisjunctPredicate in class AnalysisAdapterpublic void inAImplicationPredicate(AImplicationPredicate node)
public void outAImplicationPredicate(AImplicationPredicate node)
public void caseAImplicationPredicate(AImplicationPredicate node)
caseAImplicationPredicate in interface AnalysiscaseAImplicationPredicate in class AnalysisAdapterpublic void inAEquivalencePredicate(AEquivalencePredicate node)
public void outAEquivalencePredicate(AEquivalencePredicate node)
public void caseAEquivalencePredicate(AEquivalencePredicate node)
caseAEquivalencePredicate in interface AnalysiscaseAEquivalencePredicate in class AnalysisAdapterpublic void inAForallPredicate(AForallPredicate node)
public void outAForallPredicate(AForallPredicate node)
public void caseAForallPredicate(AForallPredicate node)
caseAForallPredicate in interface AnalysiscaseAForallPredicate in class AnalysisAdapterpublic void inAExistsPredicate(AExistsPredicate node)
public void outAExistsPredicate(AExistsPredicate node)
public void caseAExistsPredicate(AExistsPredicate node)
caseAExistsPredicate in interface AnalysiscaseAExistsPredicate in class AnalysisAdapterpublic void inAEqualPredicate(AEqualPredicate node)
public void outAEqualPredicate(AEqualPredicate node)
public void caseAEqualPredicate(AEqualPredicate node)
caseAEqualPredicate in interface AnalysiscaseAEqualPredicate in class AnalysisAdapterpublic void inANotEqualPredicate(ANotEqualPredicate node)
public void outANotEqualPredicate(ANotEqualPredicate node)
public void caseANotEqualPredicate(ANotEqualPredicate node)
caseANotEqualPredicate in interface AnalysiscaseANotEqualPredicate in class AnalysisAdapterpublic void inAMemberPredicate(AMemberPredicate node)
public void outAMemberPredicate(AMemberPredicate node)
public void caseAMemberPredicate(AMemberPredicate node)
caseAMemberPredicate in interface AnalysiscaseAMemberPredicate in class AnalysisAdapterpublic void inANotMemberPredicate(ANotMemberPredicate node)
public void outANotMemberPredicate(ANotMemberPredicate node)
public void caseANotMemberPredicate(ANotMemberPredicate node)
caseANotMemberPredicate in interface AnalysiscaseANotMemberPredicate in class AnalysisAdapterpublic void inASubsetPredicate(ASubsetPredicate node)
public void outASubsetPredicate(ASubsetPredicate node)
public void caseASubsetPredicate(ASubsetPredicate node)
caseASubsetPredicate in interface AnalysiscaseASubsetPredicate in class AnalysisAdapterpublic void inASubsetStrictPredicate(ASubsetStrictPredicate node)
public void outASubsetStrictPredicate(ASubsetStrictPredicate node)
public void caseASubsetStrictPredicate(ASubsetStrictPredicate node)
caseASubsetStrictPredicate in interface AnalysiscaseASubsetStrictPredicate in class AnalysisAdapterpublic void inANotSubsetPredicate(ANotSubsetPredicate node)
public void outANotSubsetPredicate(ANotSubsetPredicate node)
public void caseANotSubsetPredicate(ANotSubsetPredicate node)
caseANotSubsetPredicate in interface AnalysiscaseANotSubsetPredicate in class AnalysisAdapterpublic void inANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
public void outANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
public void caseANotSubsetStrictPredicate(ANotSubsetStrictPredicate node)
caseANotSubsetStrictPredicate in interface AnalysiscaseANotSubsetStrictPredicate in class AnalysisAdapterpublic void inALessEqualPredicate(ALessEqualPredicate node)
public void outALessEqualPredicate(ALessEqualPredicate node)
public void caseALessEqualPredicate(ALessEqualPredicate node)
caseALessEqualPredicate in interface AnalysiscaseALessEqualPredicate in class AnalysisAdapterpublic void inALessPredicate(ALessPredicate node)
public void outALessPredicate(ALessPredicate node)
public void caseALessPredicate(ALessPredicate node)
caseALessPredicate in interface AnalysiscaseALessPredicate in class AnalysisAdapterpublic void inAGreaterEqualPredicate(AGreaterEqualPredicate node)
public void outAGreaterEqualPredicate(AGreaterEqualPredicate node)
public void caseAGreaterEqualPredicate(AGreaterEqualPredicate node)
caseAGreaterEqualPredicate in interface AnalysiscaseAGreaterEqualPredicate in class AnalysisAdapterpublic void inAGreaterPredicate(AGreaterPredicate node)
public void outAGreaterPredicate(AGreaterPredicate node)
public void caseAGreaterPredicate(AGreaterPredicate node)
caseAGreaterPredicate in interface AnalysiscaseAGreaterPredicate in class AnalysisAdapterpublic void inATruthPredicate(ATruthPredicate node)
public void outATruthPredicate(ATruthPredicate node)
public void caseATruthPredicate(ATruthPredicate node)
caseATruthPredicate in interface AnalysiscaseATruthPredicate in class AnalysisAdapterpublic void inAFalsityPredicate(AFalsityPredicate node)
public void outAFalsityPredicate(AFalsityPredicate node)
public void caseAFalsityPredicate(AFalsityPredicate node)
caseAFalsityPredicate in interface AnalysiscaseAFalsityPredicate in class AnalysisAdapterpublic void inAFinitePredicate(AFinitePredicate node)
public void outAFinitePredicate(AFinitePredicate node)
public void caseAFinitePredicate(AFinitePredicate node)
caseAFinitePredicate in interface AnalysiscaseAFinitePredicate in class AnalysisAdapterpublic void inAPartitionPredicate(APartitionPredicate node)
public void outAPartitionPredicate(APartitionPredicate node)
public void caseAPartitionPredicate(APartitionPredicate node)
caseAPartitionPredicate in interface AnalysiscaseAPartitionPredicate in class AnalysisAdapterpublic void inADefinitionPredicate(ADefinitionPredicate node)
public void outADefinitionPredicate(ADefinitionPredicate node)
public void caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate in interface AnalysiscaseADefinitionPredicate in class AnalysisAdapterpublic void inAPredicateIdentifierPredicate(APredicateIdentifierPredicate node)
public void outAPredicateIdentifierPredicate(APredicateIdentifierPredicate node)
public void caseAPredicateIdentifierPredicate(APredicateIdentifierPredicate node)
caseAPredicateIdentifierPredicate in interface AnalysiscaseAPredicateIdentifierPredicate in class AnalysisAdapterpublic void inAPredicateFunctionPredicate(APredicateFunctionPredicate node)
public void outAPredicateFunctionPredicate(APredicateFunctionPredicate node)
public void caseAPredicateFunctionPredicate(APredicateFunctionPredicate node)
caseAPredicateFunctionPredicate in interface AnalysiscaseAPredicateFunctionPredicate in class AnalysisAdapterpublic void inALetPredicatePredicate(ALetPredicatePredicate node)
public void outALetPredicatePredicate(ALetPredicatePredicate node)
public void caseALetPredicatePredicate(ALetPredicatePredicate node)
caseALetPredicatePredicate in interface AnalysiscaseALetPredicatePredicate in class AnalysisAdapterpublic void inAIfPredicatePredicate(AIfPredicatePredicate node)
public void outAIfPredicatePredicate(AIfPredicatePredicate node)
public void caseAIfPredicatePredicate(AIfPredicatePredicate node)
caseAIfPredicatePredicate in interface AnalysiscaseAIfPredicatePredicate in class AnalysisAdapterpublic void inAExtendedPredPredicate(AExtendedPredPredicate node)
public void outAExtendedPredPredicate(AExtendedPredPredicate node)
public void caseAExtendedPredPredicate(AExtendedPredPredicate node)
caseAExtendedPredPredicate in interface AnalysiscaseAExtendedPredPredicate in class AnalysisAdapterpublic void inAOperatorPredicate(AOperatorPredicate node)
public void outAOperatorPredicate(AOperatorPredicate node)
public void caseAOperatorPredicate(AOperatorPredicate node)
caseAOperatorPredicate in interface AnalysiscaseAOperatorPredicate in class AnalysisAdapterpublic void inAFileExpression(AFileExpression node)
public void outAFileExpression(AFileExpression node)
public void caseAFileExpression(AFileExpression node)
caseAFileExpression in interface AnalysiscaseAFileExpression in class AnalysisAdapterpublic void inADescriptionExpression(ADescriptionExpression node)
public void outADescriptionExpression(ADescriptionExpression node)
public void caseADescriptionExpression(ADescriptionExpression node)
caseADescriptionExpression in interface AnalysiscaseADescriptionExpression in class AnalysisAdapterpublic void inAUnitExpression(AUnitExpression node)
public void outAUnitExpression(AUnitExpression node)
public void caseAUnitExpression(AUnitExpression node)
caseAUnitExpression in interface AnalysiscaseAUnitExpression in class AnalysisAdapterpublic void inANewUnitExpression(ANewUnitExpression node)
public void outANewUnitExpression(ANewUnitExpression node)
public void caseANewUnitExpression(ANewUnitExpression node)
caseANewUnitExpression in interface AnalysiscaseANewUnitExpression in class AnalysisAdapterpublic void inAInferredUnitExpression(AInferredUnitExpression node)
public void outAInferredUnitExpression(AInferredUnitExpression node)
public void caseAInferredUnitExpression(AInferredUnitExpression node)
caseAInferredUnitExpression in interface AnalysiscaseAInferredUnitExpression in class AnalysisAdapterpublic void inAIdentifierExpression(AIdentifierExpression node)
public void outAIdentifierExpression(AIdentifierExpression node)
public void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression in interface AnalysiscaseAIdentifierExpression in class AnalysisAdapterpublic void inAPrimedIdentifierExpression(APrimedIdentifierExpression node)
public void outAPrimedIdentifierExpression(APrimedIdentifierExpression node)
public void caseAPrimedIdentifierExpression(APrimedIdentifierExpression node)
caseAPrimedIdentifierExpression in interface AnalysiscaseAPrimedIdentifierExpression in class AnalysisAdapterpublic void inAStringExpression(AStringExpression node)
public void outAStringExpression(AStringExpression node)
public void caseAStringExpression(AStringExpression node)
caseAStringExpression in interface AnalysiscaseAStringExpression in class AnalysisAdapterpublic void inAMultilineStringExpression(AMultilineStringExpression node)
public void outAMultilineStringExpression(AMultilineStringExpression node)
public void caseAMultilineStringExpression(AMultilineStringExpression node)
caseAMultilineStringExpression in interface AnalysiscaseAMultilineStringExpression in class AnalysisAdapterpublic void inABooleanTrueExpression(ABooleanTrueExpression node)
public void outABooleanTrueExpression(ABooleanTrueExpression node)
public void caseABooleanTrueExpression(ABooleanTrueExpression node)
caseABooleanTrueExpression in interface AnalysiscaseABooleanTrueExpression in class AnalysisAdapterpublic void inABooleanFalseExpression(ABooleanFalseExpression node)
public void outABooleanFalseExpression(ABooleanFalseExpression node)
public void caseABooleanFalseExpression(ABooleanFalseExpression node)
caseABooleanFalseExpression in interface AnalysiscaseABooleanFalseExpression in class AnalysisAdapterpublic void inAIntegerExpression(AIntegerExpression node)
public void outAIntegerExpression(AIntegerExpression node)
public void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression in interface AnalysiscaseAIntegerExpression in class AnalysisAdapterpublic void inAMaxIntExpression(AMaxIntExpression node)
public void outAMaxIntExpression(AMaxIntExpression node)
public void caseAMaxIntExpression(AMaxIntExpression node)
caseAMaxIntExpression in interface AnalysiscaseAMaxIntExpression in class AnalysisAdapterpublic void inAMinIntExpression(AMinIntExpression node)
public void outAMinIntExpression(AMinIntExpression node)
public void caseAMinIntExpression(AMinIntExpression node)
caseAMinIntExpression in interface AnalysiscaseAMinIntExpression in class AnalysisAdapterpublic void inAEmptySetExpression(AEmptySetExpression node)
public void outAEmptySetExpression(AEmptySetExpression node)
public void caseAEmptySetExpression(AEmptySetExpression node)
caseAEmptySetExpression in interface AnalysiscaseAEmptySetExpression in class AnalysisAdapterpublic void inAIntegerSetExpression(AIntegerSetExpression node)
public void outAIntegerSetExpression(AIntegerSetExpression node)
public void caseAIntegerSetExpression(AIntegerSetExpression node)
caseAIntegerSetExpression in interface AnalysiscaseAIntegerSetExpression in class AnalysisAdapterpublic void inANaturalSetExpression(ANaturalSetExpression node)
public void outANaturalSetExpression(ANaturalSetExpression node)
public void caseANaturalSetExpression(ANaturalSetExpression node)
caseANaturalSetExpression in interface AnalysiscaseANaturalSetExpression in class AnalysisAdapterpublic void inANatural1SetExpression(ANatural1SetExpression node)
public void outANatural1SetExpression(ANatural1SetExpression node)
public void caseANatural1SetExpression(ANatural1SetExpression node)
caseANatural1SetExpression in interface AnalysiscaseANatural1SetExpression in class AnalysisAdapterpublic void inANatSetExpression(ANatSetExpression node)
public void outANatSetExpression(ANatSetExpression node)
public void caseANatSetExpression(ANatSetExpression node)
caseANatSetExpression in interface AnalysiscaseANatSetExpression in class AnalysisAdapterpublic void inANat1SetExpression(ANat1SetExpression node)
public void outANat1SetExpression(ANat1SetExpression node)
public void caseANat1SetExpression(ANat1SetExpression node)
caseANat1SetExpression in interface AnalysiscaseANat1SetExpression in class AnalysisAdapterpublic void inAIntSetExpression(AIntSetExpression node)
public void outAIntSetExpression(AIntSetExpression node)
public void caseAIntSetExpression(AIntSetExpression node)
caseAIntSetExpression in interface AnalysiscaseAIntSetExpression in class AnalysisAdapterpublic void inABoolSetExpression(ABoolSetExpression node)
public void outABoolSetExpression(ABoolSetExpression node)
public void caseABoolSetExpression(ABoolSetExpression node)
caseABoolSetExpression in interface AnalysiscaseABoolSetExpression in class AnalysisAdapterpublic void inAStringSetExpression(AStringSetExpression node)
public void outAStringSetExpression(AStringSetExpression node)
public void caseAStringSetExpression(AStringSetExpression node)
caseAStringSetExpression in interface AnalysiscaseAStringSetExpression in class AnalysisAdapterpublic void inAConvertBoolExpression(AConvertBoolExpression node)
public void outAConvertBoolExpression(AConvertBoolExpression node)
public void caseAConvertBoolExpression(AConvertBoolExpression node)
caseAConvertBoolExpression in interface AnalysiscaseAConvertBoolExpression in class AnalysisAdapterpublic void inAAddExpression(AAddExpression node)
public void outAAddExpression(AAddExpression node)
public void caseAAddExpression(AAddExpression node)
caseAAddExpression in interface AnalysiscaseAAddExpression in class AnalysisAdapterpublic void inAMinusExpression(AMinusExpression node)
public void outAMinusExpression(AMinusExpression node)
public void caseAMinusExpression(AMinusExpression node)
caseAMinusExpression in interface AnalysiscaseAMinusExpression in class AnalysisAdapterpublic void inAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
public void outAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
public void caseAMinusOrSetSubtractExpression(AMinusOrSetSubtractExpression node)
caseAMinusOrSetSubtractExpression in interface AnalysiscaseAMinusOrSetSubtractExpression in class AnalysisAdapterpublic void inAUnaryMinusExpression(AUnaryMinusExpression node)
public void outAUnaryMinusExpression(AUnaryMinusExpression node)
public void caseAUnaryMinusExpression(AUnaryMinusExpression node)
caseAUnaryMinusExpression in interface AnalysiscaseAUnaryMinusExpression in class AnalysisAdapterpublic void inAMultiplicationExpression(AMultiplicationExpression node)
public void outAMultiplicationExpression(AMultiplicationExpression node)
public void caseAMultiplicationExpression(AMultiplicationExpression node)
caseAMultiplicationExpression in interface AnalysiscaseAMultiplicationExpression in class AnalysisAdapterpublic void inACartesianProductExpression(ACartesianProductExpression node)
public void outACartesianProductExpression(ACartesianProductExpression node)
public void caseACartesianProductExpression(ACartesianProductExpression node)
caseACartesianProductExpression in interface AnalysiscaseACartesianProductExpression in class AnalysisAdapterpublic void inAMultOrCartExpression(AMultOrCartExpression node)
public void outAMultOrCartExpression(AMultOrCartExpression node)
public void caseAMultOrCartExpression(AMultOrCartExpression node)
caseAMultOrCartExpression in interface AnalysiscaseAMultOrCartExpression in class AnalysisAdapterpublic void inADivExpression(ADivExpression node)
public void outADivExpression(ADivExpression node)
public void caseADivExpression(ADivExpression node)
caseADivExpression in interface AnalysiscaseADivExpression in class AnalysisAdapterpublic void inAFlooredDivExpression(AFlooredDivExpression node)
public void outAFlooredDivExpression(AFlooredDivExpression node)
public void caseAFlooredDivExpression(AFlooredDivExpression node)
caseAFlooredDivExpression in interface AnalysiscaseAFlooredDivExpression in class AnalysisAdapterpublic void inAIfThenElseExpression(AIfThenElseExpression node)
public void outAIfThenElseExpression(AIfThenElseExpression node)
public void caseAIfThenElseExpression(AIfThenElseExpression node)
caseAIfThenElseExpression in interface AnalysiscaseAIfThenElseExpression in class AnalysisAdapterpublic void inALetExpressionExpression(ALetExpressionExpression node)
public void outALetExpressionExpression(ALetExpressionExpression node)
public void caseALetExpressionExpression(ALetExpressionExpression node)
caseALetExpressionExpression in interface AnalysiscaseALetExpressionExpression in class AnalysisAdapterpublic void inAModuloExpression(AModuloExpression node)
public void outAModuloExpression(AModuloExpression node)
public void caseAModuloExpression(AModuloExpression node)
caseAModuloExpression in interface AnalysiscaseAModuloExpression in class AnalysisAdapterpublic void inAPowerOfExpression(APowerOfExpression node)
public void outAPowerOfExpression(APowerOfExpression node)
public void caseAPowerOfExpression(APowerOfExpression node)
caseAPowerOfExpression in interface AnalysiscaseAPowerOfExpression in class AnalysisAdapterpublic void inASuccessorExpression(ASuccessorExpression node)
public void outASuccessorExpression(ASuccessorExpression node)
public void caseASuccessorExpression(ASuccessorExpression node)
caseASuccessorExpression in interface AnalysiscaseASuccessorExpression in class AnalysisAdapterpublic void inAPredecessorExpression(APredecessorExpression node)
public void outAPredecessorExpression(APredecessorExpression node)
public void caseAPredecessorExpression(APredecessorExpression node)
caseAPredecessorExpression in interface AnalysiscaseAPredecessorExpression in class AnalysisAdapterpublic void inAMaxExpression(AMaxExpression node)
public void outAMaxExpression(AMaxExpression node)
public void caseAMaxExpression(AMaxExpression node)
caseAMaxExpression in interface AnalysiscaseAMaxExpression in class AnalysisAdapterpublic void inAMinExpression(AMinExpression node)
public void outAMinExpression(AMinExpression node)
public void caseAMinExpression(AMinExpression node)
caseAMinExpression in interface AnalysiscaseAMinExpression in class AnalysisAdapterpublic void inACardExpression(ACardExpression node)
public void outACardExpression(ACardExpression node)
public void caseACardExpression(ACardExpression node)
caseACardExpression in interface AnalysiscaseACardExpression in class AnalysisAdapterpublic void inAGeneralSumExpression(AGeneralSumExpression node)
public void outAGeneralSumExpression(AGeneralSumExpression node)
public void caseAGeneralSumExpression(AGeneralSumExpression node)
caseAGeneralSumExpression in interface AnalysiscaseAGeneralSumExpression in class AnalysisAdapterpublic void inAGeneralProductExpression(AGeneralProductExpression node)
public void outAGeneralProductExpression(AGeneralProductExpression node)
public void caseAGeneralProductExpression(AGeneralProductExpression node)
caseAGeneralProductExpression in interface AnalysiscaseAGeneralProductExpression in class AnalysisAdapterpublic void inACoupleExpression(ACoupleExpression node)
public void outACoupleExpression(ACoupleExpression node)
public void caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression in interface AnalysiscaseACoupleExpression in class AnalysisAdapterpublic void inAComprehensionSetExpression(AComprehensionSetExpression node)
public void outAComprehensionSetExpression(AComprehensionSetExpression node)
public void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression in interface AnalysiscaseAComprehensionSetExpression in class AnalysisAdapterpublic void inASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
public void outASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
public void caseASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
caseASymbolicComprehensionSetExpression in interface AnalysiscaseASymbolicComprehensionSetExpression in class AnalysisAdapterpublic void inAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
public void outAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
public void caseAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
caseAProverComprehensionSetExpression in interface AnalysiscaseAProverComprehensionSetExpression in class AnalysisAdapterpublic void inAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
public void outAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
public void caseAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
caseAEventBComprehensionSetExpression in interface AnalysiscaseAEventBComprehensionSetExpression in class AnalysisAdapterpublic void inAPowSubsetExpression(APowSubsetExpression node)
public void outAPowSubsetExpression(APowSubsetExpression node)
public void caseAPowSubsetExpression(APowSubsetExpression node)
caseAPowSubsetExpression in interface AnalysiscaseAPowSubsetExpression in class AnalysisAdapterpublic void inAPow1SubsetExpression(APow1SubsetExpression node)
public void outAPow1SubsetExpression(APow1SubsetExpression node)
public void caseAPow1SubsetExpression(APow1SubsetExpression node)
caseAPow1SubsetExpression in interface AnalysiscaseAPow1SubsetExpression in class AnalysisAdapterpublic void inAFinSubsetExpression(AFinSubsetExpression node)
public void outAFinSubsetExpression(AFinSubsetExpression node)
public void caseAFinSubsetExpression(AFinSubsetExpression node)
caseAFinSubsetExpression in interface AnalysiscaseAFinSubsetExpression in class AnalysisAdapterpublic void inAFin1SubsetExpression(AFin1SubsetExpression node)
public void outAFin1SubsetExpression(AFin1SubsetExpression node)
public void caseAFin1SubsetExpression(AFin1SubsetExpression node)
caseAFin1SubsetExpression in interface AnalysiscaseAFin1SubsetExpression in class AnalysisAdapterpublic void inASetExtensionExpression(ASetExtensionExpression node)
public void outASetExtensionExpression(ASetExtensionExpression node)
public void caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression in interface AnalysiscaseASetExtensionExpression in class AnalysisAdapterpublic void inAIntervalExpression(AIntervalExpression node)
public void outAIntervalExpression(AIntervalExpression node)
public void caseAIntervalExpression(AIntervalExpression node)
caseAIntervalExpression in interface AnalysiscaseAIntervalExpression in class AnalysisAdapterpublic void inAUnionExpression(AUnionExpression node)
public void outAUnionExpression(AUnionExpression node)
public void caseAUnionExpression(AUnionExpression node)
caseAUnionExpression in interface AnalysiscaseAUnionExpression in class AnalysisAdapterpublic void inAIntersectionExpression(AIntersectionExpression node)
public void outAIntersectionExpression(AIntersectionExpression node)
public void caseAIntersectionExpression(AIntersectionExpression node)
caseAIntersectionExpression in interface AnalysiscaseAIntersectionExpression in class AnalysisAdapterpublic void inASetSubtractionExpression(ASetSubtractionExpression node)
public void outASetSubtractionExpression(ASetSubtractionExpression node)
public void caseASetSubtractionExpression(ASetSubtractionExpression node)
caseASetSubtractionExpression in interface AnalysiscaseASetSubtractionExpression in class AnalysisAdapterpublic void inAGeneralUnionExpression(AGeneralUnionExpression node)
public void outAGeneralUnionExpression(AGeneralUnionExpression node)
public void caseAGeneralUnionExpression(AGeneralUnionExpression node)
caseAGeneralUnionExpression in interface AnalysiscaseAGeneralUnionExpression in class AnalysisAdapterpublic void inAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
public void outAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
public void caseAGeneralIntersectionExpression(AGeneralIntersectionExpression node)
caseAGeneralIntersectionExpression in interface AnalysiscaseAGeneralIntersectionExpression in class AnalysisAdapterpublic void inAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
public void outAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
public void caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression in interface AnalysiscaseAQuantifiedUnionExpression in class AnalysisAdapterpublic void inAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
public void outAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
public void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression in interface AnalysiscaseAQuantifiedIntersectionExpression in class AnalysisAdapterpublic void inARelationsExpression(ARelationsExpression node)
public void outARelationsExpression(ARelationsExpression node)
public void caseARelationsExpression(ARelationsExpression node)
caseARelationsExpression in interface AnalysiscaseARelationsExpression in class AnalysisAdapterpublic void inAIdentityExpression(AIdentityExpression node)
public void outAIdentityExpression(AIdentityExpression node)
public void caseAIdentityExpression(AIdentityExpression node)
caseAIdentityExpression in interface AnalysiscaseAIdentityExpression in class AnalysisAdapterpublic void inAEventBIdentityExpression(AEventBIdentityExpression node)
public void outAEventBIdentityExpression(AEventBIdentityExpression node)
public void caseAEventBIdentityExpression(AEventBIdentityExpression node)
caseAEventBIdentityExpression in interface AnalysiscaseAEventBIdentityExpression in class AnalysisAdapterpublic void inAReverseExpression(AReverseExpression node)
public void outAReverseExpression(AReverseExpression node)
public void caseAReverseExpression(AReverseExpression node)
caseAReverseExpression in interface AnalysiscaseAReverseExpression in class AnalysisAdapterpublic void inAFirstProjectionExpression(AFirstProjectionExpression node)
public void outAFirstProjectionExpression(AFirstProjectionExpression node)
public void caseAFirstProjectionExpression(AFirstProjectionExpression node)
caseAFirstProjectionExpression in interface AnalysiscaseAFirstProjectionExpression in class AnalysisAdapterpublic void inAEventBFirstProjectionExpression(AEventBFirstProjectionExpression node)
public void outAEventBFirstProjectionExpression(AEventBFirstProjectionExpression node)
public void caseAEventBFirstProjectionExpression(AEventBFirstProjectionExpression node)
caseAEventBFirstProjectionExpression in interface AnalysiscaseAEventBFirstProjectionExpression in class AnalysisAdapterpublic void inAEventBFirstProjectionV2Expression(AEventBFirstProjectionV2Expression node)
public void outAEventBFirstProjectionV2Expression(AEventBFirstProjectionV2Expression node)
public void caseAEventBFirstProjectionV2Expression(AEventBFirstProjectionV2Expression node)
caseAEventBFirstProjectionV2Expression in interface AnalysiscaseAEventBFirstProjectionV2Expression in class AnalysisAdapterpublic void inASecondProjectionExpression(ASecondProjectionExpression node)
public void outASecondProjectionExpression(ASecondProjectionExpression node)
public void caseASecondProjectionExpression(ASecondProjectionExpression node)
caseASecondProjectionExpression in interface AnalysiscaseASecondProjectionExpression in class AnalysisAdapterpublic void inAEventBSecondProjectionExpression(AEventBSecondProjectionExpression node)
public void outAEventBSecondProjectionExpression(AEventBSecondProjectionExpression node)
public void caseAEventBSecondProjectionExpression(AEventBSecondProjectionExpression node)
caseAEventBSecondProjectionExpression in interface AnalysiscaseAEventBSecondProjectionExpression in class AnalysisAdapterpublic void inAEventBSecondProjectionV2Expression(AEventBSecondProjectionV2Expression node)
public void outAEventBSecondProjectionV2Expression(AEventBSecondProjectionV2Expression node)
public void caseAEventBSecondProjectionV2Expression(AEventBSecondProjectionV2Expression node)
caseAEventBSecondProjectionV2Expression in interface AnalysiscaseAEventBSecondProjectionV2Expression in class AnalysisAdapterpublic void inACompositionExpression(ACompositionExpression node)
public void outACompositionExpression(ACompositionExpression node)
public void caseACompositionExpression(ACompositionExpression node)
caseACompositionExpression in interface AnalysiscaseACompositionExpression in class AnalysisAdapterpublic void inARingExpression(ARingExpression node)
public void outARingExpression(ARingExpression node)
public void caseARingExpression(ARingExpression node)
caseARingExpression in interface AnalysiscaseARingExpression in class AnalysisAdapterpublic void inADirectProductExpression(ADirectProductExpression node)
public void outADirectProductExpression(ADirectProductExpression node)
public void caseADirectProductExpression(ADirectProductExpression node)
caseADirectProductExpression in interface AnalysiscaseADirectProductExpression in class AnalysisAdapterpublic void inAParallelProductExpression(AParallelProductExpression node)
public void outAParallelProductExpression(AParallelProductExpression node)
public void caseAParallelProductExpression(AParallelProductExpression node)
caseAParallelProductExpression in interface AnalysiscaseAParallelProductExpression in class AnalysisAdapterpublic void inAIterationExpression(AIterationExpression node)
public void outAIterationExpression(AIterationExpression node)
public void caseAIterationExpression(AIterationExpression node)
caseAIterationExpression in interface AnalysiscaseAIterationExpression in class AnalysisAdapterpublic void inAReflexiveClosureExpression(AReflexiveClosureExpression node)
public void outAReflexiveClosureExpression(AReflexiveClosureExpression node)
public void caseAReflexiveClosureExpression(AReflexiveClosureExpression node)
caseAReflexiveClosureExpression in interface AnalysiscaseAReflexiveClosureExpression in class AnalysisAdapterpublic void inAClosureExpression(AClosureExpression node)
public void outAClosureExpression(AClosureExpression node)
public void caseAClosureExpression(AClosureExpression node)
caseAClosureExpression in interface AnalysiscaseAClosureExpression in class AnalysisAdapterpublic void inADomainExpression(ADomainExpression node)
public void outADomainExpression(ADomainExpression node)
public void caseADomainExpression(ADomainExpression node)
caseADomainExpression in interface AnalysiscaseADomainExpression in class AnalysisAdapterpublic void inARangeExpression(ARangeExpression node)
public void outARangeExpression(ARangeExpression node)
public void caseARangeExpression(ARangeExpression node)
caseARangeExpression in interface AnalysiscaseARangeExpression in class AnalysisAdapterpublic void inAImageExpression(AImageExpression node)
public void outAImageExpression(AImageExpression node)
public void caseAImageExpression(AImageExpression node)
caseAImageExpression in interface AnalysiscaseAImageExpression in class AnalysisAdapterpublic void inADomainRestrictionExpression(ADomainRestrictionExpression node)
public void outADomainRestrictionExpression(ADomainRestrictionExpression node)
public void caseADomainRestrictionExpression(ADomainRestrictionExpression node)
caseADomainRestrictionExpression in interface AnalysiscaseADomainRestrictionExpression in class AnalysisAdapterpublic void inADomainSubtractionExpression(ADomainSubtractionExpression node)
public void outADomainSubtractionExpression(ADomainSubtractionExpression node)
public void caseADomainSubtractionExpression(ADomainSubtractionExpression node)
caseADomainSubtractionExpression in interface AnalysiscaseADomainSubtractionExpression in class AnalysisAdapterpublic void inARangeRestrictionExpression(ARangeRestrictionExpression node)
public void outARangeRestrictionExpression(ARangeRestrictionExpression node)
public void caseARangeRestrictionExpression(ARangeRestrictionExpression node)
caseARangeRestrictionExpression in interface AnalysiscaseARangeRestrictionExpression in class AnalysisAdapterpublic void inARangeSubtractionExpression(ARangeSubtractionExpression node)
public void outARangeSubtractionExpression(ARangeSubtractionExpression node)
public void caseARangeSubtractionExpression(ARangeSubtractionExpression node)
caseARangeSubtractionExpression in interface AnalysiscaseARangeSubtractionExpression in class AnalysisAdapterpublic void inAOverwriteExpression(AOverwriteExpression node)
public void outAOverwriteExpression(AOverwriteExpression node)
public void caseAOverwriteExpression(AOverwriteExpression node)
caseAOverwriteExpression in interface AnalysiscaseAOverwriteExpression in class AnalysisAdapterpublic void inAPartialFunctionExpression(APartialFunctionExpression node)
public void outAPartialFunctionExpression(APartialFunctionExpression node)
public void caseAPartialFunctionExpression(APartialFunctionExpression node)
caseAPartialFunctionExpression in interface AnalysiscaseAPartialFunctionExpression in class AnalysisAdapterpublic void inATotalFunctionExpression(ATotalFunctionExpression node)
public void outATotalFunctionExpression(ATotalFunctionExpression node)
public void caseATotalFunctionExpression(ATotalFunctionExpression node)
caseATotalFunctionExpression in interface AnalysiscaseATotalFunctionExpression in class AnalysisAdapterpublic void inAPartialInjectionExpression(APartialInjectionExpression node)
public void outAPartialInjectionExpression(APartialInjectionExpression node)
public void caseAPartialInjectionExpression(APartialInjectionExpression node)
caseAPartialInjectionExpression in interface AnalysiscaseAPartialInjectionExpression in class AnalysisAdapterpublic void inATotalInjectionExpression(ATotalInjectionExpression node)
public void outATotalInjectionExpression(ATotalInjectionExpression node)
public void caseATotalInjectionExpression(ATotalInjectionExpression node)
caseATotalInjectionExpression in interface AnalysiscaseATotalInjectionExpression in class AnalysisAdapterpublic void inAPartialSurjectionExpression(APartialSurjectionExpression node)
public void outAPartialSurjectionExpression(APartialSurjectionExpression node)
public void caseAPartialSurjectionExpression(APartialSurjectionExpression node)
caseAPartialSurjectionExpression in interface AnalysiscaseAPartialSurjectionExpression in class AnalysisAdapterpublic void inATotalSurjectionExpression(ATotalSurjectionExpression node)
public void outATotalSurjectionExpression(ATotalSurjectionExpression node)
public void caseATotalSurjectionExpression(ATotalSurjectionExpression node)
caseATotalSurjectionExpression in interface AnalysiscaseATotalSurjectionExpression in class AnalysisAdapterpublic void inAPartialBijectionExpression(APartialBijectionExpression node)
public void outAPartialBijectionExpression(APartialBijectionExpression node)
public void caseAPartialBijectionExpression(APartialBijectionExpression node)
caseAPartialBijectionExpression in interface AnalysiscaseAPartialBijectionExpression in class AnalysisAdapterpublic void inATotalBijectionExpression(ATotalBijectionExpression node)
public void outATotalBijectionExpression(ATotalBijectionExpression node)
public void caseATotalBijectionExpression(ATotalBijectionExpression node)
caseATotalBijectionExpression in interface AnalysiscaseATotalBijectionExpression in class AnalysisAdapterpublic void inATotalRelationExpression(ATotalRelationExpression node)
public void outATotalRelationExpression(ATotalRelationExpression node)
public void caseATotalRelationExpression(ATotalRelationExpression node)
caseATotalRelationExpression in interface AnalysiscaseATotalRelationExpression in class AnalysisAdapterpublic void inASurjectionRelationExpression(ASurjectionRelationExpression node)
public void outASurjectionRelationExpression(ASurjectionRelationExpression node)
public void caseASurjectionRelationExpression(ASurjectionRelationExpression node)
caseASurjectionRelationExpression in interface AnalysiscaseASurjectionRelationExpression in class AnalysisAdapterpublic void inATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
public void outATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
public void caseATotalSurjectionRelationExpression(ATotalSurjectionRelationExpression node)
caseATotalSurjectionRelationExpression in interface AnalysiscaseATotalSurjectionRelationExpression in class AnalysisAdapterpublic void inALambdaExpression(ALambdaExpression node)
public void outALambdaExpression(ALambdaExpression node)
public void caseALambdaExpression(ALambdaExpression node)
caseALambdaExpression in interface AnalysiscaseALambdaExpression in class AnalysisAdapterpublic void inASymbolicLambdaExpression(ASymbolicLambdaExpression node)
public void outASymbolicLambdaExpression(ASymbolicLambdaExpression node)
public void caseASymbolicLambdaExpression(ASymbolicLambdaExpression node)
caseASymbolicLambdaExpression in interface AnalysiscaseASymbolicLambdaExpression in class AnalysisAdapterpublic void inATransFunctionExpression(ATransFunctionExpression node)
public void outATransFunctionExpression(ATransFunctionExpression node)
public void caseATransFunctionExpression(ATransFunctionExpression node)
caseATransFunctionExpression in interface AnalysiscaseATransFunctionExpression in class AnalysisAdapterpublic void inATransRelationExpression(ATransRelationExpression node)
public void outATransRelationExpression(ATransRelationExpression node)
public void caseATransRelationExpression(ATransRelationExpression node)
caseATransRelationExpression in interface AnalysiscaseATransRelationExpression in class AnalysisAdapterpublic void inASeqExpression(ASeqExpression node)
public void outASeqExpression(ASeqExpression node)
public void caseASeqExpression(ASeqExpression node)
caseASeqExpression in interface AnalysiscaseASeqExpression in class AnalysisAdapterpublic void inASeq1Expression(ASeq1Expression node)
public void outASeq1Expression(ASeq1Expression node)
public void caseASeq1Expression(ASeq1Expression node)
caseASeq1Expression in interface AnalysiscaseASeq1Expression in class AnalysisAdapterpublic void inAIseqExpression(AIseqExpression node)
public void outAIseqExpression(AIseqExpression node)
public void caseAIseqExpression(AIseqExpression node)
caseAIseqExpression in interface AnalysiscaseAIseqExpression in class AnalysisAdapterpublic void inAIseq1Expression(AIseq1Expression node)
public void outAIseq1Expression(AIseq1Expression node)
public void caseAIseq1Expression(AIseq1Expression node)
caseAIseq1Expression in interface AnalysiscaseAIseq1Expression in class AnalysisAdapterpublic void inAPermExpression(APermExpression node)
public void outAPermExpression(APermExpression node)
public void caseAPermExpression(APermExpression node)
caseAPermExpression in interface AnalysiscaseAPermExpression in class AnalysisAdapterpublic void inAEmptySequenceExpression(AEmptySequenceExpression node)
public void outAEmptySequenceExpression(AEmptySequenceExpression node)
public void caseAEmptySequenceExpression(AEmptySequenceExpression node)
caseAEmptySequenceExpression in interface AnalysiscaseAEmptySequenceExpression in class AnalysisAdapterpublic void inASequenceExtensionExpression(ASequenceExtensionExpression node)
public void outASequenceExtensionExpression(ASequenceExtensionExpression node)
public void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression in interface AnalysiscaseASequenceExtensionExpression in class AnalysisAdapterpublic void inASizeExpression(ASizeExpression node)
public void outASizeExpression(ASizeExpression node)
public void caseASizeExpression(ASizeExpression node)
caseASizeExpression in interface AnalysiscaseASizeExpression in class AnalysisAdapterpublic void inAFirstExpression(AFirstExpression node)
public void outAFirstExpression(AFirstExpression node)
public void caseAFirstExpression(AFirstExpression node)
caseAFirstExpression in interface AnalysiscaseAFirstExpression in class AnalysisAdapterpublic void inALastExpression(ALastExpression node)
public void outALastExpression(ALastExpression node)
public void caseALastExpression(ALastExpression node)
caseALastExpression in interface AnalysiscaseALastExpression in class AnalysisAdapterpublic void inAFrontExpression(AFrontExpression node)
public void outAFrontExpression(AFrontExpression node)
public void caseAFrontExpression(AFrontExpression node)
caseAFrontExpression in interface AnalysiscaseAFrontExpression in class AnalysisAdapterpublic void inATailExpression(ATailExpression node)
public void outATailExpression(ATailExpression node)
public void caseATailExpression(ATailExpression node)
caseATailExpression in interface AnalysiscaseATailExpression in class AnalysisAdapterpublic void inARevExpression(ARevExpression node)
public void outARevExpression(ARevExpression node)
public void caseARevExpression(ARevExpression node)
caseARevExpression in interface AnalysiscaseARevExpression in class AnalysisAdapterpublic void inAConcatExpression(AConcatExpression node)
public void outAConcatExpression(AConcatExpression node)
public void caseAConcatExpression(AConcatExpression node)
caseAConcatExpression in interface AnalysiscaseAConcatExpression in class AnalysisAdapterpublic void inAInsertFrontExpression(AInsertFrontExpression node)
public void outAInsertFrontExpression(AInsertFrontExpression node)
public void caseAInsertFrontExpression(AInsertFrontExpression node)
caseAInsertFrontExpression in interface AnalysiscaseAInsertFrontExpression in class AnalysisAdapterpublic void inAInsertTailExpression(AInsertTailExpression node)
public void outAInsertTailExpression(AInsertTailExpression node)
public void caseAInsertTailExpression(AInsertTailExpression node)
caseAInsertTailExpression in interface AnalysiscaseAInsertTailExpression in class AnalysisAdapterpublic void inARestrictFrontExpression(ARestrictFrontExpression node)
public void outARestrictFrontExpression(ARestrictFrontExpression node)
public void caseARestrictFrontExpression(ARestrictFrontExpression node)
caseARestrictFrontExpression in interface AnalysiscaseARestrictFrontExpression in class AnalysisAdapterpublic void inARestrictTailExpression(ARestrictTailExpression node)
public void outARestrictTailExpression(ARestrictTailExpression node)
public void caseARestrictTailExpression(ARestrictTailExpression node)
caseARestrictTailExpression in interface AnalysiscaseARestrictTailExpression in class AnalysisAdapterpublic void inAGeneralConcatExpression(AGeneralConcatExpression node)
public void outAGeneralConcatExpression(AGeneralConcatExpression node)
public void caseAGeneralConcatExpression(AGeneralConcatExpression node)
caseAGeneralConcatExpression in interface AnalysiscaseAGeneralConcatExpression in class AnalysisAdapterpublic void inADefinitionExpression(ADefinitionExpression node)
public void outADefinitionExpression(ADefinitionExpression node)
public void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression in interface AnalysiscaseADefinitionExpression in class AnalysisAdapterpublic void inAFunctionExpression(AFunctionExpression node)
public void outAFunctionExpression(AFunctionExpression node)
public void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression in interface AnalysiscaseAFunctionExpression in class AnalysisAdapterpublic void inATreeExpression(ATreeExpression node)
public void outATreeExpression(ATreeExpression node)
public void caseATreeExpression(ATreeExpression node)
caseATreeExpression in interface AnalysiscaseATreeExpression in class AnalysisAdapterpublic void inABtreeExpression(ABtreeExpression node)
public void outABtreeExpression(ABtreeExpression node)
public void caseABtreeExpression(ABtreeExpression node)
caseABtreeExpression in interface AnalysiscaseABtreeExpression in class AnalysisAdapterpublic void inAConstExpression(AConstExpression node)
public void outAConstExpression(AConstExpression node)
public void caseAConstExpression(AConstExpression node)
caseAConstExpression in interface AnalysiscaseAConstExpression in class AnalysisAdapterpublic void inATopExpression(ATopExpression node)
public void outATopExpression(ATopExpression node)
public void caseATopExpression(ATopExpression node)
caseATopExpression in interface AnalysiscaseATopExpression in class AnalysisAdapterpublic void inASonsExpression(ASonsExpression node)
public void outASonsExpression(ASonsExpression node)
public void caseASonsExpression(ASonsExpression node)
caseASonsExpression in interface AnalysiscaseASonsExpression in class AnalysisAdapterpublic void inAPrefixExpression(APrefixExpression node)
public void outAPrefixExpression(APrefixExpression node)
public void caseAPrefixExpression(APrefixExpression node)
caseAPrefixExpression in interface AnalysiscaseAPrefixExpression in class AnalysisAdapterpublic void inAPostfixExpression(APostfixExpression node)
public void outAPostfixExpression(APostfixExpression node)
public void caseAPostfixExpression(APostfixExpression node)
caseAPostfixExpression in interface AnalysiscaseAPostfixExpression in class AnalysisAdapterpublic void inASizetExpression(ASizetExpression node)
public void outASizetExpression(ASizetExpression node)
public void caseASizetExpression(ASizetExpression node)
caseASizetExpression in interface AnalysiscaseASizetExpression in class AnalysisAdapterpublic void inAMirrorExpression(AMirrorExpression node)
public void outAMirrorExpression(AMirrorExpression node)
public void caseAMirrorExpression(AMirrorExpression node)
caseAMirrorExpression in interface AnalysiscaseAMirrorExpression in class AnalysisAdapterpublic void inARankExpression(ARankExpression node)
public void outARankExpression(ARankExpression node)
public void caseARankExpression(ARankExpression node)
caseARankExpression in interface AnalysiscaseARankExpression in class AnalysisAdapterpublic void inAFatherExpression(AFatherExpression node)
public void outAFatherExpression(AFatherExpression node)
public void caseAFatherExpression(AFatherExpression node)
caseAFatherExpression in interface AnalysiscaseAFatherExpression in class AnalysisAdapterpublic void inASonExpression(ASonExpression node)
public void outASonExpression(ASonExpression node)
public void caseASonExpression(ASonExpression node)
caseASonExpression in interface AnalysiscaseASonExpression in class AnalysisAdapterpublic void inASubtreeExpression(ASubtreeExpression node)
public void outASubtreeExpression(ASubtreeExpression node)
public void caseASubtreeExpression(ASubtreeExpression node)
caseASubtreeExpression in interface AnalysiscaseASubtreeExpression in class AnalysisAdapterpublic void inAArityExpression(AArityExpression node)
public void outAArityExpression(AArityExpression node)
public void caseAArityExpression(AArityExpression node)
caseAArityExpression in interface AnalysiscaseAArityExpression in class AnalysisAdapterpublic void inABinExpression(ABinExpression node)
public void outABinExpression(ABinExpression node)
public void caseABinExpression(ABinExpression node)
caseABinExpression in interface AnalysiscaseABinExpression in class AnalysisAdapterpublic void inALeftExpression(ALeftExpression node)
public void outALeftExpression(ALeftExpression node)
public void caseALeftExpression(ALeftExpression node)
caseALeftExpression in interface AnalysiscaseALeftExpression in class AnalysisAdapterpublic void inARightExpression(ARightExpression node)
public void outARightExpression(ARightExpression node)
public void caseARightExpression(ARightExpression node)
caseARightExpression in interface AnalysiscaseARightExpression in class AnalysisAdapterpublic void inAInfixExpression(AInfixExpression node)
public void outAInfixExpression(AInfixExpression node)
public void caseAInfixExpression(AInfixExpression node)
caseAInfixExpression in interface AnalysiscaseAInfixExpression in class AnalysisAdapterpublic void inAStructExpression(AStructExpression node)
public void outAStructExpression(AStructExpression node)
public void caseAStructExpression(AStructExpression node)
caseAStructExpression in interface AnalysiscaseAStructExpression in class AnalysisAdapterpublic void inARecExpression(ARecExpression node)
public void outARecExpression(ARecExpression node)
public void caseARecExpression(ARecExpression node)
caseARecExpression in interface AnalysiscaseARecExpression in class AnalysisAdapterpublic void inARecordFieldExpression(ARecordFieldExpression node)
public void outARecordFieldExpression(ARecordFieldExpression node)
public void caseARecordFieldExpression(ARecordFieldExpression node)
caseARecordFieldExpression in interface AnalysiscaseARecordFieldExpression in class AnalysisAdapterpublic void inAExtendedExprExpression(AExtendedExprExpression node)
public void outAExtendedExprExpression(AExtendedExprExpression node)
public void caseAExtendedExprExpression(AExtendedExprExpression node)
caseAExtendedExprExpression in interface AnalysiscaseAExtendedExprExpression in class AnalysisAdapterpublic void inATypeofExpression(ATypeofExpression node)
public void outATypeofExpression(ATypeofExpression node)
public void caseATypeofExpression(ATypeofExpression node)
caseATypeofExpression in interface AnalysiscaseATypeofExpression in class AnalysisAdapterpublic void inAOperationCallExpression(AOperationCallExpression node)
public void outAOperationCallExpression(AOperationCallExpression node)
public void caseAOperationCallExpression(AOperationCallExpression node)
caseAOperationCallExpression in interface AnalysiscaseAOperationCallExpression in class AnalysisAdapterpublic void inAOperatorExpression(AOperatorExpression node)
public void outAOperatorExpression(AOperatorExpression node)
public void caseAOperatorExpression(AOperatorExpression node)
caseAOperatorExpression in interface AnalysiscaseAOperatorExpression in class AnalysisAdapterpublic void inARecEntry(ARecEntry node)
public void outARecEntry(ARecEntry node)
public void caseARecEntry(ARecEntry node)
caseARecEntry in interface AnalysiscaseARecEntry in class AnalysisAdapterpublic void inABlockSubstitution(ABlockSubstitution node)
public void outABlockSubstitution(ABlockSubstitution node)
public void caseABlockSubstitution(ABlockSubstitution node)
caseABlockSubstitution in interface AnalysiscaseABlockSubstitution in class AnalysisAdapterpublic void inASkipSubstitution(ASkipSubstitution node)
public void outASkipSubstitution(ASkipSubstitution node)
public void caseASkipSubstitution(ASkipSubstitution node)
caseASkipSubstitution in interface AnalysiscaseASkipSubstitution in class AnalysisAdapterpublic void inAAssignSubstitution(AAssignSubstitution node)
public void outAAssignSubstitution(AAssignSubstitution node)
public void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution in interface AnalysiscaseAAssignSubstitution in class AnalysisAdapterpublic void inAPreconditionSubstitution(APreconditionSubstitution node)
public void outAPreconditionSubstitution(APreconditionSubstitution node)
public void caseAPreconditionSubstitution(APreconditionSubstitution node)
caseAPreconditionSubstitution in interface AnalysiscaseAPreconditionSubstitution in class AnalysisAdapterpublic void inAAssertionSubstitution(AAssertionSubstitution node)
public void outAAssertionSubstitution(AAssertionSubstitution node)
public void caseAAssertionSubstitution(AAssertionSubstitution node)
caseAAssertionSubstitution in interface AnalysiscaseAAssertionSubstitution in class AnalysisAdapterpublic void inAChoiceSubstitution(AChoiceSubstitution node)
public void outAChoiceSubstitution(AChoiceSubstitution node)
public void caseAChoiceSubstitution(AChoiceSubstitution node)
caseAChoiceSubstitution in interface AnalysiscaseAChoiceSubstitution in class AnalysisAdapterpublic void inAChoiceOrSubstitution(AChoiceOrSubstitution node)
public void outAChoiceOrSubstitution(AChoiceOrSubstitution node)
public void caseAChoiceOrSubstitution(AChoiceOrSubstitution node)
caseAChoiceOrSubstitution in interface AnalysiscaseAChoiceOrSubstitution in class AnalysisAdapterpublic void inAIfSubstitution(AIfSubstitution node)
public void outAIfSubstitution(AIfSubstitution node)
public void caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution in interface AnalysiscaseAIfSubstitution in class AnalysisAdapterpublic void inAIfElsifSubstitution(AIfElsifSubstitution node)
public void outAIfElsifSubstitution(AIfElsifSubstitution node)
public void caseAIfElsifSubstitution(AIfElsifSubstitution node)
caseAIfElsifSubstitution in interface AnalysiscaseAIfElsifSubstitution in class AnalysisAdapterpublic void inASelectSubstitution(ASelectSubstitution node)
public void outASelectSubstitution(ASelectSubstitution node)
public void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution in interface AnalysiscaseASelectSubstitution in class AnalysisAdapterpublic void inASelectWhenSubstitution(ASelectWhenSubstitution node)
public void outASelectWhenSubstitution(ASelectWhenSubstitution node)
public void caseASelectWhenSubstitution(ASelectWhenSubstitution node)
caseASelectWhenSubstitution in interface AnalysiscaseASelectWhenSubstitution in class AnalysisAdapterpublic void inACaseSubstitution(ACaseSubstitution node)
public void outACaseSubstitution(ACaseSubstitution node)
public void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution in interface AnalysiscaseACaseSubstitution in class AnalysisAdapterpublic void inACaseOrSubstitution(ACaseOrSubstitution node)
public void outACaseOrSubstitution(ACaseOrSubstitution node)
public void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution in interface AnalysiscaseACaseOrSubstitution in class AnalysisAdapterpublic void inAAnySubstitution(AAnySubstitution node)
public void outAAnySubstitution(AAnySubstitution node)
public void caseAAnySubstitution(AAnySubstitution node)
caseAAnySubstitution in interface AnalysiscaseAAnySubstitution in class AnalysisAdapterpublic void inALetSubstitution(ALetSubstitution node)
public void outALetSubstitution(ALetSubstitution node)
public void caseALetSubstitution(ALetSubstitution node)
caseALetSubstitution in interface AnalysiscaseALetSubstitution in class AnalysisAdapterpublic void inABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
public void outABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
public void caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution in interface AnalysiscaseABecomesElementOfSubstitution in class AnalysisAdapterpublic void inABecomesSuchSubstitution(ABecomesSuchSubstitution node)
public void outABecomesSuchSubstitution(ABecomesSuchSubstitution node)
public void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution in interface AnalysiscaseABecomesSuchSubstitution in class AnalysisAdapterpublic void inAVarSubstitution(AVarSubstitution node)
public void outAVarSubstitution(AVarSubstitution node)
public void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution in interface AnalysiscaseAVarSubstitution in class AnalysisAdapterpublic void inASequenceSubstitution(ASequenceSubstitution node)
public void outASequenceSubstitution(ASequenceSubstitution node)
public void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution in interface AnalysiscaseASequenceSubstitution in class AnalysisAdapterpublic void inAFuncOpSubstitution(AFuncOpSubstitution node)
public void outAFuncOpSubstitution(AFuncOpSubstitution node)
public void caseAFuncOpSubstitution(AFuncOpSubstitution node)
caseAFuncOpSubstitution in interface AnalysiscaseAFuncOpSubstitution in class AnalysisAdapterpublic void inAOpSubstitution(AOpSubstitution node)
public void outAOpSubstitution(AOpSubstitution node)
public void caseAOpSubstitution(AOpSubstitution node)
caseAOpSubstitution in interface AnalysiscaseAOpSubstitution in class AnalysisAdapterpublic void inAOperationCallSubstitution(AOperationCallSubstitution node)
public void outAOperationCallSubstitution(AOperationCallSubstitution node)
public void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution in interface AnalysiscaseAOperationCallSubstitution in class AnalysisAdapterpublic void inAWhileSubstitution(AWhileSubstitution node)
public void outAWhileSubstitution(AWhileSubstitution node)
public void caseAWhileSubstitution(AWhileSubstitution node)
caseAWhileSubstitution in interface AnalysiscaseAWhileSubstitution in class AnalysisAdapterpublic void inAParallelSubstitution(AParallelSubstitution node)
public void outAParallelSubstitution(AParallelSubstitution node)
public void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution in interface AnalysiscaseAParallelSubstitution in class AnalysisAdapterpublic void inADefinitionSubstitution(ADefinitionSubstitution node)
public void outADefinitionSubstitution(ADefinitionSubstitution node)
public void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution in interface AnalysiscaseADefinitionSubstitution in class AnalysisAdapterpublic void inAInvalidSubstitution(AInvalidSubstitution node)
public void outAInvalidSubstitution(AInvalidSubstitution node)
public void caseAInvalidSubstitution(AInvalidSubstitution node)
caseAInvalidSubstitution in interface AnalysiscaseAInvalidSubstitution in class AnalysisAdapterpublic void inAForallSubMessageSubstitution(AForallSubMessageSubstitution node)
public void outAForallSubMessageSubstitution(AForallSubMessageSubstitution node)
public void caseAForallSubMessageSubstitution(AForallSubMessageSubstitution node)
caseAForallSubMessageSubstitution in interface AnalysiscaseAForallSubMessageSubstitution in class AnalysisAdapterpublic void inARuleFailSubSubstitution(ARuleFailSubSubstitution node)
public void outARuleFailSubSubstitution(ARuleFailSubSubstitution node)
public void caseARuleFailSubSubstitution(ARuleFailSubSubstitution node)
caseARuleFailSubSubstitution in interface AnalysiscaseARuleFailSubSubstitution in class AnalysisAdapterpublic void inAForLoopSubstitution(AForLoopSubstitution node)
public void outAForLoopSubstitution(AForLoopSubstitution node)
public void caseAForLoopSubstitution(AForLoopSubstitution node)
caseAForLoopSubstitution in interface AnalysiscaseAForLoopSubstitution in class AnalysisAdapterpublic void inAOperatorSubstitution(AOperatorSubstitution node)
public void outAOperatorSubstitution(AOperatorSubstitution node)
public void caseAOperatorSubstitution(AOperatorSubstitution node)
caseAOperatorSubstitution in interface AnalysiscaseAOperatorSubstitution in class AnalysisAdapterpublic void inADefineSubstitution(ADefineSubstitution node)
public void outADefineSubstitution(ADefineSubstitution node)
public void caseADefineSubstitution(ADefineSubstitution node)
caseADefineSubstitution in interface AnalysiscaseADefineSubstitution in class AnalysisAdapter