Package org.eclipse.xtext.resource
Class OutdatedStateManager
- java.lang.Object
-
- org.eclipse.xtext.resource.OutdatedStateManager
-
public class OutdatedStateManager extends java.lang.Object
- Since:
- 2.8
-
-
Constructor Summary
Constructors Constructor Description OutdatedStateManager()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
checkCanceled(org.eclipse.emf.ecore.resource.ResourceSet rs)
Checks whether the given ResourceSet is in an outdated state and throws anOperationCanceledError
if so.<R,P extends org.eclipse.emf.ecore.resource.Resource>
Rexec(org.eclipse.xtext.util.concurrent.IUnitOfWork<R,P> work, P param)
org.eclipse.xtext.util.CancelIndicator
newCancelIndicator(org.eclipse.emf.ecore.resource.ResourceSet rs)
Created a fresh CancelIndicator
-
-
-
Method Detail
-
newCancelIndicator
public org.eclipse.xtext.util.CancelIndicator newCancelIndicator(org.eclipse.emf.ecore.resource.ResourceSet rs)
Created a fresh CancelIndicator
-
checkCanceled
public void checkCanceled(org.eclipse.emf.ecore.resource.ResourceSet rs)
Checks whether the given ResourceSet is in an outdated state and throws anOperationCanceledError
if so.
-
exec
public <R,P extends org.eclipse.emf.ecore.resource.Resource> R exec(org.eclipse.xtext.util.concurrent.IUnitOfWork<R,P> work, P param)
-
-