public class OutdatedStateManager
extends java.lang.Object
Constructor and Description |
---|
OutdatedStateManager() |
Modifier and Type | Method and Description |
---|---|
void |
checkCanceled(org.eclipse.emf.ecore.resource.ResourceSet rs)
Checks whether the given ResourceSet is in an outdated state and
throws an
OperationCanceledError if so. |
<R,P extends org.eclipse.emf.ecore.resource.Resource> |
exec(IUnitOfWork<R,P> work,
P param) |
CancelIndicator |
newCancelIndiciator(org.eclipse.emf.ecore.resource.ResourceSet rs)
Created a fresh CancelIndicator
|
public CancelIndicator newCancelIndiciator(org.eclipse.emf.ecore.resource.ResourceSet rs)
public void checkCanceled(org.eclipse.emf.ecore.resource.ResourceSet rs)
OperationCanceledError
if so.public <R,P extends org.eclipse.emf.ecore.resource.Resource> R exec(IUnitOfWork<R,P> work, P param)