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

Author:

Sven Efftinge - Initial contribution and API

Constructor Summary

Constructors

Constructor and Description
OperationCanceledManager()

Method Summary

Methods

Modifier and Type	Method and Description
protected java.lang.Error	asWrappingOperationCanceledException(java.lang.Throwable throwable)
void	checkCanceled(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) Rethrows 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)

Rethrows 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(CancelIndicator indicator)