org.eclipse.ocl.common

Interface OCLConstants

All Known Implementing Classes:

OCLCommon

public interface OCLConstants

Constants common to all Eclipse OCL facilities.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	OCL_DELEGATE_URI The EAnnotation source URI for delegate OCL annotations.
static java.lang.String	OCL_DELEGATE_URI_LPG
static java.lang.String	OCL_DELEGATE_URI_SLASH
static java.lang.String	PLUGIN_ID

Field Detail

PLUGIN_ID

static final java.lang.String PLUGIN_ID

OCL_DELEGATE_URI

static final java.lang.String OCL_DELEGATE_URI

The EAnnotation source URI for delegate OCL annotations.

For an EOperation, the EAnnotation details may include
a body key to provide an OCL expression value that specifies body: of the operation.
a precondition key to provide an OCL expression value that specifies pre: for the operation.
a postcondition key to provide an OCL expression value that specifies post: for the operation.

For an EStructuralFeature, the EAnnotation details may include
a derivation key to provide an OCL expression value that specifies derive: for the property.
a initial key to provide an OCL expression value that specifies initial: for the operation.

For an EClassifier (EClass, EDataType), the EAnnotation details may include
a constraintName key to provide an OCL expression value that specifies inv constraintName: for the classifier.

For an EPackage, the EAnnotation details may include
an environmentFactoryClass key whose value is the fully qualified class name for the EnvironmentFactory. If no key is specified either the EcoreEnvironmentFactory or EcoreEnvironmentFactoryWithHiddenOpposites class are used.
a hiddenOpposites key that may have a true value to use the EcoreEnvironmentFactoryWithHiddenOpposites class rather than the EcoreEnvironmentFactory when no environmentFactoryClass key is specified.

Note that the delegate OCL functionality must be enabled by an EPackage Ecore annotation specifying this URI as the value of invocationDelegates, settingDelegates and validationDelegates details keys.

Note also that validation must be enabled by specifying an EClassifier Ecore annotation with a space separated list of invariant constraintNames as the value of the constraints details key.

See /org.eclipse.ocl.ecore.tests/model/Company.ecore or http://wiki.eclipse.org/MDT/OCLinEcore for an example.

See Also:

Constant Field Values

OCL_DELEGATE_URI_SLASH

static final java.lang.String OCL_DELEGATE_URI_SLASH

See Also:

Constant Field Values

OCL_DELEGATE_URI_LPG

static final java.lang.String OCL_DELEGATE_URI_LPG

See Also:

Constant Field Values