Uses of Class
org.eclipse.ocl.examples.impactanalyzer.util.OCLFactory

Packages that use OCLFactory

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 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 Notifications 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 Notifications 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 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, 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, 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, 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, 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)