public class UnusedEvaluationRequestFactory
extends java.lang.Object
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.Constructor and Description |
---|
UnusedEvaluationRequestFactory() |
Modifier and Type | Method and Description |
---|---|
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) |
public UnusedEvaluationRequest getUnusedEvaluationRequest(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)
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)
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)
protected UnusedEvaluationRequest lookUp(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots)