io-lib/it.unibo.tuprolog.solve.libs.io.primitives/IOPrimitiveUtils/ensuringArgumentIsIOMode

ensuringArgumentIsIOMode

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

Ensures the argument at index is one of the read/write/append atoms, as required by open/3,4's mode argument, and returns the corresponding IOMode.

Throws

it.unibo.tuprolog.solve.exception.error.InstantiationError

if it is unbound.

TypeError

if it is bound but not an atom.

DomainError

(io_mode) if it is an atom but not one of IOMode.atomValues.