alice.tuprolog

Class HaltException

java.lang.Object

java.lang.Throwable

java.lang.Exception

alice.tuprolog.PrologException

alice.tuprolog.HaltException

All Implemented Interfaces:

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

Constructors

Constructor and Description
HaltException()
HaltException(int haltType)

Method Summary

Methods

Modifier and Type	Method and Description
int	getValue()

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

HaltException

public HaltException()

HaltException

public HaltException(int haltType)

Method Detail

getValue

public int getValue()