org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation
Class UnusedEvaluationRequestFactory

java.lang.Object
  org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation.UnusedEvaluationRequestFactory

public class UnusedEvaluationRequestFactory
extends java.lang.Object

Produces objects of type UnusedEvaluationRequest and caches them in a WeakHashMap. This factory guarantees to deliver new objects only if its cache doesn't contain an equal UnusedEvaluationRequest, meaning one that has an equal set of inferred variables with equal values, an equal set of variable slots, the same OCL expression as well as looking for the same result that would indicate unused-ness. This equality definition is implemented by the UnusedEvaluationRequest.getSemanticIdentity() object.

Author:

Axel Uhl (D043530)

Constructor Summary

UnusedEvaluationRequestFactory()

Method Summary

protected UnusedEvaluationRequest	createUnusedEvaluationRequest(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots)
protected UnusedEvaluationRequest	createUnusedEvaluationRequest(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots, java.util.Set<VariableExp> inevitableVariableUsages)
UnusedEvaluationRequest	getUnusedEvaluationRequest(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots)
UnusedEvaluationRequest	getUnusedEvaluationRequest(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots, java.util.Set<VariableExp> inevitableVariableUsages)
protected UnusedEvaluationRequest	lookUp(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UnusedEvaluationRequestFactory

public UnusedEvaluationRequestFactory()

Method Detail

getUnusedEvaluationRequest

public UnusedEvaluationRequest getUnusedEvaluationRequest(OCLExpression expression,
                                                          java.lang.Object resultIndicatingUnused,
                                                          java.util.Map<Variable,java.lang.Object> inferredVariableValues,
                                                          java.util.Set<Variable> slots)

createUnusedEvaluationRequest

protected UnusedEvaluationRequest createUnusedEvaluationRequest(OCLExpression expression,
                                                                java.lang.Object resultIndicatingUnused,
                                                                java.util.Map<Variable,java.lang.Object> inferredVariableValues,
                                                                java.util.Set<Variable> slots)

createUnusedEvaluationRequest

protected UnusedEvaluationRequest createUnusedEvaluationRequest(OCLExpression expression,
                                                                java.lang.Object resultIndicatingUnused,
                                                                java.util.Map<Variable,java.lang.Object> inferredVariableValues,
                                                                java.util.Set<Variable> slots,
                                                                java.util.Set<VariableExp> inevitableVariableUsages)

getUnusedEvaluationRequest

public UnusedEvaluationRequest getUnusedEvaluationRequest(OCLExpression expression,
                                                          java.lang.Object resultIndicatingUnused,
                                                          java.util.Map<Variable,java.lang.Object> inferredVariableValues,
                                                          java.util.Set<Variable> slots,
                                                          java.util.Set<VariableExp> inevitableVariableUsages)

lookUp

protected UnusedEvaluationRequest lookUp(OCLExpression expression,
                                         java.lang.Object resultIndicatingUnused,
                                         java.util.Map<Variable,java.lang.Object> inferredVariableValues,
                                         java.util.Set<Variable> slots)