io-lib/it.unibo.tuprolog.solve.libs.io.exceptions/InvalidUrlException

InvalidUrlException

class InvalidUrlException : TuPrologException

Signals that a string could not be parsed into a it.unibo.tuprolog.solve.libs.io.Url, as raised internally by it.unibo.tuprolog.solve.libs.io.parseUrl and it.unibo.tuprolog.solve.libs.io.Url.Companion.of.

Predicates accepting a source/sink argument (e.g. consult/1, open/3,4) catch this exception and convert it, via toLogicError, into an ISO type_error(url, Culprit) pointing at the offending argument.

Constructors

InvalidUrlException

constructor(message: String?)

constructor(message: String?, cause: Throwable?)

constructor(cause: Throwable?)

Properties

cause

expect open val cause: Throwable?

message

expect open val message: String?

Functions

toLogicError

fun toLogicError(context: ExecutionContext, signature: Signature, culprit: Term, index: Int): LogicError

Converts this exception into a LogicError, namely a type_error(url, Culprit) at argument index of signature.