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

Packages that use OCLExpression

Package	Description
org.eclipse.ocl.ecore	Implementation of an OCL binding for the Ecore metamodel.
org.eclipse.ocl.ecore.delegate
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
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation
org.eclipse.ocl.examples.impactanalyzer.editor
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
org.eclipse.ocl.examples.impactanalyzer.util

Uses of OCLExpression in org.eclipse.ocl.ecore

Subinterfaces of OCLExpression in org.eclipse.ocl.ecore

Modifier and Type	Interface and Description
interface	AssociationClassCallExp A representation of the model object 'Association Class Call Exp'.
interface	BooleanLiteralExp A representation of the model object 'Boolean Literal Exp'.
interface	CallExp A representation of the model object 'Call Exp'.
interface	CollectionLiteralExp A representation of the model object 'Collection Literal Exp'.
interface	EnumLiteralExp A representation of the model object 'Enum Literal Exp'.
interface	FeatureCallExp A representation of the model object 'Feature Call Exp'.
interface	IfExp A representation of the model object 'If Exp'.
interface	IntegerLiteralExp A representation of the model object 'Integer Literal Exp'.
interface	InvalidLiteralExp A representation of the model object 'Invalid Literal Exp'.
interface	IterateExp A representation of the model object 'Iterate Exp'.
interface	IteratorExp A representation of the model object 'Iterator Exp'.
interface	LetExp A representation of the model object 'Let Exp'.
interface	LiteralExp A representation of the model object 'Literal Exp'.
interface	LoopExp A representation of the model object 'Loop Exp'.
interface	MessageExp A representation of the model object 'Message Exp'.
interface	NavigationCallExp A representation of the model object 'Navigation Call Exp'.
interface	NullLiteralExp A representation of the model object 'Null Literal Exp'.
interface	NumericLiteralExp A representation of the model object 'Numeric Literal Exp'.
interface	OperationCallExp A representation of the model object 'Operation Call Exp'.
interface	OppositePropertyCallExp A representation of the model object 'Opposite Property Call Exp'.
interface	PrimitiveLiteralExp A representation of the model object 'Primitive Literal Exp'.
interface	PropertyCallExp A representation of the model object 'Property Call Exp'.
interface	RealLiteralExp A representation of the model object 'Real Literal Exp'.
interface	StateExp A representation of the model object 'State Exp'.
interface	StringLiteralExp A representation of the model object 'String Literal Exp'.
interface	TupleLiteralExp A representation of the model object 'Tuple Literal Exp'.
interface	TypeExp A representation of the model object 'Type Exp'.
interface	UnlimitedNaturalLiteralExp A representation of the model object 'Unlimited Natural Literal Exp'.
interface	UnspecifiedValueExp A representation of the model object 'Unspecified Value Exp'.
interface	VariableExp A representation of the model object 'Variable Exp'.

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

Modifier and Type	Method and Description
OCLExpression	OCL.Helper.createQuery(java.lang.String expression) Creates a query expression in the current classifier context.
OCLExpression	OCL.Query.getExpression() Obtains the expression that I evaluate (or check as a boolean constraint).

Uses of OCLExpression in org.eclipse.ocl.ecore.delegate

Fields in org.eclipse.ocl.ecore.delegate declared as OCLExpression

Modifier and Type	Field and Description
static OCLExpression	AbstractDelegatedBehavior.NO_OCL_DEFINITION An "identifying" instance that helps distinguish between the case where an OCL expression isn't found in the expression cache and hasn't been looked up elsewhere yet from the case where we looked around for a definition but couldn't find one

Methods in org.eclipse.ocl.ecore.delegate that return OCLExpression

Modifier and Type	Method and Description
protected OCLExpression	OCLValidationDelegate.createQuery(java.lang.String expression)
OCLExpression	ValidationBehavior.InvariantCacheAdapter.get(java.lang.String constraintName) Returns the OCLExpression representing the abstract syntax of the constraint named constraintName if previously cached using ValidationBehavior.InvariantCacheAdapter.put(String, OCLExpression); null otherwise.
OCLExpression	ValidationBehavior.getCachedOCLExpression(org.eclipse.emf.ecore.EClassifier cls, java.lang.String constraintName) Looks for an ValidationBehavior.InvariantCacheAdapter attached to cls.
static OCLExpression	AbstractDelegatedBehavior.ExpressionCacheAdapter.getCachedOCLExpression(org.eclipse.emf.ecore.EModelElement modelElement) Looks for an ExpressionCacheAdapter attached to modelElement.
OCLExpression	InvocationBehavior.getCachedOCLExpression(org.eclipse.emf.ecore.EOperation operation) Looks for an ExpressionCacheAdapter attached to operation.
OCLExpression	SettingBehavior.getCachedOCLExpression(org.eclipse.emf.ecore.EStructuralFeature property) Looks for an ExpressionCacheAdapter attached to property.
OCLExpression	AbstractDelegatedBehavior.ExpressionCacheAdapter.getExpression()
OCLExpression	SettingBehavior.getFeatureBody(OCL ocl, org.eclipse.emf.ecore.EStructuralFeature structuralFeature) Return the feature body associated with structuralFeature, if necessary using ocl to create the relevant parsing environment for a textual definition..
OCLExpression	ValidationBehavior.getInvariant(org.eclipse.emf.ecore.EClassifier cls, java.lang.String constraintName, OCL ocl)
OCLExpression	InvocationBehavior.getOperationBody(OCL ocl, org.eclipse.emf.ecore.EOperation operation) Return the operation body associated with operation, if necessary using ocl to create the relevant parsing environment for a textual definition.
OCLExpression	ValidationBehavior.InvariantCacheAdapter.remove(java.lang.String constraintName) Removes any cache entry for the constraint named constraintName and returns any expression previously cached under that constraint name if any, or null otherwise.

Methods in org.eclipse.ocl.ecore.delegate with parameters of type OCLExpression

Modifier and Type	Method and Description
void	ValidationBehavior.cacheOCLExpression(org.eclipse.emf.ecore.EClassifier cls, java.lang.String constraintName, OCLExpression e) Creates an ValidationBehavior.InvariantCacheAdapter for expression e and adds it to n's adapter list so that ValidationBehavior.getCachedOCLExpression(EClassifier, String) will return e when called for n.
static void	AbstractDelegatedBehavior.ExpressionCacheAdapter.cacheOCLExpression(org.eclipse.emf.ecore.EModelElement modelElement, OCLExpression e) Creates an ExpressionCacheAdapter for expression e and adds it to modelElement's adapter list so that AbstractDelegatedBehavior.ExpressionCacheAdapter.getCachedOCLExpression(EModelElement) will return e when called for modelElement.
void	InvocationBehavior.cacheOCLExpression(org.eclipse.emf.ecore.EOperation operation, OCLExpression e) Creates an ExpressionCacheAdapter for expression e and adds it to operation's adapter list so that InvocationBehavior.getCachedOCLExpression(EOperation) will return e when called for operation.
void	SettingBehavior.cacheOCLExpression(org.eclipse.emf.ecore.EStructuralFeature property, OCLExpression e) Creates an ExpressionCacheAdapter for expression e and adds it to property's adapter list so that SettingBehavior.getCachedOCLExpression(EStructuralFeature) will return e when called for property.
protected boolean	OCLValidationDelegate.check(java.lang.Object object, java.lang.String constraint, OCLExpression query)
static boolean	AbstractDelegatedBehavior.isNoOCLDefinition(OCLExpression e) Return true if e is a reserved expression used to cache a miss and so avoid repeating the miss processing on subsequent accesses.
void	ValidationBehavior.InvariantCacheAdapter.put(java.lang.String constraintName, OCLExpression expression)

Constructors in org.eclipse.ocl.ecore.delegate with parameters of type OCLExpression

Constructor and Description
ExpressionCacheAdapter(OCLExpression expression)

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

Classes in org.eclipse.ocl.ecore.impl that implement OCLExpression

Modifier and Type	Class and Description
class	OppositePropertyCallExpImpl An implementation of the model object 'Opposite Property Call Exp'.

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

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

Modifier and Type	Method and Description
T	EcoreSwitch.caseOCLExpression(OCLExpression object) Returns the result of interpreting the object as an instance of 'OCL Expression'.
boolean	EcoreValidator.validateOCLExpression_WellFormedName(OCLExpression oclExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the WellFormedName constraint of 'OCL Expression'.
boolean	EcoreValidator.validateOCLExpression(OCLExpression oclExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer

Methods in org.eclipse.ocl.examples.impactanalyzer with parameters of type OCLExpression

Modifier and Type	Method and Description
ImpactAnalyzer	ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression, boolean notifyOnNewContextElements, ActivationOption configuration, OCLFactory oclFactory) Constructs an impact analyzer for the expression specified.
ImpactAnalyzer	ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression, boolean notifyOnNewContextElements, OCLFactory oclFactory) Constructs an impact analyzer for the expression specified.
ImpactAnalyzer	ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory) Constructs an impact analyzer for the expression specified.
ImpactAnalyzer	ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory) Constructs an impact analyzer for the expression specified.
ImpactAnalyzer	ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, ActivationOption configuration, OCLFactory oclFactory) Constructs an impact analyzer for the expression specified with an explicit context type specification.
ImpactAnalyzer	ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OCLFactory oclFactory) Constructs an impact analyzer for the expression specified with an explicit context type specification.
ImpactAnalyzer	ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory) Constructs an impact analyzer for the expression specified with an explicit context type specification.
ImpactAnalyzer	ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory) Constructs an impact analyzer for the expression specified with an explicit context type specification.
java.lang.Object	PartialEvaluator.evaluate(java.lang.Object context, OCLExpression e) Performs a normal OCL evaluation of expression c.
protected abstract org.eclipse.emf.common.notify.Adapter	Revalidator.getAdapter(java.lang.String constraintName, OCLExpression invariant, ImpactAnalyzer impactAnalyzer) Returns an adapter that will be notified when the constraint whose name is given by the constraintName parameter may have changed its value due to the change Notification delivered to the adapter.

Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation

Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that return OCLExpression

Modifier and Type	Method and Description
protected OCLExpression	DeltaPropagationStrategyWithTargetExpression.getPropagatesTo()
protected OCLExpression	PartialEcoreEnvironmentFactory.getSourceExpression()
protected OCLExpression	PartialEvaluationVisitorImpl.getSourceExpression()

Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that return types with arguments of type OCLExpression

Modifier and Type	Method and Description
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	DeltaPropagationStrategy.mapDelta(OCLExpression e, java.util.Collection<java.lang.Object> delta) Maps a delta of e's value to the delta of one or more other expressions, typically such expressions that contain or use e, as in the case where e is the body of a collect expression or the source of a CallExp expression.
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	IdentityPropagationStrategy.mapDelta(OCLExpression e, java.util.Collection<java.lang.Object> delta)
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	IteratorSourcePropagationStrategy.mapDelta(OCLExpression sourceOfIterator, java.util.Collection<java.lang.Object> delta)
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	OperationBodyPropagationStrategy.mapDelta(OCLExpression e, java.util.Collection<java.lang.Object> delta)
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	PartialEvaluatorImpl.transitivelyPropagateDelta(OCLExpression e, java.util.Collection<java.lang.Object> deltaForEValue, OperationBodyToCallMapper mapper) Tries to find a propagation strategy for the combination of the OCL expression e and a given delta for its evaluation result.

Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type OCLExpression

Modifier and Type	Method and Description
java.lang.Object	PartialEvaluatorImpl.evaluate(java.lang.Object context, OCLExpression e)
boolean	PartialEvaluatorImpl.hasNoEffectOnOverallExpression(OCLExpression e, java.lang.Object oldValue, java.lang.Object newValue, OperationBodyToCallMapper mapper) Determines if a change of e's value from oldValue to newValue may or may not have an effect on the overall expression by which e is used.
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	DeltaPropagationStrategy.mapDelta(OCLExpression e, java.util.Collection<java.lang.Object> delta) Maps a delta of e's value to the delta of one or more other expressions, typically such expressions that contain or use e, as in the case where e is the body of a collect expression or the source of a CallExp expression.
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	IdentityPropagationStrategy.mapDelta(OCLExpression e, java.util.Collection<java.lang.Object> delta)
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	IteratorSourcePropagationStrategy.mapDelta(OCLExpression sourceOfIterator, java.util.Collection<java.lang.Object> delta)
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	OperationBodyPropagationStrategy.mapDelta(OCLExpression e, java.util.Collection<java.lang.Object> delta)
void	PartialEcoreEnvironmentFactory.setExpressionValue(OCLExpression sourceExpression, java.lang.Object valueOfSourceExpression)
protected void	PartialEcoreEnvironmentFactory.setSourceExpression(OCLExpression sourceExpression)
protected void	PartialEvaluationVisitorImpl.setSourceExpression(OCLExpression sourceExpression)
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>>	PartialEvaluatorImpl.transitivelyPropagateDelta(OCLExpression e, java.util.Collection<java.lang.Object> deltaForEValue, OperationBodyToCallMapper mapper) Tries to find a propagation strategy for the combination of the OCL expression e and a given delta for its evaluation result.

Constructors in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type OCLExpression

Constructor and Description
DeltaPropagationStrategyWithTargetExpression(OCLExpression propagatesTo)
DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator(OCLExpression propagatesTo, PartialEvaluatorImpl evaluator)
IdentityPropagationStrategy(OCLExpression propagatesTo)
PartialEvaluationVisitorImpl(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap, OCLExpression sourceExpression, java.lang.Object valueOfSourceExpression, org.eclipse.emf.common.notify.Notification atPre)

Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.editor

Methods in org.eclipse.ocl.examples.impactanalyzer.editor with parameters of type OCLExpression

Modifier and Type	Method and Description
protected org.eclipse.emf.common.notify.Adapter	Revalidator.getAdapter(java.lang.String constraintName, OCLExpression invariant, ImpactAnalyzer impactAnalyzer) Returns an adapter that will be notified when the constraint whose name is given by the constraintName parameter may have changed its value due to the change Notification delivered to the adapter.

Constructors in org.eclipse.ocl.examples.impactanalyzer.editor with parameters of type OCLExpression

Constructor and Description
RevalidateAction(java.lang.String constraintName, java.util.Collection<org.eclipse.emf.ecore.EObject> contextObjects, OCLExpression invariant, OCLFactory oclFactory, OppositeEndFinder oppositeEndFinder)

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

Methods in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis that return OCLExpression

Modifier and Type	Method and Description
OCLExpression	FilterSynthesisImpl.getBodyForCall(OperationCallExp call) Looks up if the OCLExpression that is called by the given OperationCallExp has already been visited.
OCLExpression	FilterSynthesisImpl.getOperationBody(org.eclipse.emf.ecore.EOperation operation)

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

Modifier and Type	Method and Description
java.util.Map<OCLExpression,java.util.Set<PropertyCallExp>>	FilterSynthesisImpl.getDerivedProperties()

Methods in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis with parameters of type OCLExpression

Modifier and Type	Method and Description
java.util.Set<OperationCallExp>	FilterSynthesisImpl.getCallsOf(OCLExpression operationBodyExpression) Returns all the calls to the operation whose body is operationBodyExpression that are reachable from the root expression analyzed by this FilterSynthesisImpl.
java.util.Set<Variable>	FilterSynthesisImpl.getParameterVariablesUsedInBody(OCLExpression body)
java.util.Set<Variable>	FilterSynthesisImpl.getSelfVariablesUsedInBody(OCLExpression body)

Constructors in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis with parameters of type OCLExpression

Constructor and Description
FilterSynthesisImpl(OCLExpression expression, boolean notifyNewContextElements, OCL ocl)

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

Methods in org.eclipse.ocl.examples.impactanalyzer.impl that return OCLExpression

Modifier and Type	Method and Description
protected OCLExpression	ImpactAnalyzerImpl.getExpression()
OCLExpression	OperationBodyToCallMapper.getOperationBody(org.eclipse.emf.ecore.EOperation operation) Determines the body expression of an operation

Methods in org.eclipse.ocl.examples.impactanalyzer.impl with parameters of type OCLExpression

Modifier and Type	Method and Description
protected FilterSynthesisImpl	ImpactAnalyzerImpl.createFilterSynthesis(OCLExpression expression, boolean notifyOnNewContextElements, OCL ocl)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, boolean notifyOnNewContextElements, ActivationOption configuration, OCLFactory oclFactory)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, boolean notifyOnNewContextElements, OCLFactory oclFactory)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, ActivationOption configuration, OCLFactory oclFactory)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OCLFactory oclFactory)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)
java.util.Set<OperationCallExp>	OperationBodyToCallMapper.getCallsOf(OCLExpression operationBodyExpression) Returns all the calls to the operation whose body is operationBodyExpression that are reachable from some scope.
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.

Constructors in org.eclipse.ocl.examples.impactanalyzer.impl with parameters of type OCLExpression

Constructor and Description
ImpactAnalyzerImpl(OCLExpression expression, boolean notifyOnNewContextElements, ActivationOption configuration, OCLFactory oclFactory) Creates a new impact analyzer for the OCL expression given.
ImpactAnalyzerImpl(OCLExpression expression, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)
ImpactAnalyzerImpl(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, ActivationOption configuration, OCLFactory oclFactory)
ImpactAnalyzerImpl(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)

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

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope that return OCLExpression

Modifier and Type	Method and Description
protected OCLExpression	AbstractTracer.commonCompositionParent(OCLExpression second) This method is a shortcut for AbstractTracer.commonCompositionParent(OCLExpression, OCLExpression) that uses AbstractTracer.getExpression() as the origin.
protected static OCLExpression	AbstractTracer.commonCompositionParent(OCLExpression first, OCLExpression second) This method finds the common composition parent of the two given OCLExpressions.
protected OCLExpression	AbstractTracer.getRootExpression() There are a few known idiosyncrasies in the OCL "composition" hierarchy.

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

Modifier and Type	Method and Description
java.util.Set<OCLExpression>	AbstractNavigationStep.getDebugInfo()
java.util.Set<OCLExpression>	NavigationStep.getDebugInfo() Optionally, a navigation step may tell for which OCL expression it was mainly created.

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

Modifier and Type	Method and Description
void	AbstractNavigationStep.addExpressionForWhichThisIsNavigationStep(OCLExpression oclExpression)
void	NavigationStep.addExpressionForWhichThisIsNavigationStep(OCLExpression oclExpression) Adds oclExpression as an expression for which this is the computed navigation step.
protected OCLExpression	AbstractTracer.commonCompositionParent(OCLExpression second) This method is a shortcut for AbstractTracer.commonCompositionParent(OCLExpression, OCLExpression) that uses AbstractTracer.getExpression() as the origin.
protected static OCLExpression	AbstractTracer.commonCompositionParent(OCLExpression first, OCLExpression second) This method finds the common composition parent of the two given OCLExpressions.
IndirectingStep	PathCache.createIndirectingStepFor(OCLExpression expr, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor) Creates a navigation step of type IndirectingStep which can be filled in later by the cliend and enters the placeholder step into this cache for expr.
protected abstract StepType	AbstractPathCache.createStep(OCLExpression sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, OCLFactory oclFactory)
protected NavigationStep	PathCache.createStep(OCLExpression sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, OCLFactory oclFactory)
protected Tracer	InstanceScopeAnalysis.createTracer(OCLExpression expression, java.util.Stack<java.lang.String> tuplePartNames, OCLFactory oclFactory) Factory method that creates an instance of some Tracer-implementing class specific to the type of the OCL expression.
protected static java.util.Set<Variable>	AbstractTracer.getAllVariablesInScope(OCLExpression e, OperationBodyToCallMapper operationBodyToCallMapper)
StepType	AbstractPathCache.getOrCreateNavigationPath(OCLExpression sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, OCLFactory oclFactory)
StepType	AbstractPathCache.getPathForNode(OCLExpression subexpression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor)
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 NavigationStep	PathCache.navigationStepForBranch(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression expression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, boolean requireExactMatchForSourceType, NavigationStep... steps) A non-caching, no-cache-lookup factory operation for a branching step for steps.
protected NavigationStep	PathCache.navigationStepFromSequence(OCLExpression expression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, NavigationStep... steps) A factory method for NavigationSteps that combines a sequence of navigation steps into a single new one.
void	PathCache.put(OCLExpression subexpression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, NavigationStep path) Also adds path to PathCache.allNavigationSteps.
void	AbstractPathCache.put(OCLExpression subexpression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, StepType path) Also adds path to #allSteps.
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.

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type OCLExpression

Constructor and Description
AbsoluteNavigationStep(org.eclipse.emf.ecore.EClass targetType, OCLExpression debugInfo)
AbstractNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression debugInfo)
AllInstancesNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression debugInfo, OppositeEndFinder oppositeEndFinder) Constructs a non-absolute navigation step that computes all instances of targetType and all its direct and indirect subtypes, if the fromObject passed to AbstractNavigationStep.navigate(Set, TracebackCache, Notification) conforms to the sourceType.
AssociationNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, org.eclipse.emf.ecore.EReference toEnd, OCLExpression debugInfo)
BranchingNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression debugInfo, boolean requireExactMatchForSourceType, NavigationStep... parallelSteps)
CompositeNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression debugInfo, NavigationStep... steps)
EmptyResultNavigationStep(OCLExpression debugInfo)
IdentityNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression oclExpression)
IndirectingStep(OCLExpression debugInfo)
InstanceScopeAnalysis(OCLExpression expression, org.eclipse.emf.ecore.EClass exprContext, FilterSynthesisImpl filterSynthesizer, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)
InstanceScopeAnalysis(OCLExpression expression, org.eclipse.emf.ecore.EClass exprContext, FilterSynthesisImpl filterSynthesizer, OppositeEndFinder oppositeEndFinder, PartialEvaluatorImpl partialEvaluator, ActivationOption configuration, OCLFactory oclFactory, PathCache pathCache, TracebackStepCache tracebackStepCache)
NavigationStepSequence(OCLExpression debugInfo, NavigationStep... steps) Because some NavigationSteps such as IndirectingStep may change their source/target type as they get lazily initialized, this constructor passes on null as source/target type.
OppositePropertyNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, org.eclipse.emf.ecore.EStructuralFeature property, OCLExpression debugInfo, OppositeEndFinder oppositeEndFinder)
RefImmediateCompositeNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression debugInfo)

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

Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with type parameters of type OCLExpression

Modifier and Type	Class and Description
class	AbstractTracebackStep<E extends OCLExpression>
class	BranchingTracebackStep<E extends OCLExpression>

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that return OCLExpression

Modifier and Type	Method and Description
protected OCLExpression	VariableTracebackStep.getRootExpression(OCLExpression e) There are a few known idiosyncrasies in the OCL "composition" hierarchy.

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type OCLExpression

Modifier and Type	Method and Description
protected TracebackStep	TracebackStepCache.createStep(OCLExpression sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, OCLFactory oclFactory)
protected AbstractTracebackStep.TracebackStepAndScopeChange	AbstractTracebackStep.createTracebackStepAndScopeChange(OCLExpression sourceExpression, OCLExpression targetExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, TracebackStepCache tracebackStepCache) Creates a new AbstractTracebackStep.TracebackStepAndScopeChange} object.
protected AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp	AbstractTracebackStep.createTracebackStepAndScopeChange(OCLExpression sourceExpression, OCLExpression targetExpression, OperationCallExp call, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, TracebackStepCache tracebackStepCache) Creates a new AbstractTracebackStep.TracebackStepAndScopeChange} object, remembering an OperationCallExp to which the results produced by this step are specific.
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 OCLExpression	VariableTracebackStep.getRootExpression(OCLExpression e) There are a few known idiosyncrasies in the OCL "composition" hierarchy.
protected static java.util.Set<Variable>	AbstractTracebackStep.getVariablesScopedByExpression(OCLExpression e, OperationBodyToCallMapper operationBodyToCallMapper)

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type OCLExpression

Constructor and Description
EmptyTracebackStep(OCLExpression sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, TracebackStepCache tracebackStepCache, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory, OCLFactory oclFactory)

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

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation that return OCLExpression

Modifier and Type	Method and Description
OCLExpression	UnusedEvaluationRequestValue.getExpression()

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

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)

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type OCLExpression

Constructor and Description
PartialEvaluationVisitorImplNoAllInstances(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap, OCLExpression sourceExpression, java.lang.Object valueOfSourceExpression, org.eclipse.emf.common.notify.Notification atPre)
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.

Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.util

Methods in org.eclipse.ocl.examples.impactanalyzer.util that return OCLExpression

Modifier and Type	Method and Description
static OCLExpression	OclHelper.getRootExpression(org.eclipse.emf.ecore.EObject x)

Methods in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type OCLExpression

Modifier and Type	Method and Description
static HighlightingToStringVisitor	HighlightingToStringVisitor.getInstance(org.eclipse.emf.ecore.EObject element, OCLExpression expressionToHighlight)

Constructors in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type OCLExpression

Constructor and Description

HighlightingToStringVisitor(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, OCLExpression expressionToHighlight)