Package | Description |
---|---|
org.eclipse.ocl.ecore |
Implementation of an OCL binding for the Ecore metamodel.
|
org.eclipse.ocl.ecore.impl |
Implementation of the Ecore binding of the the Types package of the
OCL Abstract Syntax.
|
org.eclipse.ocl.ecore.util |
Generated utilities for working with instances the Ecore binding of the
Types package of the OCL Abstract Syntax.
|
org.eclipse.ocl.examples.impactanalyzer.filterSynthesis | |
org.eclipse.ocl.examples.impactanalyzer.impl | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation |
Modifier and Type | Method and Description |
---|---|
Variable |
EcoreFactory.createVariable()
Returns a new object of class 'Variable'.
|
Modifier and Type | Method and Description |
---|---|
Variable |
EcoreFactoryImpl.createVariable() |
Modifier and Type | Method and Description |
---|---|
T |
EcoreSwitch.caseVariable(Variable object)
Returns the result of interpreting the object as an instance of 'Variable'.
|
boolean |
EcoreValidator.validateVariable_WellFormedName(Variable variable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Variable'.
|
boolean |
EcoreValidator.validateVariable(Variable variable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Variable> |
FilterSynthesisImpl.getParameterVariablesUsedInBody(OCLExpression body) |
java.util.Set<Variable> |
FilterSynthesisImpl.getSelfVariablesUsedInBody(OCLExpression body) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Variable> |
OperationBodyToCallMapper.getParameterVariablesUsedInBody(OCLExpression body)
Determines the
self variable as used by the operation body body . |
java.util.Set<Variable> |
OperationBodyToCallMapper.getSelfVariablesUsedInBody(OCLExpression body)
Determines the
self variables as used by the operation body or top-level non-operation-body (e.g., invariant)
expression body . |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<Variable> |
AbstractTracer.calculateEnteringScope(OperationBodyToCallMapper operationBodyToCallMapper)
Calculates the scopes the
NavigationStep this Tracer creates will enter when navigated. |
protected java.util.Set<Variable> |
IterateExpTracer.calculateEnteringScope(OperationBodyToCallMapper operationBodyToCallMapper) |
protected java.util.Set<Variable> |
IteratorExpTracer.calculateEnteringScope(OperationBodyToCallMapper operationBodyToCallMapper) |
protected java.util.Set<Variable> |
LetExpTracer.calculateEnteringScope(OperationBodyToCallMapper operationBodyToCallMapper) |
protected java.util.Set<Variable> |
OperationCallExpTracer.calculateEnteringScope(OperationBodyToCallMapper operationBodyToCallMapper) |
protected java.util.Set<Variable> |
AbstractTracer.calculateLeavingScopes(OperationBodyToCallMapper operationBodyToCallMapper)
Calculates which scopes the
NavigationStep this Tracer creates will leave when navigated. |
protected java.util.Set<Variable> |
OperationCallExpTracer.calculateLeavingScopes(OperationBodyToCallMapper operationBodyToCallMapper)
When tracing into the called operation's body, all variables currently in scope are left.
|
protected java.util.Set<Variable> |
VariableExpTracer.calculateLeavingScopes(OperationBodyToCallMapper operationBodyToCallMapper) |
protected static java.util.Set<Variable> |
AbstractTracer.getAllVariablesInScope(OCLExpression e,
OperationBodyToCallMapper operationBodyToCallMapper) |
java.util.Set<Variable> |
AbstractNavigationStep.getEnteringScopes() |
java.util.Set<Variable> |
NavigationStep.getEnteringScopes()
Returns the variables that come into scope when this navigation step is navigated.
|
java.util.Set<Variable> |
AbstractNavigationStep.getLeavingScopes() |
java.util.Set<Variable> |
NavigationStep.getLeavingScopes()
Returns the variables that fall out of scope when navigating this step.
|
protected java.util.Set<Variable> |
AbstractTracer.getVariablesIntroducedBetweenHereAnd(OCLExpression parent,
OperationBodyToCallMapper operationBodyToCallMapper)
This method is a shortcut for
AbstractTracer.variablesIntroducedBetween(OCLExpression, OCLExpression, OperationBodyToCallMapper) that uses AbstractTracer.getExpression() as the origin. |
protected static java.util.Set<Variable> |
AbstractTracer.getVariablesScopedByExpression(OCLExpression e,
OperationBodyToCallMapper operationBodyToCallMapper) |
protected java.util.Set<Variable> |
AbstractTracer.variablesIntroducedBetween(OCLExpression origin,
OCLExpression parent,
OperationBodyToCallMapper operationBodyToCallMapper)
This method returns all variables introduced by
parent or any contained expression along the containment
hierarchy, down to origin . |
Modifier and Type | Method and Description |
---|---|
void |
AbstractNavigationStep.addEnteringScopes(java.util.Set<Variable> enteringScope) |
void |
NavigationStep.addEnteringScopes(java.util.Set<Variable> enteringScope)
Sets the set of variables that come into scope when this navigation step is navigated.
|
void |
AbstractNavigationStep.addLeavingScopes(java.util.Set<Variable> leavingScopes) |
void |
NavigationStep.addLeavingScopes(java.util.Set<Variable> leavingScopes)
Adds variables to the set of variables leaving scope when navigating this step.
|
Modifier and Type | Method and Description |
---|---|
protected static java.util.Set<Variable> |
AbstractTracebackStep.getAllVariablesInScope(OCLExpression e,
OperationBodyToCallMapper operationBodyToCallMapper)
Starting from
e and ascending its containment hierarchy, adds to the resulting set all variables that are scoped by
any of the expressions visited. |
protected static java.util.Set<Variable> |
AbstractTracebackStep.getVariablesScopedByExpression(OCLExpression e,
OperationBodyToCallMapper operationBodyToCallMapper) |
Constructor and Description |
---|
TracebackStepAndScopeChange(TracebackStep step,
java.util.Set<Variable> variablesThatLeaveOrEnterScopeWhenCallingStep) |
TracebackStepAndScopeChangeWithOperationCallExp(TracebackStep step,
java.util.Set<Variable> variablesChangingScope,
OperationCallExp callToWhichResultsAreSpecific)
Remembers
call as the only operation call through which |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Variable,java.lang.Object> |
UnusedEvaluationRequestValue.getInferredVariableValues() |
java.util.Set<Variable> |
UnusedEvaluationRequestValue.getSlots() |
Modifier and Type | Method and Description |
---|---|
boolean |
UnusedEvaluationRequest.hasSlotFor(Variable v) |
UnusedEvaluationRequestSet.UnusedEvaluationResult |
UnusedEvaluationRequestSet.setVariable(Variable variable,
org.eclipse.emf.ecore.EObject value,
OppositeEndFinder oppositeEndFinder,
TracebackCache tracebackCache,
OCLFactory oclFactory)
Announces that the value for a variable was inferred.
|
Modifier and Type | Method and Description |
---|---|
UnusedEvaluationRequestSet |
UnusedEvaluationRequestSet.createReducedSet(java.util.Set<Variable> variablesThatLeaveOrEnterScope,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory)
Computes a new set of
UnusedEvaluationRequest s by copying all those requests not keyed by a
variable that entered or left scope. |
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) |
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) |
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) |
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) |
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) |
protected UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.lookUp(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots) |
Constructor and Description |
---|
UnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots,
java.util.Set<VariableExp> inevitableVariableUsages)
Must not be called from anywhere except
UnusedEvaluationRequestFactory.getUnusedEvaluationRequest(OCLExpression, Object, Map, Set)
because resulting instances need to be managed as their equality and hash code fall back to their identity. |
UnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots,
java.util.Set<VariableExp> inevitableVariableUsages)
Must not be called from anywhere except
UnusedEvaluationRequestFactory.getUnusedEvaluationRequest(OCLExpression, Object, Map, Set)
because resulting instances need to be managed as their equality and hash code fall back to their identity. |