[−][src]Enum z3_sys::ErrorCode
Z3 error codes (See Z3_get_error_code
).
This corresponds to Z3_error_code
in the C API.
Variants
OK
No error.
This corresponds to Z3_OK
in the C API.
SortError
User tried to build an invalid (type incorrect) AST.
This corresponds to Z3_SORT_ERROR
in the C API.
IOB
Index out of bounds.
This corresponds to Z3_IOB
in the C API.
InvalidArg
Invalid argument was provided.
This corresponds to Z3_INVALID_ARG
in the C API.
ParserError
An error occurred when parsing a string or file.
This corresponds to Z3_PARSER_ERROR
in the C API.
NoParser
Parser output is not available, that is, user didn't invoke
Z3_parse_smtlib_string
or
Z3_parse_smtlib_file
.
This corresponds to Z3_NO_PARSER
in the C API.
InvalidPattern
Invalid pattern was used to build a quantifier.
This corresponds to Z3_INVALID_PATTERN
in the C API.
MemoutFail
A memory allocation failure was encountered.
This corresponds to Z3_MEMOUT_FAIL
in the C API.
FileAccessError
A file could not be accessed.
This corresponds to Z3_FILE_ACCESS_ERRROR
in the C API.
InternalFatal
An error internal to Z3 occurred.
This corresponds to Z3_INTERNAL_FATAL
in the C API.
InvalidUsage
API call is invalid in the current state.
This corresponds to Z3_INVALID_USAGE
in the C API.
DecRefError
Trying to decrement the reference counter of an AST that was
deleted or the reference counter was not initialized with
Z3_inc_ref
.
This corresponds to Z3_DEC_REF_ERROR
in the C API.
Exception
Internal Z3 exception. Additional details can be retrieved
using Z3_get_error_msg
.
This corresponds to Z3_EXCEPTION
in the C API.
Trait Implementations
impl PartialEq<ErrorCode> for ErrorCode
[src]
fn eq(&self, other: &ErrorCode) -> bool
[src]
#[must_use]
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests for !=
.
impl Clone for ErrorCode
[src]
fn clone(&self) -> ErrorCode
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Eq for ErrorCode
[src]
impl Copy for ErrorCode
[src]
impl Debug for ErrorCode
[src]
impl Hash for ErrorCode
[src]
Auto Trait Implementations
impl Send for ErrorCode
impl Unpin for ErrorCode
impl Sync for ErrorCode
impl UnwindSafe for ErrorCode
impl RefUnwindSafe for ErrorCode
Blanket Implementations
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,