Package it.unibo.tuprolog.solve.exception

Types

class HaltException( val exitStatus: Int = 0, message: String? = "Resolution has been halted with exit code ", cause: Throwable? = null, val contexts: Array<ExecutionContext>) : ResolutionException

An exception thrown if there are problems during state machine execution, and solution process should be halted

abstract class LogicError( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>, val type: <ERROR CLASS>, val extraData: <ERROR CLASS>? = null) : ResolutionException

Base class for errors which may occur during resolution, possibly because of Primitives execution

open class ResolutionException( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>)

An exception that could occur during Solver execution

class TimeOutException( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>, val exceededDuration: TimeDuration) : ResolutionException

Exception thrown if time for execution finished, before completion of solution process

abstract class Warning( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>) : ResolutionException

Base class for Prolog warnings