Error¶

class Error : public std::exception¶

Subclassed by stp::api::RecoverableError, stp::api::UnsafeError

Public Functions

ErrorCode code() const noexcept¶

bool recoverable() const noexcept¶: every code except RESOURCE and INTERNAL

const char *what() const noexcept override¶: one line

std::string_view function() const noexcept¶: the API function that refused

std::optional<int> argument_index() const noexcept¶: 0-based, if any

const std::vector<Term> &terms() const noexcept¶: the terms involved; none for FOREIGN_MANAGER, whose term is another manager’s, which may be in use on another thread

const std::vector<Sort> &sorts() const noexcept¶

std::string_view option() const noexcept¶: for OPTION_* codes

int line() const noexcept¶: Parse errors: 1-based line and column of the failure (0 when unknown).

int column() const noexcept¶

explicit Error(std::shared_ptr<const detail::ErrorDetails>)¶

Error(const Error&) noexcept¶

Error &operator=(const Error&) noexcept¶

~Error() override¶