Modifier and Type | Method and Description |
---|---|
protected OCLFactory |
Revalidator.getOclFactory() |
Modifier and Type | Method and Description |
---|---|
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. |
Constructor and Description |
---|
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) |
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 |
---|
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) |
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,
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)
|
Modifier and Type | Method and Description |
---|---|
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) |
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,
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) |
Modifier and Type | Field and Description |
---|---|
protected OCLFactory |
AbstractTracer.oclFactory |
Modifier and Type | Method and Description |
---|---|
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) |
Constructor and Description |
---|
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) |
Modifier and Type | Field and Description |
---|---|
protected OCLFactory |
AbstractTracebackStep.oclFactory |
Modifier and Type | Method and Description |
---|---|
protected TracebackStep |
TracebackStepCache.createStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory) |
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) |
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) |
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 |
---|
PartialEvaluatorNoAllInstances(OCLFactory oclFactory) |
PartialEvaluatorNoAllInstances(PartialEcoreEnvironmentFactoryNoAllInstances environmentFactory,
OCLFactory oclFactory) |
Modifier and Type | Method and Description |
---|---|
static OCLFactory |
OCLFactory.getInstance() |
static OCLFactory |
OCLFactory.getInstance(org.eclipse.emf.ecore.EPackage.Registry registry) |