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

TypeEnsurer

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

Base class for unary predicates (arity 1) that always succeed if their argument is of the expected type, and throw otherwise, rather than merely testing and failing on mismatch (contrast with TypeTester). ensureType is expected to throw (typically a it.unibo.tuprolog.solve.exception.error.TypeError) on a mismatching term, and return normally otherwise.

Inheritors

EnsureExecutable

Constructors

constructor(typeName: String)

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

open val help: String

override val implementation: Primitive

Checked primitive implementation, retaining this wrapper's help metadata.

val signature: Signature

Functions

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

Template method expected to throw if term does not have the expected type, and return normally otherwise.