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

Package-level declarations

Types

AlreadyLoadedLibraryException

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

Thrown by it.unibo.tuprolog.solve.library.Runtime.plus (either overload) when the Runtime being extended already contains a library aliased the same as the one being added.

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.

NoSuchALibraryException

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

Thrown by it.unibo.tuprolog.solve.library.Runtime.minus (any overload) -- see that method's KDoc for a caveat about its actual (inverted) throw condition as currently implemented.