org.eclipse.ocl.examples.impactanalyzer

Class Revalidator

java.lang.Object

org.eclipse.ocl.examples.impactanalyzer.Revalidator

Direct Known Subclasses:

Revalidator

public abstract class Revalidator
extends java.lang.Object

Use to react to model changes within a ResourceSet affecting the OCL-specified constraints / invariants provided by one or more EPackages. Clients will subclass this abstract class and provide a meaningful implementation of getAdapter(String, OCLExpression, ImpactAnalyzer).

Author:

Axel Uhl (d043530)

Constructor Summary

Constructors

Constructor and Description
Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, org.eclipse.emf.ecore.EPackage... pkgs) Uses the default OCLFactory.INSTANCE to create OCL objects, as well as a DefaultOppositeEndFinder.
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)
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

Method Summary

Methods

Modifier and Type	Method and Description
protected abstract org.eclipse.emf.common.notify.Adapter	getAdapter(java.lang.String constraintName, OCLExpression invariant, ImpactAnalyzer impactAnalyzer) Returns an adapter that will be notified when the constraint whose name is given by the constraintName parameter may have changed its value due to the change Notification delivered to the adapter.
protected OCLFactory	getOclFactory()
protected OppositeEndFinder	getOppositeEndFinder()

Methods inherited from class java.lang.Object

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

Constructor Detail

Revalidator

public Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
           OCLFactory oclFactory,
           org.eclipse.emf.ecore.EPackage... pkgs)

Uses a DefaultOppositeEndFinder

Revalidator

public Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
           org.eclipse.emf.ecore.EPackage... pkgs)

Uses the default OCLFactory.INSTANCE to create OCL objects, as well as a DefaultOppositeEndFinder.

Revalidator

public 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

Revalidator

public Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
           OCLFactory oclFactory,
           OppositeEndFinder oppositeEndFinder,
           org.eclipse.emf.ecore.EPackage... pkgs)

Parameters:

oclFactory - used to create OCL instances

oppositeEndFinder - used to instantiate an OCL object using OCLFactory.createOCL(OppositeEndFinder), and used for the ImpactAnalyzer when retrieving and navigating hidden opposite references as well as for evaluating allInstances() expressions

pkgs - the metamodel packages whose invariants to observe

Method Detail

getOclFactory

protected OCLFactory getOclFactory()

getOppositeEndFinder

protected OppositeEndFinder getOppositeEndFinder()

getAdapter

protected abstract org.eclipse.emf.common.notify.Adapter getAdapter(java.lang.String constraintName,
                                               OCLExpression invariant,
                                               ImpactAnalyzer impactAnalyzer)

Returns an adapter that will be notified when the constraint whose name is given by the constraintName parameter may have changed its value due to the change Notification delivered to the adapter. Using the impactAnalyzer's ImpactAnalyzer.getContextObjects(Notification) operation the adapter can determine the context objects for which a re-evaluation may be necessary.

Parameters:

constraintName - name of the invariant / constraint that may have changed its value based on a model change

invariant - the OCL expression that defined the invariant / constraint

impactAnalyzer - can be used by the adapter to infer the context objects on which re-evaluation may be necessary

Returns:

an adapter that will be notified about model changes within the ResourceSet specified during construction of this Revalidator that may impact the value of the constraint / invariant specified by constraintName and invariant