Package it.unibo.tuprolog.solve.exception

Types

HaltException
Link copied to clipboard
common
class HaltException(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, exitStatus: Int) : TuPrologRuntimeException
Content copied to clipboard
An exception thrown if there are problems during state machine execution, and solution process should be halted
PrologError
Link copied to clipboard
common
abstract class PrologError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, type: Struct, extraData: Term?) : TuPrologRuntimeException
Content copied to clipboard
Base class for Standard Prolog Errors and possibly other custom Primitive errors
PrologWarning
Link copied to clipboard
common
abstract class PrologWarning(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>) : TuPrologRuntimeException
Content copied to clipboard
Base class for Prolog warnings
TimeOutException
Link copied to clipboard
common
class TimeOutException(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, exceededDuration: TimeDuration) : TuPrologRuntimeException
Content copied to clipboard
Exception thrown if time for execution finished, before completion of solution process
TuPrologRuntimeException
Link copied to clipboard
common
open class TuPrologRuntimeException(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>) : TuPrologException
Content copied to clipboard
An exception that could occur during Solver execution