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

class	IDEValidityManager.AbstractNodeAdapter
protected class	IDEValidityManager.IDEValidityModel
class	IDEValidityManager.ResultAdapter

Field Summary

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, context, CREATE_CONSTRAINING, CREATE_RESULT, CREATE_VALIDATABLE, LABEL_OPTIONS, lastResultSet, LOCATE_RESOURCE, resultsMap

Constructor Summary

IDEValidityManager(ValidityViewRefreshJob refreshJob)

Method Summary

protected ValidityModel	createModel(java.util.Collection<org.eclipse.emf.ecore.resource.Resource> newResources)
void	redraw()
void	runValidation(ValidityView validityView)
static void	stopValidation()

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

addConstrainingFilter, addConstraintLocator, addFilteredSeverity, addValidatableFilter, createDefaultContext, createDefaultDiagnostic, createResultSet, dispose, forceRefresh, gatherConstraintLocators, getAdapterFactory, getConstrainingLabel, 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

runValidation

public void runValidation(@NonNull
                          ValidityView validityView)

redraw

public void redraw()