Package org.eclipse.xtext.service
Class OperationCanceledManager
- java.lang.Object
-
- org.eclipse.xtext.service.OperationCanceledManager
-
public class OperationCanceledManager extends java.lang.Object
A facade for managing and working with cancellation exceptions of different platforms.- Since:
- 2.8
-
-
Constructor Summary
Constructors Constructor Description OperationCanceledManager()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected java.lang.Error
asWrappingOperationCanceledException(java.lang.Throwable throwable)
void
checkCanceled(org.eclipse.xtext.util.CancelIndicator indicator)
protected java.lang.RuntimeException
getPlatformOperationCanceledException(java.lang.Throwable t)
protected java.lang.RuntimeException
getPlatformSpecificOperationCanceledException()
boolean
isOperationCanceledException(java.lang.Throwable t)
void
propagateAsErrorIfCancelException(java.lang.Throwable t)
Rethrows OperationCanceledErrors and wraps platform specific OperationCanceledExceptions.void
propagateIfCancelException(java.lang.Throwable t)
Re-throws platform specific OperationCanceledExceptions and unwraps OperationCanceledErrors.void
throwOperationCanceledException()
-
-
-
Method Detail
-
getPlatformOperationCanceledException
protected java.lang.RuntimeException getPlatformOperationCanceledException(java.lang.Throwable t)
-
isOperationCanceledException
public boolean isOperationCanceledException(java.lang.Throwable t)
-
propagateAsErrorIfCancelException
public void propagateAsErrorIfCancelException(java.lang.Throwable t)
Rethrows OperationCanceledErrors and wraps platform specific OperationCanceledExceptions. Does nothing for any other type of Throwable.
-
propagateIfCancelException
public void propagateIfCancelException(java.lang.Throwable t)
Re-throws platform specific OperationCanceledExceptions and unwraps OperationCanceledErrors. Does nothing for any other type of Throwable.
-
asWrappingOperationCanceledException
protected java.lang.Error asWrappingOperationCanceledException(java.lang.Throwable throwable)
-
throwOperationCanceledException
public void throwOperationCanceledException()
-
getPlatformSpecificOperationCanceledException
protected java.lang.RuntimeException getPlatformSpecificOperationCanceledException()
-
checkCanceled
public void checkCanceled(org.eclipse.xtext.util.CancelIndicator indicator)
-
-