org.eclipse.ocl.examples.impactanalyzer.deltaPropagation

Class PartialEvaluatorFactoryImpl

java.lang.Object

org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.PartialEvaluatorFactoryImpl

All Implemented Interfaces:

PartialEvaluatorFactory

Direct Known Subclasses:

InstanceScopeAnalysis

public class PartialEvaluatorFactoryImpl
extends java.lang.Object
implements PartialEvaluatorFactory

Field Summary

Fields inherited from interface org.eclipse.ocl.examples.impactanalyzer.PartialEvaluatorFactory

INSTANCE

Constructor Summary

Constructors

Constructor and Description
PartialEvaluatorFactoryImpl()

Method Summary

Methods

Modifier and Type	Method and Description
PartialEvaluatorImpl	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.
PartialEvaluatorImpl	createPartialEvaluator(OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory) Constructs the OCL instance using OCLFactory.createOCL(OppositeEndFinder), passing the oppositeEndFinder provided.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PartialEvaluatorFactoryImpl

public PartialEvaluatorFactoryImpl()

Method Detail

createPartialEvaluator

public PartialEvaluatorImpl createPartialEvaluator(org.eclipse.emf.common.notify.Notification atPre,
                                          OppositeEndFinder oppositeEndFinder,
                                          OCLFactory oclFactory)

Description copied from interface: PartialEvaluatorFactory

Taking a Notification object such that an evaluation will be based on the state *before* the notification. For example, if the notification indicates the removal of a reference from an element e1 to an element e2 across reference r then when during partial evaluation r is traversed starting from e1 then e2 will show in the results although in the current version of the model it would not.

Specified by:

createPartialEvaluator in interface PartialEvaluatorFactory

Parameters:

atPre - if null, the constructor behaves the same as PartialEvaluatorFactory.createPartialEvaluator(OppositeEndFinder, OCLFactory)

createPartialEvaluator

public PartialEvaluatorImpl createPartialEvaluator(OppositeEndFinder oppositeEndFinder,
                                          OCLFactory oclFactory)

Description copied from interface: PartialEvaluatorFactory

Constructs the OCL instance using OCLFactory.createOCL(OppositeEndFinder), passing the oppositeEndFinder provided. A default PartialEcoreEnvironmentFactory is used, configured as well with the oppositeEndFinder provided here.

Specified by:

createPartialEvaluator in interface PartialEvaluatorFactory