28 lines
906 B
Java
28 lines
906 B
Java
|
/*
|
||
|
|
* EarlyExit.java 2005-05-02
|
||
|
|
*
|
||
|
|
* Dirk Ansorge, FernUniversitaet Hagen
|
||
|
|
*
|
||
|
|
*/
|
||
|
|
|
||
|
|
package twodsack.operation.setoperation;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* An EarlyExit exception is used to allow to drop out of certain operations implemented in {@link SetOps}. An
|
||
|
|
* EarlyExit flag must be set when calling one of these operations. Then, at some point during the execution of the
|
||
|
|
* operation, it may be clear that the result will be <tt>true</tt> or <tt>false</tt>. An EarlyExit exception is then thrown, immediately.
|
||
|
|
* The calling method catches the exception and has the result much earlier than when waiting for the whole
|
||
|
|
* set operation to finish.
|
||
|
|
*/
|
||
|
|
public class EarlyExit extends Exception {
|
||
|
|
/**
|
||
|
|
* The 'empty' constructor.
|
||
|
|
*/
|
||
|
|
public EarlyExit() { super(); }
|
||
|
|
|
||
|
|
/**
|
||
|
|
* A constructor which allows to pass a message.
|
||
|
|
*/
|
||
|
|
public EarlyExit(String s) { super(s); }
|
||
|
|
}//end Exception EarlyExit
|