org.eclipse.ocl.examples.pivot.uml
Class UMLProfileConstraintProvider

java.lang.Object
  org.eclipse.emf.validation.service.AbstractConstraintProvider
      org.eclipse.emf.validation.xml.XmlConstraintProvider
          org.eclipse.ocl.examples.pivot.validation.LoadableConstraintProvider
              org.eclipse.ocl.examples.pivot.uml.UMLProfileConstraintProvider

All Implemented Interfaces:

org.eclipse.core.runtime.IExecutableExtension, org.eclipse.emf.validation.service.IModelConstraintProvider

public class UMLProfileConstraintProvider
extends LoadableConstraintProvider

UMLProfileConstraintProvider supports loading of constraints from a UML Profile.

Pending improvement of the EMFv API:

Two ConstraintProviders should be specified for the one Category for the org.eclipse.emf.validation.constraintProviders extension point.

The first ConstraintProvider default-classed XmlConstraintProvider may have a single placeholder constraint that provides the initial content of the Model Validation Constraints Preference page.

The second ConstraintProvider deriving from LoadableConstraintProvider should have a Path-languaged constraint with an XML path parameter locating the model source of the loadable constraints. These will be loaded by the first validation run and repopulate the Preference page with their content.

See org.eclipse.ocl.examples.xtext.tests/plugin.xml for an example.

Constructor Summary

UMLProfileConstraintProvider()

Method Summary

protected boolean

load(MetaModelManager metaModelManager, org.eclipse.emf.common.util.URI uri, java.util.Set<org.eclipse.emf.validation.model.Category> categories)

Methods inherited from class org.eclipse.ocl.examples.pivot.validation.LoadableConstraintProvider

getOCL, installConstraint, installContents, installDescriptor, installResource, setInitializationData, toString

Methods inherited from class org.eclipse.emf.validation.service.AbstractConstraintProvider

createModelConstraint, createModelConstraintProxy, getBatchConstraints, getConstraints, getLiveConstraints, getNamespaceUris, registerConstraints

Methods inherited from class java.lang.Object

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

Constructor Detail

UMLProfileConstraintProvider

public UMLProfileConstraintProvider()

Method Detail

load

protected boolean load(@NonNull
                       MetaModelManager metaModelManager,
                       @NonNull
                       org.eclipse.emf.common.util.URI uri,
                       @NonNull
                       java.util.Set<org.eclipse.emf.validation.model.Category> categories)

Specified by:

load in class LoadableConstraintProvider