org.eclipse.xtext.resource

Class OutdatedStateManager

java.lang.Object

org.eclipse.xtext.resource.OutdatedStateManager

public class OutdatedStateManager
extends Object

Since:

2.8

Author:

Sven Efftinge - Initial contribution and API

Constructor Summary

Constructors

Constructor and Description
OutdatedStateManager()

Method Summary

Methods

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(IUnitOfWork<R,P> work, P param)
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 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(IUnitOfWork<R,P> work,
                                                           P param)