Package | Description |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation |
Modifier and Type | Method and Description |
---|---|
void |
TracebackCache.cacheEvaluationResult(UnusedEvaluationRequest request,
java.lang.Object evaluationResult)
Caches the results of
evaluating an UnusedEvaluationRequest . |
java.lang.Object |
TracebackCache.getCachedEvaluationResult(UnusedEvaluationRequest request)
Caches the results of
evaluating an UnusedEvaluationRequest . |
Modifier and Type | Method and Description |
---|---|
protected UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.createUnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots) |
protected UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.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 |
UnusedEvaluationRequestFactory.getUnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots) |
UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.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 |
UnusedEvaluationRequestFactory.lookUp(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots) |
Modifier and Type | Method and Description |
---|---|
static UnusedEvaluationRequestSet.UnusedEvaluationResult |
UnusedEvaluationRequestSet.evaluate(java.util.Collection<UnusedEvaluationRequest> requestsToEvaluate,
OppositeEndFinder oppositeEndFinder,
TracebackCache tracebackCache,
OCLFactory oclFactory)
Evaluates the
requestsToEvaluate . |