org.eclipse.ocl.examples.emf.validation.validity.locator
Class EClassConstraintLocator

java.lang.Object
  org.eclipse.ocl.examples.emf.validation.validity.locator.AbstractConstraintLocator
      org.eclipse.ocl.examples.emf.validation.validity.locator.EClassConstraintLocator

All Implemented Interfaces:

ConstraintLocator, ConstraintLocator.Descriptor

public class EClassConstraintLocator
extends AbstractConstraintLocator

Nested Class Summary

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

ConstraintLocator.Descriptor

Field Summary

static EClassConstraintLocator

INSTANCE

Constructor Summary

EClassConstraintLocator()

Method Summary

java.util.Map<org.eclipse.emf.ecore.EObject,java.util.List<LeafConstrainingNode>>	getConstraints(ValidityModel validityModel, org.eclipse.emf.ecore.EPackage ePackage, java.util.Set<org.eclipse.emf.ecore.resource.Resource> resources, org.eclipse.emf.common.util.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.
java.lang.Object	getImage() Return an icon to identify this kind of ConstraintLocator.
java.lang.String	getName() Return a descriptive name for this kind of constraint.
void	validate(Result result, ValidityManager validityManager, org.eclipse.emf.common.util.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

createLeafConstrainingNode, getAllTypes, getConstrainingURIs, getConstraintLocator, getImports, getLabel, getSeverity, getSourceExpression, getSourceResource, getURI

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

@NonNull
public static EClassConstraintLocator INSTANCE

Constructor Detail

EClassConstraintLocator

public EClassConstraintLocator()

Method Detail

getConstraints

@Nullable
public java.util.Map<org.eclipse.emf.ecore.EObject,java.util.List<LeafConstrainingNode>> getConstraints(@NonNull
                                                                                                                 ValidityModel validityModel,
                                                                                                                 @NonNull
                                                                                                                 org.eclipse.emf.ecore.EPackage ePackage,
                                                                                                                 @NonNull
                                                                                                                 java.util.Set<org.eclipse.emf.ecore.resource.Resource> resources,
                                                                                                                 @NonNull
                                                                                                                 org.eclipse.emf.common.util.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 java.lang.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

getName

@NonNull
public java.lang.String getName()

Description copied from interface: ConstraintLocator

Return a descriptive name for this kind of constraint.

validate

public void validate(@NonNull
                     Result result,
                     @NonNull
                     ValidityManager validityManager,
                     @Nullable
                     org.eclipse.emf.common.util.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