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

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun forUncaughtError(exception: LogicError): SystemError
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun forUncaughtException(context: ExecutionContext, exception: <ERROR CLASS>): SystemError
Content copied to clipboard
@JvmStatic
fun forUncaughtException(context: ExecutionContext, exception: Throwable): SystemError
Content copied to clipboard

Properties

Link copied to clipboard
const val typeFunctor: String
Content copied to clipboard

The system error Struct functor