core/it.unibo.tuprolog.core.exception/SubstitutionException

SubstitutionException

open class SubstitutionException : TuPrologException

Thrown when a Substitution was expected to be (or to produce) a Substitution.Unifier, but turned out to be a Substitution.Fail instead — e.g. by Scope.unifierOf when the given assignments are contradictory.

Inheritors

SubstitutionApplicationException

Constructors

SubstitutionException

@JvmOverloads

constructor(substitution: Substitution, message: String?, cause: Throwable? = null)

constructor(substitution: Substitution, cause: Throwable? = null)

@JvmOverloads

constructor(cause: Throwable? = null)

Types

Companion

object Companion

Properties

cause

expect open val cause: Throwable?

message

expect open val message: String?

substitution

val substitution: Substitution

The offending Substitution (typically Substitution.failed).