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

Companion

object Companion

Properties

const val typeFunctor: String

The existence error Struct functor

Functions

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

Creates an ExistenceError reporting that procedure does not exist (i.e. is not defined in the current knowledge bases/libraries).

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

Creates an ExistenceError reporting that no resource named name exists.

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

Creates an ExistenceError reporting that no source/sink (I/O stream) named alias exists.

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

Same as forSourceSink, but alias is a raw String rather than an Atom.

fun forStream(context: ExecutionContext, steamTerm: Struct): ExistenceError

Creates an ExistenceError reporting that no stream matching steamTerm exists.

fun of(context: ExecutionContext, expectedType: ExistenceError.ObjectType, culprit: Term, message: String): ExistenceError

Creates an ExistenceError reporting that no expectedType named/identified by culprit exists.