|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of OCLFactory in org.eclipse.ocl.examples.impactanalyzer |
---|
Methods in org.eclipse.ocl.examples.impactanalyzer that return OCLFactory | |
---|---|
protected OCLFactory |
Revalidator.getOclFactory()
|
Methods in org.eclipse.ocl.examples.impactanalyzer with parameters of type OCLFactory | |
---|---|
DerivedPropertyNotifier |
ImpactAnalyzerFactory.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EPackage pkg,
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,
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,
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,
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,
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,
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,
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. |
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 createOCL(OppositeEndFinder) , passing the
oppositeEndFinder provided. |
Constructors in org.eclipse.ocl.examples.impactanalyzer with parameters of type OCLFactory | |
---|---|
Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
OCLFactory oclFactory,
org.eclipse.emf.ecore.EPackage... pkgs)
Uses a DefaultOppositeEndFinder |
|
Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
OCLFactory oclFactory,
OppositeEndFinder oppositeEndFinder,
org.eclipse.emf.ecore.EPackage... pkgs)
|
Uses of OCLFactory in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation |
---|
Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type OCLFactory | |
---|---|
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 OCLFactory | |
---|---|
PartialEvaluatorImpl(org.eclipse.emf.common.notify.Notification atPre,
OCLFactory oclFactory)
Taking a Notification object such that an evaluation will be
based on the state *before* the notification. |
|
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)
Uses a DefaultOppositeEndFinder to navigate hidden opposite properties and evaluates
the model based on its current state. |
|
PartialEvaluatorImpl(OCLFactory oclFactory,
OppositeEndFinder oppositeEndFinder)
Constructs the OCL instance using createOCL(OppositeEndFinder) , passing the
oppositeEndFinder provided. |
|
PartialEvaluatorImpl(PartialEcoreEnvironmentFactory factory,
OCLFactory oclFactory)
|
Uses of OCLFactory in org.eclipse.ocl.examples.impactanalyzer.editor |
---|
Constructors in org.eclipse.ocl.examples.impactanalyzer.editor with parameters of type OCLFactory | |
---|---|
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,
org.eclipse.emf.ecore.EPackage... pkgs)
Uses a DefaultOppositeEndFinder |
|
Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
OCLFactory oclFactory,
OppositeEndFinder oppositeEndFinder,
org.eclipse.emf.ecore.EPackage... pkgs)
Uses the default INSTANCE with the provided opposite end finder to create
OCL instances |
Uses of OCLFactory in org.eclipse.ocl.examples.impactanalyzer.impl |
---|
Methods in org.eclipse.ocl.examples.impactanalyzer.impl with parameters of type OCLFactory | |
---|---|
DerivedPropertyNotifier |
ImpactAnalyzerFactoryImpl.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EPackage pkg,
ActivationOption configuration,
OCLFactory oclFactory)
|
DerivedPropertyNotifier |
ImpactAnalyzerFactoryImpl.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EPackage pkg,
OCLFactory oclFactory)
|
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,
ActivationOption configuration,
OCLFactory oclFactory)
|
DerivedPropertyNotifier |
ImpactAnalyzerFactoryImpl.createDerivedPropertyNotifier(org.eclipse.emf.ecore.EStructuralFeature property,
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,
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)
|
Constructors in org.eclipse.ocl.examples.impactanalyzer.impl with parameters of type OCLFactory | |
---|---|
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,
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 OCLFactory in org.eclipse.ocl.examples.impactanalyzer.instanceScope |
---|
Fields in org.eclipse.ocl.examples.impactanalyzer.instanceScope declared as OCLFactory | |
---|---|
protected OCLFactory |
AbstractTracer.oclFactory
|
Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type OCLFactory | |
---|---|
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. |
StepType |
AbstractPathCache.getOrCreateNavigationPath(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory)
|
Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type OCLFactory | |
---|---|
AbstractTracer(T expression,
AbstractTracer<?> caller,
java.lang.String additionalTuplePartNameToLookFor,
OCLFactory oclFactory)
Creates a tracer for OCL expression expression and adding another tuple part name to the list of tuple parts to look for as already defined for the caller tracer. |
|
AbstractTracer(T expression,
OCLFactory oclFactory)
Creates a tracer with a null AbstractTracer.tuplePartNames array, meaninig that this tracer is not looking for
TupleLiteralPart expressions on which to unroll a part access. |
|
AbstractTracer(T expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
Specifies an explicit list of tuple part names to look for. |
|
BooleanLiteralExpTracer(BooleanLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
CollectionLiteralExpTracer(CollectionLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
EnumLiteralExpTracer(EnumLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
IfExpTracer(IfExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
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)
|
|
IntegerLiteralExpTracer(IntegerLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
InvalidlLiteralExpTracer(InvalidLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
IterateExpTracer(IterateExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
IteratorExpTracer(IteratorExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
LetExpTracer(LetExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
NullLiteralExpTracer(NullLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
OperationCallExpTracer(OperationCallExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
OppositePropertyCallExpTracer(OppositePropertyCallExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
PredicateCheckNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
IteratorExp iteratorExp,
PathCache pathCache,
OCLFactory oclFactory)
|
|
PropertyCallExpTracer(PropertyCallExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
RealLiteralExpTracer(RealLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
StringLiteralExpTracer(StringLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
TupleLiteralExpTracer(TupleLiteralExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
TypeExpTracer(TypeExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
|
VariableExpTracer(VariableExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
|
Uses of OCLFactory in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback |
---|
Fields in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback declared as OCLFactory | |
---|---|
protected OCLFactory |
AbstractTracebackStep.oclFactory
|
Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type OCLFactory | |
---|---|
protected TracebackStep |
TracebackStepCache.createStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory)
|
Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type OCLFactory | |
---|---|
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)
|
|
CollectionLiteralTracebackStep(CollectionLiteralExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
EmptyTracebackStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
IfTracebackStep(IfExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
IterateTracebackStep(IterateExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
IteratorTracebackStep(IteratorExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
LetTracebackStep(LetExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
OperationCallTracebackStep(OperationCallExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
OppositePropertyCallTracebackStep(OppositePropertyCallExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
PropertyCallTracebackStep(PropertyCallExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
TupleLiteralTracebackStep(TupleLiteralExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
VariableTracebackStep(VariableExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
Uses of OCLFactory in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation |
---|
Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type OCLFactory | |
---|---|
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 OCLFactory | |
---|---|
PartialEvaluatorNoAllInstances(OCLFactory oclFactory)
|
|
PartialEvaluatorNoAllInstances(PartialEcoreEnvironmentFactoryNoAllInstances environmentFactory,
OCLFactory oclFactory)
|
Uses of OCLFactory in org.eclipse.ocl.examples.impactanalyzer.util |
---|
Methods in org.eclipse.ocl.examples.impactanalyzer.util that return OCLFactory | |
---|---|
static OCLFactory |
OCLFactory.getInstance()
|
static OCLFactory |
OCLFactory.getInstance(org.eclipse.emf.ecore.EPackage.Registry registry)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |