de.learnlib.oracle.parallelism

Class ParallelOracleInterruptedException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.learnlib.oracle.parallelism.ParallelOracleInterruptedException

All Implemented Interfaces:

Serializable

public class ParallelOracleInterruptedException
extends RuntimeException

Exception that is thrown if a parallel oracle is interrupted during execution. Note that we cannot rethrow the InterruptedException since the throws specification of MembershipOracle.processQueries(java.util.Collection) does not allow doing so.

Author:

Malte Isberner

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ParallelOracleInterruptedException(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

ParallelOracleInterruptedException

public ParallelOracleInterruptedException(Throwable cause)