Wolfram/ErrorTools | Paclet Repository

Utilities for failing fast and informatively when a program state was reached that the programmer didn't intend or anticipate. These utilities should not be used to raise errors that are expected by the programmer.

RaiseAssert

— raise a

Failure

[

AssertFailedError

,…]

if the specified condition is not true, with an optional custom error message

ConfirmReplace

— apply a rule or list of rules in an attempt to transform the specified expr, raising a

Failure

[

ConfirmReplaceError

,…]

if no rule matches

SetFallthroughError

— set a "fallthrough" down value on the specified symbol that raises a

Failure

[

DownValueFallthroughError

,…]

if no other down values match

Error Propagation & Composition

RaiseConfirm

— if the argument expression is a Failure, raise it, otherwise return it

WrapFailure

— wraps an existing

Failure

in a new

Failure

with the specified error tag and formatted message, and with a

"CausedBy"origFailure

field

WrapRaised

— wrap an uncaught raised

Failure

in a new

Failure

with the specified error tag and formatted message, and with a

"CausedBy"origFailure

field

Built-In Error Types

AssertFailedError

— error tag raised by

RaiseAssert

DownValueFallthroughError

— error tag raised by

SetFallthroughError

functions on fallthrough

ConfirmReplaceError

— error tag raised by

ConfirmReplace

TechNotes

▪

Error Handling With Error Tools