org.eclipse.ocl.examples.emf.validation.validity.manager
Class ValidityManager

java.lang.Object
  org.eclipse.ocl.examples.emf.validation.validity.manager.ValidityManager

Direct Known Subclasses:

IDEValidityManager, StandaloneValidityManager

public class ValidityManager
extends java.lang.Object

Field Summary

protected org.eclipse.emf.edit.provider.ComposedAdapterFactory	adapterFactory
static TracingOption	ANALYZE_RESOURCE
protected java.util.Map<java.lang.Object,java.lang.Object>	context
static TracingOption	CREATE_CONSTRAINING
static TracingOption	CREATE_RESULT
static TracingOption	CREATE_VALIDATABLE
static java.util.Map<ILabelGenerator.Option<?>,java.lang.Object>	LABEL_OPTIONS
protected ResultSet	lastResultSet
static TracingOption	LOCATE_RESOURCE
protected java.util.Map<ResultValidatableNode,Result>	resultsMap

Constructor Summary

ValidityManager()

Method Summary

void	addConstrainingFilter(IVisibilityFilter filter)
static void	addConstraintLocator(java.lang.String nsURI, ConstraintLocator.Descriptor constraintLocator) This add the corresponding constraint locator if it exists in the list of defined descriptors.
void	addFilteredSeverity(Severity severity)
void	addValidatableFilter(IVisibilityFilter filter)
java.util.Map<java.lang.Object,java.lang.Object>	createDefaultContext()
org.eclipse.emf.common.util.BasicDiagnostic	createDefaultDiagnostic(org.eclipse.emf.ecore.EObject eObject)
protected ValidityModel	createModel(java.util.Collection<org.eclipse.emf.ecore.resource.Resource> newResources)
ResultSet	createResultSet(org.eclipse.core.runtime.IProgressMonitor monitor)
void	dispose()
void	forceRefresh()
protected java.util.Set<ConstraintLocator>	gatherConstraintLocators(java.util.Set<ConstraintLocator> set, java.util.List<ConstraintLocator> list)
org.eclipse.emf.common.notify.AdapterFactory	getAdapterFactory()
java.lang.String	getConstrainingLabel(org.eclipse.emf.ecore.EObject eObject)
ConstrainingNode	getConstrainingNode(org.eclipse.emf.ecore.EObject eObject) Return the ConstrainingNode node for EObject creating any ConstrainingNodes that are required to ensure that the returned ConstrainingNode is installed in the root.
java.util.List<Result>	getConstrainingNodeResults(ConstrainingNode element)
ConstrainingURI	getConstrainingURI(org.eclipse.emf.ecore.EObject eObject) Returns the eObject uri
static ConstraintLocator	getConstraintLocator(org.eclipse.emf.ecore.EObject validatableObject)
static ConstraintLocator	getConstraintLocator(org.eclipse.emf.ecore.resource.Resource validatableResource)
static java.util.List<ConstraintLocator>	getConstraintLocators(java.lang.String nsURI)
ValidityModel	getModel()
RootNode	getRootNode()
TypeURI	getTypeURI(org.eclipse.emf.ecore.EObject constrainingObject) Returns the eObject uri
java.lang.String	getValidatableLabel(org.eclipse.emf.ecore.EObject eObject, boolean withContext)
java.util.List<Result>	getValidatableNodeResults(ValidatableNode element)
ValidatableURI	getValidatableURI(org.eclipse.emf.ecore.EObject eObject) Returns the eObject uri
protected java.util.List<Result>	installResultSet(ResultSet resultSet, org.eclipse.core.runtime.IProgressMonitor monitor)
void	removeConstrainingFilter(IVisibilityFilter filter)
void	removeFilteredSeverity(Severity severity)
void	removeValidatableFilter(IVisibilityFilter filter)
void	setInput(java.lang.Object newInput)
void	setInput(java.lang.Object newInput, org.eclipse.emf.common.util.Monitor monitor)

Methods inherited from class java.lang.Object

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

Field Detail

ANALYZE_RESOURCE

@NonNull
public static final TracingOption ANALYZE_RESOURCE

CREATE_CONSTRAINING

@NonNull
public static final TracingOption CREATE_CONSTRAINING

CREATE_RESULT

@NonNull
public static final TracingOption CREATE_RESULT

CREATE_VALIDATABLE

@NonNull
public static final TracingOption CREATE_VALIDATABLE

LOCATE_RESOURCE

@NonNull
public static final TracingOption LOCATE_RESOURCE

LABEL_OPTIONS

@NonNull
public static final java.util.Map<ILabelGenerator.Option<?>,java.lang.Object> LABEL_OPTIONS

adapterFactory

@NonNull
protected final org.eclipse.emf.edit.provider.ComposedAdapterFactory adapterFactory

resultsMap

@NonNull
protected final java.util.Map<ResultValidatableNode,Result> resultsMap

context

@NonNull
protected final java.util.Map<java.lang.Object,java.lang.Object> context

lastResultSet

@Nullable
protected ResultSet lastResultSet

Constructor Detail

ValidityManager

public ValidityManager()

Method Detail

addConstraintLocator

public static void addConstraintLocator(java.lang.String nsURI,
                                        @NonNull
                                        ConstraintLocator.Descriptor constraintLocator)

This add the corresponding constraint locator if it exists in the list of defined descriptors.

Parameters:

nsURI - the nsURI of the validated resource

constraintLocator - the corresponding constraint locator

getConstraintLocator

@Nullable
public static ConstraintLocator getConstraintLocator(@NonNull
                                                              org.eclipse.emf.ecore.EObject validatableObject)

getConstraintLocator

@Nullable
public static ConstraintLocator getConstraintLocator(@Nullable
                                                              org.eclipse.emf.ecore.resource.Resource validatableResource)

getConstraintLocators

@Nullable
public static java.util.List<ConstraintLocator> getConstraintLocators(@NonNull
                                                                               java.lang.String nsURI)

addConstrainingFilter

public void addConstrainingFilter(@NonNull
                                  IVisibilityFilter filter)

addFilteredSeverity

public void addFilteredSeverity(@NonNull
                                Severity severity)

addValidatableFilter

public void addValidatableFilter(@NonNull
                                 IVisibilityFilter filter)

createDefaultContext

@NonNull
public java.util.Map<java.lang.Object,java.lang.Object> createDefaultContext()

createDefaultDiagnostic

@NonNull
public org.eclipse.emf.common.util.BasicDiagnostic createDefaultDiagnostic(@NonNull
                                                                                   org.eclipse.emf.ecore.EObject eObject)

createModel

@NonNull
protected ValidityModel createModel(@NonNull
                                            java.util.Collection<org.eclipse.emf.ecore.resource.Resource> newResources)

createResultSet

@Nullable
public ResultSet createResultSet(@Nullable
                                          org.eclipse.core.runtime.IProgressMonitor monitor)

dispose

public void dispose()

gatherConstraintLocators

@Nullable
protected java.util.Set<ConstraintLocator> gatherConstraintLocators(@Nullable
                                                                             java.util.Set<ConstraintLocator> set,
                                                                             @NonNull
                                                                             java.util.List<ConstraintLocator> list)

getAdapterFactory

@NonNull
public org.eclipse.emf.common.notify.AdapterFactory getAdapterFactory()

getConstrainingNode

@NonNull
public ConstrainingNode getConstrainingNode(@NonNull
                                                    org.eclipse.emf.ecore.EObject eObject)

Return the ConstrainingNode node for EObject creating any ConstrainingNodes that are required to ensure that the returned ConstrainingNode is installed in the root.

getConstrainingNodeResults

@NonNull
public java.util.List<Result> getConstrainingNodeResults(@NonNull
                                                                 ConstrainingNode element)

getConstrainingURI

@NonNull
public ConstrainingURI getConstrainingURI(@NonNull
                                                  org.eclipse.emf.ecore.EObject eObject)

Returns the eObject uri

Parameters:

eObject -

Returns:

the eObject uri

getConstrainingLabel

@NonNull
public java.lang.String getConstrainingLabel(@NonNull
                                                     org.eclipse.emf.ecore.EObject eObject)

getModel

@Nullable
public ValidityModel getModel()

getRootNode

@Nullable
public RootNode getRootNode()

getTypeURI

@NonNull
public TypeURI getTypeURI(@NonNull
                                  org.eclipse.emf.ecore.EObject constrainingObject)

Returns the eObject uri

getValidatableLabel

@NonNull
public java.lang.String getValidatableLabel(@NonNull
                                                    org.eclipse.emf.ecore.EObject eObject,
                                                    boolean withContext)

getValidatableNodeResults

public java.util.List<Result> getValidatableNodeResults(@NonNull
                                                        ValidatableNode element)

getValidatableURI

@NonNull
public ValidatableURI getValidatableURI(@NonNull
                                                org.eclipse.emf.ecore.EObject eObject)

Returns the eObject uri

Parameters:

eObject -

Returns:

the eObject uri

forceRefresh

public void forceRefresh()

installResultSet

@Nullable
protected java.util.List<Result> installResultSet(@NonNull
                                                           ResultSet resultSet,
                                                           @NonNull
                                                           org.eclipse.core.runtime.IProgressMonitor monitor)

removeConstrainingFilter

public void removeConstrainingFilter(@NonNull
                                     IVisibilityFilter filter)

removeFilteredSeverity

public void removeFilteredSeverity(@NonNull
                                   Severity severity)

removeValidatableFilter

public void removeValidatableFilter(@NonNull
                                    IVisibilityFilter filter)

setInput

public void setInput(java.lang.Object newInput)

setInput

public void setInput(java.lang.Object newInput,
                     @NonNull
                     org.eclipse.emf.common.util.Monitor monitor)