solve/it.unibo.tuprolog.solve.primitive/TypeTester

TypeTester

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

Base class for ISO type-checking predicates of arity 1 (e.g. atom/1, var/1, is_list/1): succeeds if testType returns true for the (dereferenced) argument, fails (rather than throwing) otherwise. Contrast with TypeEnsurer, which throws instead of failing.

Inheritors

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 testType(term: Term): Boolean

Template method testing whether term has the expected shape/type.