MisarPostException class

Any non-2xx answer from the MisarPost API, or a transport failure (status 0).

Implemented types
Implementers

Constructors

MisarPostException(int status, String message, {String code = 'api_error', Object? body})

Properties

body → Object?
The decoded error body.
final
code → String
Machine code from the body's code, e.g. insufficient_scope.
final
hashCode → int
The hash code for this object.
no setterinherited
isForbidden → bool
The key is valid but lacks the scope this endpoint requires.
no setter
isUnauthorized → bool
The key was rejected outright: missing, revoked, expired, or another product's.
no setter
message → String
final
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
status → int
HTTP status; 0 for a network failure.
final

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() → String
A string representation of this object.
override

Operators

operator ==(Object other) → bool
The equality operator.
inherited