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

ensuringArgumentIsObjectRef

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

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

Throws

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

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