Class OutdatedStateManager


  • public class OutdatedStateManager
    extends java.lang.Object
    Since:
    2.8
    • 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 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)