org.eclipse.ocl.examples.emf.validation.validity.ui.view

Class IDEValidityManager

java.lang.Object

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

org.eclipse.ocl.examples.emf.validation.validity.ui.view.IDEValidityManager

public class IDEValidityManager
extends ValidityManager

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	IDEValidityManager.AbstractNodeAdapter
protected class	IDEValidityManager.IDEValidityModel
class	IDEValidityManager.ResultAdapter

Field Summary

Fields

Modifier and Type	Field and Description
static int	FAST_REFRESH_DELAY
static int	SLOW_REFRESH_DELAY

Fields inherited from class org.eclipse.ocl.examples.emf.validation.validity.manager.ValidityManager

adapterFactory, ANALYZE_RESOURCE, BUILD_TYPE, context, CREATE_CONSTRAINING, CREATE_RESULT, CREATE_VALIDATABLE, LABEL_OPTIONS, lastResultSet, LOCATE_RESOURCE, resultsMap

Constructor Summary

Constructors

Constructor and Description
IDEValidityManager(ValidityViewRefreshJob refreshJob)

Method Summary

Modifier and Type	Method and Description
protected ValidityModel	createModel(java.util.Collection<org.eclipse.emf.ecore.resource.Resource> newResources)
java.lang.String	getConstrainingLabel(org.eclipse.emf.ecore.EObject eObject)
void	redraw()
void	runValidation(ValidityView validityView, java.util.Set<ResultConstrainingNode> selectedNodes)
static void	stopValidation()

Methods inherited from class org.eclipse.ocl.examples.emf.validation.validity.manager.ValidityManager

addConstrainingFilter, addConstraintLocator, addFilteredSeverity, addValidatableFilter, appendResourceURI, createDefaultContext, createDefaultDiagnostic, createResultSet, dispose, forceRefresh, gatherConstraintLocators, getActiveConstraintLocators, getAdapterFactory, getConstrainingNode, getConstrainingNodeResults, getConstrainingURI, getConstraintLocator, getConstraintLocator, getConstraintLocators, getModel, getRootNode, getTypeURI, getValidatableLabel, getValidatableNodeResults, getValidatableURI, installResultSet, removeConstrainingFilter, removeFilteredSeverity, removeValidatableFilter, setInput, setInput

Methods inherited from class java.lang.Object

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

Field Detail

FAST_REFRESH_DELAY

public static final int FAST_REFRESH_DELAY

See Also:

Constant Field Values

SLOW_REFRESH_DELAY

public static final int SLOW_REFRESH_DELAY

See Also:

Constant Field Values

Constructor Detail

IDEValidityManager

public IDEValidityManager(@NonNull
                          ValidityViewRefreshJob refreshJob)

Method Detail

stopValidation

public static void stopValidation()

createModel

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

Overrides:

createModel in class ValidityManager

getConstrainingLabel

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

Overrides:

getConstrainingLabel in class ValidityManager

runValidation

public void runValidation(@NonNull
                          ValidityView validityView,
                          @Nullable
                          java.util.Set<ResultConstrainingNode> selectedNodes)

redraw

public void redraw()