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

Class EValidatorConstraintLocator

java.lang.Object

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

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

All Implemented Interfaces:

ConstraintLocator, ConstraintLocator.Descriptor

public class EValidatorConstraintLocator
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 EValidatorConstraintLocator	INSTANCE

Constructor Summary

Constructors

Constructor and Description
EValidatorConstraintLocator()

Method Summary

Modifier and Type	Method and Description
protected java.util.Map<org.eclipse.emf.ecore.EObject,java.util.List<LeafConstrainingNode>>	getConstraints(java.util.Map<org.eclipse.emf.ecore.EObject,java.util.List<LeafConstrainingNode>> map, ValidityModel validityModel, org.eclipse.emf.ecore.EPackage ePackage, org.eclipse.emf.ecore.EValidator eValidator, org.eclipse.emf.common.util.Monitor monitor)
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.
ConstraintLocator	getInstance() Return the singleton instance of this ConstraintLocator to avoid duplicate registrations.
java.lang.String	getName() Return a descriptive name for this kind of constraint.
java.lang.String	getSourceExpression(LeafConstrainingNode node) Return the source representation of the Constraint.
protected java.lang.String	print(java.util.Map<org.eclipse.emf.ecore.EClassifier,java.util.List<LeafConstrainingNode>> map)
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, getConstrainingType, getConstrainingURI, getConstraintLocator, getImports, getLabel, getSeverity, getSourceResource, getTypeURI, getTypeURIs, initialize, toString

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

@NonNull
public static EValidatorConstraintLocator INSTANCE

Constructor Detail

EValidatorConstraintLocator

public EValidatorConstraintLocator()

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.

getConstraints

@Nullable
protected java.util.Map<org.eclipse.emf.ecore.EObject,java.util.List<LeafConstrainingNode>> getConstraints(@Nullable
                                                                                                                      java.util.Map<org.eclipse.emf.ecore.EObject,java.util.List<LeafConstrainingNode>> map,
                                                                                                                      @NonNull
                                                                                                                      ValidityModel validityModel,
                                                                                                                      @NonNull
                                                                                                                      org.eclipse.emf.ecore.EPackage ePackage,
                                                                                                                      @NonNull
                                                                                                                      org.eclipse.emf.ecore.EValidator eValidator,
                                                                                                                      @NonNull
                                                                                                                      org.eclipse.emf.common.util.Monitor monitor)

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

getInstance

@NonNull
public ConstraintLocator getInstance()

Description copied from interface: ConstraintLocator

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

getName

@NonNull
public java.lang.String getName()

Description copied from interface: ConstraintLocator

Return a descriptive name for this kind of constraint.

getSourceExpression

@Nullable
public java.lang.String getSourceExpression(@NonNull
                                                       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

print

@NonNull
protected java.lang.String print(@NonNull
                                           java.util.Map<org.eclipse.emf.ecore.EClassifier,java.util.List<LeafConstrainingNode>> map)

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