org.eclipse.ocl.examples.validity.locator

Class PivotConstraintLocator

java.lang.Object

org.eclipse.ocl.examples.emf.validation.validity.locator.AbstractConstraintLocator

org.eclipse.ocl.examples.validity.locator.PivotConstraintLocator

All Implemented Interfaces:

ConstraintLocator, ConstraintLocator.Descriptor

Direct Known Subclasses:

CompleteOCLCSConstraintLocator, PivotUIConstraintLocator

public class PivotConstraintLocator
extends AbstractConstraintLocator

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.emf.validation.validity.locator.ConstraintLocator

ConstraintLocator.Descriptor

Field Summary

Fields

Modifier and Type	Field and Description
static PivotConstraintLocator	INSTANCE

Constructor Summary

Constructors

Constructor and Description
PivotConstraintLocator()

Method Summary

Modifier and Type	Method and Description
Set<TypeURI>	getAllTypes(ValidityManager validityManager, EObject constrainingObject) Return all typeURIs for a given type; typically this returns the supertype closure.
Map<EObject,List<LeafConstrainingNode>>	getConstraints(ValidityModel validityModel, EPackage ePackage, Set<Resource> resources, Monitor monitor) Return a constrainedType-to-constraint map for all types in the given resources that have an ePackage whose URI complies with the registration of this ConstraintLocator.
Object	getImage() Return an icon to identify this kind of ConstraintLocator.
ConstraintLocator	getInstance() Return the singleton instance of this ConstraintLocator to avoid duplicate registrations.
String	getName() Return a descriptive name for this kind of constraint.
String	getSourceExpression(LeafConstrainingNode node) Return the source representation of the Constraint.
Resource	getSourceResource(LeafConstrainingNode node) Return the Resource from which the Constraint was obtained.
TypeURI	getTypeURI(EObject constrainedObject) Return the URI that provides a distinct identity for a constraining element when applied to a validatable element.
void	validate(Result result, ValidityManager validityManager, Monitor monitor) Update the validation result to include the verdict of the validation using validityManager to provide shared services.

Methods inherited from class org.eclipse.ocl.examples.emf.validation.validity.locator.AbstractConstraintLocator

getConstrainingType, getConstrainingURI, getConstraintLocator, getImports, getLabel, getTypeURIs, initialize, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

public static PivotConstraintLocator INSTANCE

Constructor Detail

PivotConstraintLocator

public PivotConstraintLocator()

Method Detail

getAllTypes

public Set<TypeURI> getAllTypes(ValidityManager validityManager,
                                EObject constrainingObject)

Description copied from interface: ConstraintLocator

Return all typeURIs for a given type; typically this returns the supertype closure.

Specified by:

getAllTypes in interface ConstraintLocator

Overrides:

getAllTypes in class AbstractConstraintLocator

getConstraints

public Map<EObject,List<LeafConstrainingNode>> getConstraints(ValidityModel validityModel,
                                                              EPackage ePackage,
                                                              Set<Resource> resources,
                                                              Monitor monitor)

Description copied from interface: ConstraintLocator

Return a constrainedType-to-constraint map for all types in the given resources that have an ePackage whose URI complies with the registration of this ConstraintLocator. The validityModel is used to create the LeafConstrainingNodes for each constraint.

getImage

public Object getImage()

Description copied from interface: ConstraintLocator

Return an icon to identify this kind of ConstraintLocator.

Specified by:

getImage in interface ConstraintLocator

Overrides:

getImage in class AbstractConstraintLocator

getInstance

public ConstraintLocator getInstance()

Description copied from interface: ConstraintLocator

Return the singleton instance of this ConstraintLocator to avoid duplicate registrations.

getName

public String getName()

Description copied from interface: ConstraintLocator

Return a descriptive name for this kind of constraint.

getSourceExpression

public String getSourceExpression(LeafConstrainingNode node)

Description copied from interface: ConstraintLocator

Return the source representation of the Constraint. Returns null if none available.

Specified by:

getSourceExpression in interface ConstraintLocator

Overrides:

getSourceExpression in class AbstractConstraintLocator

getSourceResource

public Resource getSourceResource(LeafConstrainingNode node)

Description copied from interface: ConstraintLocator

Return the Resource from which the Constraint was obtained. Returns null if none available.

Specified by:

getSourceResource in interface ConstraintLocator

Overrides:

getSourceResource in class AbstractConstraintLocator

getTypeURI

public TypeURI getTypeURI(EObject constrainedObject)

Description copied from interface: ConstraintLocator

Return the URI that provides a distinct identity for a constraining element when applied to a validatable element. This is not necessarily unique in the constraining elements view since multiple constraining models may contribute constraints to the same type.

Specified by:

getTypeURI in interface ConstraintLocator

Overrides:

getTypeURI in class AbstractConstraintLocator

validate

public void validate(Result result,
                     ValidityManager validityManager,
                     Monitor monitor)

Description copied from interface: ConstraintLocator

Update the validation result to include the verdict of the validation using validityManager to provide shared services.

Specified by:

validate in interface ConstraintLocator

Overrides:

validate in class AbstractConstraintLocator