alice.tuprolog
Class HaltException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byalice.tuprolog.PrologException
              extended byalice.tuprolog.HaltException
All Implemented Interfaces:
java.io.Serializable

public class HaltException
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
HaltException()
           
HaltException(int haltType)
           
 
Method Summary
 int getValue()
           
 
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
 

Constructor Detail

HaltException

public HaltException()

HaltException

public HaltException(int haltType)
Method Detail

getValue

public int getValue()