ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

132 ANHANG A: KLASSENDIAGRAMMEDepthFirstEvalTreeVisitorAdapter+DepthFirstEvalTreeVisitorAdapter:+defaultIn:void+defaultOut:void+caseBoolConstantTerm:void+inBoolConstantTerm:void+outBoolConstantTerm:void+caseConjunction:void+inConjunction:void+outConjunction:void+caseConstant:void+inConstant:void+outConstant:void+caseContextQuantifier:void+inContextQuantifier:void+outContextQuantifier:void+caseDisjunction:void+inDisjunction:void+outDisjunction:void+caseEqualExpression:void+inEqualExpression:void+outEqualExpression:void+caseBiggerExpression:void+inBiggerExpression:void+outBiggerExpression:void+caseSmallerExpression:void+inSmallerExpression:void+outSmallerExpression:void+caseEquivalence:void+inEquivalence:void+outEquivalence:void+caseExistentialQuantifier:void+inExistentialQuantifier:void+outExistentialQuantifier:void+caseImplication:void+inImplication:void+outImplication:void+caseNamedPredicateTerm:void+inNamedPredicateTerm:void+outNamedPredicateTerm:void+caseEmptySetTest:void+inEmptySetTest:void+outEmptySetTest:void+caseSetSizeExpression:void+inSetSizeExpression:void+outSetSizeExpression:void+caseAdditionExpression:void+inAdditionExpression:void+outAdditionExpression:void+caseSubtractionExpression:void+inSubtractionExpression:void+outSubtractionExpression:void+caseMultiplicationExpression:void+inMultiplicationExpression:void+outMultiplicationExpression:void+caseNegation:void+inNegation:void+outNegation:void+caseNewQuantifier:void+inNewQuantifier:void+outNewQuantifier:void+caseRelationAdditionTerm:void+inRelationAdditionTerm:void+outRelationAdditionTerm:void+caseRelationRemovalTerm:void+inRelationRemovalTerm:void+outRelationRemovalTerm:void+caseRelationTestTerm:void+inRelationTestTerm:void+outRelationTestTerm:void+caseSelectorExpression:void+inSelectorExpression:void. . .TermToStringConverter+DEFAULT_LINE_LENGTH:intresult:StringBufferlineLength:intlastLineBreak:int-TermToStringConverter:+toStringBuffer:StringBuffer+toStringBuffer:StringBuffer#append:TermToStringConverter#append:TermToStringConverter#append:TermToStringConverter#append:TermToStringConverter+inBoolConstantTerm:void+caseConjunction:void+inConstant:void+caseContextQuantifier:void+caseDisjunction:void+caseEmptySetTest:void+caseSetSizeExpression:void+caseAdditionExpression:void+caseSubtractionExpression:void+caseMultiplicationExpression:void#processBinaryArithmeticExpression:void+caseEqualExpression:void+caseBiggerExpression:void+caseSmallerExpression:void#processComparisonExpression:void+caseEquivalence:void+caseExistentialQuantifier:void+caseImplication:void+inNegation:void+caseNamedPredicateTerm:void+caseNewQuantifier:void+caseRelationAdditionTerm:void+caseRelationRemovalTerm:void+caseRelationTestTerm:void+inCompositeTypeSelector:void+inAttributeSelector:void+inAssociatedEntitySelector:void+inAssociatedEntitiesSelector:void#processSelector:void+caseUniversalQuantifier:void+inVariable:void+inAssociationRelation:void+inAttributeRelation:void+inMetaBool:void+inMetaInteger:void+caseMetaProductType:void+caseMetaRestrictedType:void#appendCompositeType:void+inMetaString:void+inMetaEntity:void+caseMetaSetType:void+caseMetaIntroducedType:voidTermVariableFinder-variableSet:HashSet-localVariables:HashSet+TermVariableFinder:+TermVariableFinder:+analyseVariables:void+getUsedVariables:HashSet+getLocallyDefinedVariables:HashSet+outVariable:void+outContextQuantifier:void+outExistentialQuantifier:void+outNewQuantifier:void+outUniversalQuantifier:void#processQuantifier:void+inMetaProductType:void#processCompositeType:voidinterfaceEvalTreeVisitor+caseContextQuantifier:void+caseExistentialQuantifier:void+caseUniversalQuantifier:void+caseNewQuantifier:void+caseBoolConstantTerm:void+caseEquivalence:void+caseConjunction:void+caseDisjunction:void+caseImplication:void+caseNegation:void+caseRelationAdditionTerm:void+caseRelationRemovalTerm:void+caseRelationTestTerm:void+caseNamedPredicateTerm:void+caseEmptySetTest:void+caseEqualExpression:void+caseBiggerExpression:void+caseSmallerExpression:void+caseConstant:void+caseVariable:void+caseSelectorExpression:void+caseSetSizeExpression:void+caseAdditionExpression:void+caseSubtractionExpression:void+caseMultiplicationExpression:void+caseCompositeTypeSelector:void+caseAttributeSelector:void+caseAssociatedEntitySelector:void+caseAssociatedEntitiesSelector:void+caseAssociationRelation:void+caseAttributeRelation:void+caseMetaBool:void+caseMetaInteger:void+caseMetaString:void+caseMetaEntity:void+caseMetaProductType:void+caseMetaRestrictedType:void+caseMetaSetType:void+caseMetaIntroducedType:voidinterfaceEvalTreeNode+apply:voidEvalTreeVisitorAdapter-inTable:Hashtable-outTable:Hashtable+getIn:Object+setIn:void+getOut:Object+setOut:void+defaultCase:void+caseBoolConstantTerm:void+caseConjunction:void+caseConstant:void+caseContextQuantifier:void+caseDisjunction:void+caseEmptySetTest:void+caseSetSizeExpression:void+caseAdditionExpression:void+caseSubtractionExpression:void+caseMultiplicationExpression:void+caseEqualExpression:void+caseBiggerExpression:void+caseSmallerExpression:void+caseEquivalence:void+caseExistentialQuantifier:void+caseImplication:void+caseNamedPredicateTerm:void+caseNegation:void+caseNewQuantifier:void+caseRelationAdditionTerm:void+caseRelationRemovalTerm:void+caseRelationTestTerm:void+caseSelectorExpression:void+caseCompositeTypeSelector:void+caseAttributeSelector:void+caseAssociatedEntitySelector:void+caseAssociatedEntitiesSelector:void+caseUniversalQuantifier:void+caseVariable:void+caseAssociationRelation:void+caseAttributeRelation:void+caseMetaBool:void+caseMetaInteger:void+caseMetaProductType:void+caseMetaRestrictedType:void+caseMetaString:void+caseMetaEntity:void+caseMetaSetType:void+caseMetaIntroducedType:voidAbbildung A.8: Package quest.odl.evaluation.model.analysis:EvalTreeVisitor-Hierarchie und EvalTreeNode