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

java.lang.Object
  org.eclipse.ocl.examples.emf.validation.validity.manager.ValidityModel
      org.eclipse.ocl.examples.emf.validation.validity.ui.view.IDEValidityManager.IDEValidityModel

Enclosing class:

IDEValidityManager

protected class IDEValidityManager.IDEValidityModel
extends ValidityModel

Field Summary

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

validityManager, WORK_FOR_ALL_SET_INPUT, WORK_FOR_CLEAN_UP, WORK_FOR_CREATE_MODEL

Constructor Summary

IDEValidityManager.IDEValidityModel(IDEValidityManager validityManager, java.util.Collection<org.eclipse.emf.ecore.resource.Resource> newResources)

Method Summary

protected Result

createResult(org.eclipse.core.runtime.IProgressMonitor monitor) Return a new Result object, or return null if the creation process is to be aborted.

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

accumulateConstrainingURIs, addConstrainingFilter, addFilteredSeverity, addValidatableFilter, analyzeResource, analyzeResources, buildTypeClosure, createConstrainingNode, createLeafConstrainingNode, createLeafConstrainingNodes, createResultConstrainingNode, createResultNodes, createResultNodes, createResultNodes, createResults, createResultSet, createResultSet, createResultValidatableNode, createRootConstrainingNode, createRootValidatableNode, createValidatableNode, getConstrainingLabel, getConstrainingNode, getConstraintLocators, getResources, getResultConstrainingLabel, getResultPath, getResultValidatableLabel, getRootNode, getValidatableNode, init, locateConstraints, refreshModel, removeConstrainingFilter, removeFilteredSeverity, removeValidatableFilter, sortEList, sortNodes

Methods inherited from class java.lang.Object

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

Constructor Detail

IDEValidityManager.IDEValidityModel

public IDEValidityManager.IDEValidityModel(@NonNull
                                           IDEValidityManager validityManager,
                                           @NonNull
                                           java.util.Collection<org.eclipse.emf.ecore.resource.Resource> newResources)

Method Detail

createResult

@Nullable
protected Result createResult(@Nullable
                                       org.eclipse.core.runtime.IProgressMonitor monitor)

Description copied from class: ValidityModel

Return a new Result object, or return null if the creation process is to be aborted.

The default implementation always return an object. Derived implementations may cancel in response to a progress monitor request.

Overrides:

createResult in class ValidityModel

Parameters:

monitor - the corresponding monitor

Returns:

the created new Result object