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

Companion

object Companion

Functions

fun forProcedure(context: ExecutionContext, procedure: Signature): ExistenceError

fun forResource(context: ExecutionContext, name: String): ExistenceError

fun forSourceSink(context: ExecutionContext, alias: <ERROR CLASS>): <ERROR CLASS>

fun forSourceSink(context: ExecutionContext, alias: String): ExistenceError

fun forStream(context: ExecutionContext, steamTerm: <ERROR CLASS>): ExistenceError

fun of( context: ExecutionContext, expectedType: ExistenceError.ObjectType, culprit: <ERROR CLASS>, message: String): ExistenceError

Properties

const val typeFunctor: String

The existence error Struct functor