ContextErrorKind enum

The kind of error that occurred in a ContextError.

Inheritance

• Object
• Enum
• ContextErrorKind

Constructors

ContextErrorKind()

const

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

hashCode → int

The hash code for this object.

no setter, inherited

index → int

A numeric identifier for the enumerated value.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

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.