ContextErrorKind enum
The kind of error that occurred in a ContextError.
Values
- sortError → const ContextErrorKind
-
User tried to build an invalid AST.
- outOfBounds → const ContextErrorKind
-
Index out of bounds.
- invalidArg → const ContextErrorKind
-
Invalid argument was passed to a function.
- parserError → const ContextErrorKind
-
An error occurred while parsing a string or file.
- noParser → const ContextErrorKind
-
Parser output is not available.
- invalidPattern → const ContextErrorKind
-
An invalid pattern was used to build a quantifier.
- memoutFail → const ContextErrorKind
-
A memory allocation failure was encountered.
- fileAccessError → const ContextErrorKind
-
A file could not be accessed.
- invalidUsage → const ContextErrorKind
-
API call is invalid in the current state.
- internalFatal → const ContextErrorKind
-
A fatal error internal to Z3 occurred.
- decRefError → const ContextErrorKind
-
There was an error decrementing the reference count of an AST.
- unknown → const ContextErrorKind
-
An unknown error occured, more details may be available in the message.
Properties
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
Constants
-
values
→ const List<
ContextErrorKind> - A constant List of the values in this enum, in order of their declaration.