oop-lib/it.unibo.tuprolog.solve.libs.oop.primitives/ensuringArgumentIsTypeRef

ensuringArgumentIsTypeRef

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsTypeRef(index: Int): Solve.Request<C>

Like ensuringArgumentIsRef, but requiring the argument to be (or resolve, via $Alias, to) a TypeRef.

Throws

it.unibo.tuprolog.solve.exception.error.TypeError

with expected type it.unibo.tuprolog.solve.exception.error.TypeError.Expected.TYPE_REFERENCE otherwise.