solve/it.unibo.tuprolog.solve.primitive/TypeEnsurer

TypeEnsurer

abstract class TypeEnsurer<E : ExecutionContext>(typeName: String) : UnaryPredicate.Predicative<E>

Constructors

fun TypeEnsurer(typeName: String)

Functions

abstract fun Solve.Request<E>.ensureType(context: E, term: <ERROR CLASS>)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

Gets this wrapped primitive description Pair formed by signature and wrapped primitive type

val functor: String

A shorthand to get the signature functor name

override val implementation: Primitive

Checked primitive implementation

val signature: Signature

Inheritors

EnsureExecutable