org.eclipse.xtext.service

Class OperationCanceledManager

java.lang.Object

org.eclipse.xtext.service.OperationCanceledManager

public class OperationCanceledManager
extends 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 Error	asWrappingOperationCanceledException(Throwable throwable)
void	checkCanceled(CancelIndicator indicator)
protected RuntimeException	getPlatformOperationCanceledException(Throwable t)
protected RuntimeException	getPlatformSpecificOperationCanceledException()
boolean	isOperationCanceledException(Throwable t)
void	propagateAsErrorIfCancelException(Throwable t) Rethrows OperationCanceledErrors and wraps platform specific OperationCanceledExceptions.
void	propagateIfCancelException(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 RuntimeException getPlatformOperationCanceledException(Throwable t)

isOperationCanceledException

public boolean isOperationCanceledException(Throwable t)

propagateAsErrorIfCancelException

public void propagateAsErrorIfCancelException(Throwable t)

Rethrows OperationCanceledErrors and wraps platform specific OperationCanceledExceptions. Does nothing for any other type of Throwable.

propagateIfCancelException

public void propagateIfCancelException(Throwable t)

Rethrows platform specific OperationCanceledExceptions and unwraps OperationCanceledErrors. Does nothing for any other type of Throwable.

asWrappingOperationCanceledException

protected Error asWrappingOperationCanceledException(Throwable throwable)

throwOperationCanceledException

public void throwOperationCanceledException()

getPlatformSpecificOperationCanceledException

protected RuntimeException getPlatformSpecificOperationCanceledException()

checkCanceled

public void checkCanceled(CancelIndicator indicator)