solve/it.unibo.tuprolog.solve.exception.error/SystemError/Companion

Companion

object Companion

Properties

typeFunctor

const val typeFunctor: String

The system error Struct functor

Functions

forUncaughtError

@JvmStatic

fun forUncaughtError(exception: LogicError): SystemError

Creates a SystemError wrapping another LogicError that was itself left uncaught, reusing its LogicError.contexts.

forUncaughtException

@JvmStatic

fun forUncaughtException(context: ExecutionContext, exception: Term): SystemError

Creates a SystemError wrapping an uncaught Prolog exception term, i.e. one not recognized as any known LogicError type.

@JvmStatic

fun forUncaughtException(context: ExecutionContext, exception: Throwable): SystemError

Creates a SystemError wrapping an uncaught Kotlin exception (as opposed to a Prolog LogicError), e.g. one thrown by faulty primitive/library implementation code, setting it as SystemError.cause.