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

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()

Methods inherited from class java.lang.Object

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

Constructor Detail

OperationCanceledManager

public OperationCanceledManager()

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)