public class Revalidator extends Revalidator
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 {
Constructor and Description |
---|
Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
org.eclipse.emf.ecore.EPackage... pkgs)
|
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) |
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. |
getOclFactory, getOppositeEndFinder
public Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, OCLFactory oclFactory, org.eclipse.emf.ecore.EPackage... pkgs)
DefaultOppositeEndFinder
public Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, org.eclipse.emf.ecore.EPackage... pkgs)
public Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, OCLFactory oclFactory, OppositeEndFinder oppositeEndFinder, org.eclipse.emf.ecore.EPackage... pkgs)
OCLFactory.INSTANCE
with the provided opposite end finder to create
OCL
instancespublic Revalidator(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, OppositeEndFinder oppositeEndFinder, org.eclipse.emf.ecore.EPackage... pkgs)
oclFactory
- used to create OCL
instancesoppositeEndFinder
- 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()
expressionspkgs
- the metamodel packages whose invariants to observeprotected org.eclipse.emf.common.notify.Adapter getAdapter(java.lang.String constraintName, OCLExpression invariant, ImpactAnalyzer impactAnalyzer)
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.getAdapter
in class Revalidator
constraintName
- name of the invariant / constraint that may have changed its
value based on a model changeinvariant
- the OCL expression that defined the invariant / constraintimpactAnalyzer
- can be used by the adapter to infer the context objects on
which re-evaluation may be necessaryResourceSet
specified during construction of this
Revalidator
that may impact the value of the constraint /
invariant specified by constraintName
and
invariant