alice.tuprolog
Class NoHaltException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          alice.tuprolog.PrologException
              alice.tuprolog.NoHaltException

All Implemented Interfaces:

java.io.Serializable

public class NoHaltException

extends PrologException

This exception is raised when an halt code is requested and no halt predicate has been issued

See Also:

SolveInfo, Serialized Form

Constructor Summary

NoHaltException()

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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NoHaltException

public NoHaltException()