|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.ocl.examples.emf.validation.validity.manager.ValidityModel org.eclipse.ocl.examples.emf.validation.validity.ui.view.IDEValidityManager.IDEValidityModel
protected class IDEValidityManager.IDEValidityModel
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 java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public IDEValidityManager.IDEValidityModel(@NonNull IDEValidityManager validityManager, @NonNull java.util.Collection<org.eclipse.emf.ecore.resource.Resource> newResources)
Method Detail |
---|
@Nullable protected Result createResult(@Nullable org.eclipse.core.runtime.IProgressMonitor monitor)
ValidityModel
The default implementation always return an object. Derived implementations may cancel in response to a progress monitor request.
createResult
in class ValidityModel
monitor
- the corresponding monitor
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |