Uses of Interface
org.eclipse.ocl.ecore.Variable

Packages that use Variable

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

Uses of Variable in org.eclipse.ocl.ecore

Methods in org.eclipse.ocl.ecore that return Variable

Variable

EcoreFactory.createVariable() Returns a new object of class 'Variable'.

Uses of Variable in org.eclipse.ocl.ecore.impl

Methods in org.eclipse.ocl.ecore.impl that return Variable

Variable

EcoreFactoryImpl.createVariable()

Uses of Variable in org.eclipse.ocl.ecore.util

Methods in org.eclipse.ocl.ecore.util with parameters of type Variable

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)

Uses of Variable in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis

Methods in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis that return types with arguments of type Variable

java.util.Set<Variable>	FilterSynthesisImpl.getParameterVariablesUsedInBody(OCLExpression body)
java.util.Set<Variable>	FilterSynthesisImpl.getSelfVariablesUsedInBody(OCLExpression body)

Uses of Variable in org.eclipse.ocl.examples.impactanalyzer.impl

Methods in org.eclipse.ocl.examples.impactanalyzer.impl that return types with arguments of type Variable

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.

Uses of Variable in org.eclipse.ocl.examples.impactanalyzer.instanceScope

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope that return types with arguments of type Variable

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.

Method parameters in org.eclipse.ocl.examples.impactanalyzer.instanceScope with type arguments of type Variable

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.

Uses of Variable in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that return types with arguments of type Variable

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 parameters in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with type arguments of type Variable

AbstractTracebackStep.TracebackStepAndScopeChange(TracebackStep step, java.util.Set<Variable> variablesThatLeaveOrEnterScopeWhenCallingStep)

AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp(TracebackStep step, java.util.Set<Variable> variablesChangingScope, OperationCallExp callToWhichResultsAreSpecific)
Remembers call as the only operation call through which

Uses of Variable in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation that return types with arguments of type Variable

java.util.Map<Variable,java.lang.Object>	UnusedEvaluationRequestValue.getInferredVariableValues()
java.util.Set<Variable>	UnusedEvaluationRequestValue.getSlots()

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type Variable

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.

Method parameters in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with type arguments of type Variable

UnusedEvaluationRequestSet	UnusedEvaluationRequestSet.createReducedSet(java.util.Set<Variable> variablesThatLeaveOrEnterScope, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory) Computes a new set of UnusedEvaluationRequests 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 parameters in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with type arguments of type Variable

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.