Modifier and Type | Method and Description |
---|---|
protected OppositeEndFinder |
EcoreEnvironmentFactory.createOppositeEndFinder(org.eclipse.emf.ecore.EPackage.Registry registry)
Returns a
null opposite end finder. |
OppositeEndFinder |
EcoreEnvironment.getOppositeEndFinder() |
OppositeEndFinder |
EcoreEnvironmentFactory.getOppositeEndFinder() |
Modifier and Type | Class and Description |
---|---|
class |
DefaultOppositeEndFinder
Opposite references declared by the annotation detail
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. |
Modifier and Type | Method and Description |
---|---|
protected OppositeEndFinder |
EcoreEnvironmentFactoryWithHiddenOpposites.createOppositeEndFinder(org.eclipse.emf.ecore.EPackage.Registry registry) |
Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
protected OppositeEndFinder |
Revalidator.getOppositeEndFinder() |
Modifier and Type | Method and Description |
---|---|
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 Notification s 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 Notification s 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 Notification s 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 Notification s 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. |
Constructor and Description |
---|
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 |
Modifier and Type | Method and Description |
---|---|
PartialEvaluatorImpl |
PartialEvaluatorFactoryImpl.createPartialEvaluator(org.eclipse.emf.common.notify.Notification atPre,
OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory) |
PartialEvaluatorImpl |
PartialEvaluatorFactoryImpl.createPartialEvaluator(OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory) |
Constructor and Description |
---|
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. |
Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
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) |
Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
OppositeEndFinder |
AbstractPathCache.getOppositeEndFinder() |
Modifier and Type | Method and Description |
---|---|
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 . |
Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
protected OppositeEndFinder |
AbstractTracebackStep.getOppositeEndFinder() |
Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
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.
|
Constructor and Description |
---|
PartialEcoreEnvironmentFactoryNoAllInstances(org.eclipse.emf.common.notify.Notification atPre,
OppositeEndFinder oppositeEndFinder) |
Modifier and Type | Method and Description |
---|---|
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.
|
Constructor and Description |
---|
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. |