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 and Description
OutdatedStateManager()

Method Summary

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> R	exec(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

Methods inherited from class java.lang.Object

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

Constructor Detail

OutdatedStateManager

public OutdatedStateManager()

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 an OperationCanceledError 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)