Uses of Interface
org.eclipse.ocl.ecore.opposites.OppositeEndFinder

Packages that use OppositeEndFinder

org.eclipse.ocl.ecore	Implementation of an OCL binding for the Ecore metamodel.
org.eclipse.ocl.ecore.opposites
org.eclipse.ocl.examples.impactanalyzer
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation
org.eclipse.ocl.examples.impactanalyzer.editor
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 OppositeEndFinder in org.eclipse.ocl.ecore

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

protected OppositeEndFinder	EcoreEnvironmentFactory.createOppositeEndFinder(org.eclipse.emf.ecore.EPackage.Registry registry) Returns a null opposite end finder.
OppositeEndFinder	EcoreEnvironment.getOppositeEndFinder()
OppositeEndFinder	EcoreEnvironmentFactory.getOppositeEndFinder()

Uses of OppositeEndFinder in org.eclipse.ocl.ecore.opposites

Classes in org.eclipse.ocl.ecore.opposites that implement OppositeEndFinder

class

DefaultOppositeEndFinder Opposite references declared by the annotation detail EcoreEnvironment#PROPERTY_OPPOSITE_ROLE_NAME_KEY on an EAnnotation with source EMOFExtendedMetaData.EMOF_PACKAGE_NS_URI_2_0 are retrieved by scanning and caching the Ecore packages that this opposite end finder is aware of at the time of the request.

Methods in org.eclipse.ocl.ecore.opposites that return OppositeEndFinder

protected OppositeEndFinder

EcoreEnvironmentFactoryWithHiddenOpposites.createOppositeEndFinder(org.eclipse.emf.ecore.EPackage.Registry registry)

Constructors in org.eclipse.ocl.ecore.opposites with parameters of type OppositeEndFinder

EcoreEnvironmentFactoryWithHiddenOpposites(org.eclipse.emf.ecore.EPackage.Registry reg, OppositeEndFinder oppositeEndFinder)
Configures both, a specific package registry as well as a dedicated opposite end finder to be used by the OCL environment created by this factory.

ExtentMap(org.eclipse.emf.common.notify.Notifier context, OppositeEndFinder oppositeEndFinder)

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

Methods in org.eclipse.ocl.examples.impactanalyzer that return OppositeEndFinder

protected OppositeEndFinder

Revalidator.getOppositeEndFinder()

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

DerivedPropertyNotifier	ImpactAnalyzerFactory.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EPackage pkg, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory) Constructs a notifier for all derived properties in pkg which efficiently, based on an ImpactAnalyzer, constructs and emits Notifications for derived, OCL-specified properties.
DerivedPropertyNotifier	ImpactAnalyzerFactory.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EPackage pkg, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory) Constructs a notifier for all derived properties in pkg which efficiently, based on an ImpactAnalyzer, constructs and emits Notifications for derived, OCL-specified properties.
DerivedPropertyNotifier	ImpactAnalyzerFactory.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EStructuralFeature property, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory) Constructs a notifier for derived properties which efficiently, based on an ImpactAnalyzer, constructs and emits Notifications for derived, OCL-specified properties.
DerivedPropertyNotifier	ImpactAnalyzerFactory.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EStructuralFeature property, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory) Constructs a notifier for derived properties which efficiently, based on an ImpactAnalyzer, constructs and emits Notifications for derived, OCL-specified properties.
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, 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.
PartialEvaluator	PartialEvaluatorFactory.createPartialEvaluator(org.eclipse.emf.common.notify.Notification atPre, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory) Taking a Notification object such that an evaluation will be based on the state *before* the notification.
PartialEvaluator	PartialEvaluatorFactory.createPartialEvaluator(OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory) Constructs the OCL instance using OCLFactory.createOCL(OppositeEndFinder), passing the oppositeEndFinder provided.

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

Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, OCLFactory oclFactory, OppositeEndFinder oppositeEndFinder, org.eclipse.emf.ecore.EPackage... pkgs)

Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, OppositeEndFinder oppositeEndFinder, org.eclipse.emf.ecore.EPackage... pkgs)
Uses the default OCLFactory.INSTANCE with the provided opposite end finder to create OCL instances

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

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

PartialEvaluatorImpl	PartialEvaluatorFactoryImpl.createPartialEvaluator(org.eclipse.emf.common.notify.Notification atPre, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)
PartialEvaluatorImpl	PartialEvaluatorFactoryImpl.createPartialEvaluator(OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)

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

PartialEcoreEnvironmentFactory(org.eclipse.emf.common.notify.Notification atPre, OppositeEndFinder oppositeEndFinder)
Uses the specific oppositeEndFinder to retrieve and navigate hidden opposite properties and for allInstances() evaluation.

PartialEcoreEnvironmentFactory(OppositeEndFinder oppositeEndFinder)
Uses a null PartialEcoreEnvironmentFactory.atPre.

PartialEvaluatorImpl(org.eclipse.emf.common.notify.Notification atPre, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)
Taking a Notification object such that an evaluation will be based on the state *before* the notification.

PartialEvaluatorImpl(OCLFactory oclFactory, OppositeEndFinder oppositeEndFinder)
Constructs the OCL instance using OCLFactory.createOCL(OppositeEndFinder), passing the oppositeEndFinder provided.

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

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

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

Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, OCLFactory oclFactory, OppositeEndFinder oppositeEndFinder, org.eclipse.emf.ecore.EPackage... pkgs)
Uses the default OCLFactory.INSTANCE with the provided opposite end finder to create OCL instances

Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, OppositeEndFinder oppositeEndFinder, org.eclipse.emf.ecore.EPackage... pkgs)

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

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

DerivedPropertyNotifier	ImpactAnalyzerFactoryImpl.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EPackage pkg, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)
DerivedPropertyNotifier	ImpactAnalyzerFactoryImpl.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EPackage pkg, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)
DerivedPropertyNotifier	ImpactAnalyzerFactoryImpl.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EStructuralFeature property, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)
DerivedPropertyNotifier	ImpactAnalyzerFactoryImpl.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EStructuralFeature property, OppositeEndFinder oppositeEndFinder, 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, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)
ImpactAnalyzer	ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)

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

DerivedPropertyNotifierImpl(ActivationOption impactAnalyzerConfiguration, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory, org.eclipse.emf.ecore.EPackage pkg)

DerivedPropertyNotifierImpl(ActivationOption impactAnalyzerConfiguration, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory, org.eclipse.emf.ecore.EStructuralFeature... derivedProperties)

ImpactAnalyzerImpl(OCLExpression expression, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)

ImpactAnalyzerImpl(OCLExpression expression, org.eclipse.emf.ecore.EClass context, boolean notifyOnNewContextElements, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)

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

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

OppositeEndFinder

AbstractPathCache.getOppositeEndFinder()

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

static java.util.Set<org.eclipse.emf.ecore.EObject>

InstanceScopeAnalysis.getAllPossibleContextInstances(org.eclipse.emf.common.notify.Notifier context, org.eclipse.emf.ecore.EClass cls, OppositeEndFinder oppositeEndFinder) Finds all elements of type cls or conforming to cls such that based on the scope definition implemented by the oppositeEndFinder's getAllInstancesSeeing(EClass, org.eclipse.emf.common.notify.Notifier) method, the elements returned can "see" container.

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

AbstractPathCache(OppositeEndFinder oppositeEndFinder)

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.

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)

OppositePropertyNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, org.eclipse.emf.ecore.EStructuralFeature property, OCLExpression debugInfo, OppositeEndFinder oppositeEndFinder)

PathCache(OppositeEndFinder oppositeEndFinder)

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

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

protected OppositeEndFinder

AbstractTracebackStep.getOppositeEndFinder()

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

AbstractTracebackStep(E sourceExpression, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, OppositeEndFinder oppositeEndFinder, OperationBodyToCallMapper operationBodyToCallMapper, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory, OCLFactory oclFactory)
If the expression's type for which this traceback step is constructed is class-like, AbstractTracebackStep.requiredType is set to the expression's type.

BranchingTracebackStep(E sourceExpression, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, OppositeEndFinder oppositeEndFinder, OperationBodyToCallMapper operationBodyToCallMapper, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory, OCLFactory oclFactory)

TracebackStepCache(OppositeEndFinder oppositeEndFinder)

TracebackStepCache(OppositeEndFinder oppositeEndFinder, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory, InstanceScopeAnalysis instanceScopeAnalysis)

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

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

protected PartialEvaluatorNoAllInstances	UnusedEvaluationRequest.createPartialEvaluatorNoAllInstances(OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)
static UnusedEvaluationRequestSet.UnusedEvaluationResult	UnusedEvaluationRequestSet.evaluate(java.util.Collection<UnusedEvaluationRequest> requestsToEvaluate, OppositeEndFinder oppositeEndFinder, TracebackCache tracebackCache, OCLFactory oclFactory) Evaluates the requestsToEvaluate.
boolean	UnusedEvaluationRequest.evaluate(OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory) Tries a partial evaluation of the UnusedEvaluationRequest.expression by setting the variable values inferred so far (see UnusedEvaluationRequest.inferredVariableValues) in the evaluation environment.
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.

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

PartialEcoreEnvironmentFactoryNoAllInstances(org.eclipse.emf.common.notify.Notification atPre, OppositeEndFinder oppositeEndFinder)

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

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

OCL	OCLFactory.createOCL(OppositeEndFinder oppositeEndFinder) Create an OCL instance that uses the OppositeEndFinder specified as parameter.
static OCL	OCL.newInstance(org.eclipse.emf.ecore.EPackage.Registry registry, OppositeEndFinder oppositeEndFinder) Uses the specific opposite end finder to parameterize the OCL environment returned.
static OCL	OCL.newInstance(OppositeEndFinder oppositeEndFinder) Uses the specific opposite end finder to parameterize the OCL environment returned.

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

EcoreEnvironmentFactoryWithScopedExtentMap(org.eclipse.emf.ecore.EPackage.Registry reg, OppositeEndFinder oppositeEndFinder)
Configures both, a specific package registry as well as a dedicated opposite end finder to be used by the OCL environment created by this factory.

EcoreEnvironmentFactoryWithScopedExtentMap(OppositeEndFinder oppositeEndFinder)
Initializes me with the default EPackage.Registry that the environments I create will use to look up packages.