de.learnlib.api.oracle.parallelism

Class BatchInterruptedException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.learnlib.api.oracle.parallelism.BatchInterruptedException

All Implemented Interfaces:

Serializable

public class BatchInterruptedException
extends RuntimeException

Exception that is thrown if a parallel batch is interrupted during processing. Note that we cannot rethrow the InterruptedException since the throws specification of BatchProcessor.processBatch(Collection) does not allow doing so.

Author:

Malte Isberner

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BatchInterruptedException(Throwable cause)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

BatchInterruptedException

public BatchInterruptedException(Throwable cause)