solve/it.unibo.tuprolog.solve.exception.error/ErrorUtils

ErrorUtils

object ErrorUtils
Content copied to clipboard

Prolog error handling utilities

Author

Enrico

Functions

Link copied to clipboard
fun errorStructOf(errorDescription: <ERROR CLASS>, customErrorData: <ERROR CLASS> = Atom.of("")): <ERROR CLASS>
Content copied to clipboard

The error struct, with errorWrapperFunctor, that can be used in throw/1 predicate; It will create a struct in the form of error(errorDescription, customErrorData)

Properties

Link copied to clipboard
const val errorWrapperFunctor: String
Content copied to clipboard

The functor error used to wrap errors generated by built-ins