solve/it.unibo.tuprolog.solve.library.exception/LibraryException

LibraryException

open class LibraryException(message: String? = null, cause: Throwable? = null) : TuPrologException

Base class for exceptions related to loading/unloading it.unibo.tuprolog.solve.library.Library instances into a it.unibo.tuprolog.solve.library.Runtime. Unlike it.unibo.tuprolog.solve.exception.ResolutionException, this is a plain Kotlin exception, thrown by it.unibo.tuprolog.solve.library.Runtime mutating operations rather than carried as a it.unibo.tuprolog.solve.Solution.Halt.

Parameters

message

the detail message string.

cause

the cause of this exception.

Inheritors

AlreadyLoadedLibraryException

NoSuchALibraryException

Constructors

LibraryException

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

constructor(cause: Throwable?)

Properties

expect open val cause: Throwable?

expect open val message: String?