|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 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. |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |