org.eclipse.ocl.examples.impactanalyzer.editor

Class Revalidator

java.lang.Object

org.eclipse.ocl.examples.impactanalyzer.Revalidator

org.eclipse.ocl.examples.impactanalyzer.editor.Revalidator

public class Revalidator
extends Revalidator

Use at the end of your EMF sample editor's createModel() method to request instant re-validation of your editor's EMF model with corresponding error marker creation/deletion. Example:

        public class MyEditor 
        extends MultiPageEditorPart
        implements IEditingDomainProvider, ISelectionProvider, IMenuListener, IViewerProvider, IGotoMarker {

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) Uses the default OCLFactory.INSTANCE with the provided opposite end finder to create OCL instances
Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, OppositeEndFinder oppositeEndFinder, org.eclipse.emf.ecore.EPackage... pkgs)

Method Summary

Modifier and Type	Method and Description
protected 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.

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.Revalidator

getOclFactory, 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,
                   OCLFactory oclFactory,
                   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,
                   OppositeEndFinder oppositeEndFinder,
                   org.eclipse.emf.ecore.EPackage... pkgs)

Parameters:

resourceSet - 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

getAdapter

protected 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.

Specified by:

getAdapter in class Revalidator

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