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

Companion

object Companion

Properties

typeFunctor

const val typeFunctor: String

The domain error Struct functor

Functions

forArgument

@JvmStatic

fun forArgument(context: ExecutionContext, procedure: Signature, expectedDomain: DomainError.Expected, actualValue: Term, index: Int? = null): DomainError

Creates a DomainError reporting that the (optionally index-th) argument of procedure should have belonged to expectedDomain, but actualValue was provided instead.

forFlagValues

@JvmStatic

fun forFlagValues(context: ExecutionContext, procedure: Signature, flagValues: Iterable<Term>, actualValue: Term, index: Int? = null): DomainError

Creates a DomainError reporting that the (optionally index-th) argument of procedure should have been one of flagValues, but actualValue was provided instead. Used when validating a Prolog flag value against its admissible set (see it.unibo.tuprolog.solve.flags.NotableFlag).

forGoal

@JvmStatic

fun forGoal(context: ExecutionContext, procedure: Signature, expectedDomain: DomainError.Expected, actualValue: Term): DomainError

Creates a DomainError reporting that subgoal actualValue of procedure does not belong to expectedDomain.

forTerm

@JvmStatic

fun forTerm(context: ExecutionContext, expectedDomain: DomainError.Expected, actualValue: Term): DomainError

Creates a DomainError reporting that actualValue is not a valid member of expectedDomain.