galois.runtime
Class IterationAbortException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              galois.runtime.IterationAbortException

All Implemented Interfaces:

Serializable

public final class IterationAbortException
extends RuntimeException

Thrown when an iteration must abort itself.

See Also:

Serialized Form

Method Summary

static void

throwException() Throws IterationAbortException.

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Method Detail

throwException

public static void throwException()

Throws IterationAbortException.