Package de.learnlib.oracle.parallelism
Class BatchInterruptedException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- java.lang.RuntimeException
-
- de.learnlib.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 theInterruptedException
since thethrows
specification ofBatchProcessor.processBatch(Collection)
does not allow doing so.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor 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
-
-
-
-
Constructor Detail
-
BatchInterruptedException
public BatchInterruptedException(Throwable cause)
-
-