Module translate_ctx

The translation contexts.

Macros

error_assert 🔒

Custom assert to either panic or return an error

raise_error 🔒

Macro to either panic or return on error, depending on the CLI options

register_error 🔒

Structs

DepSource 🔒

We use this to save the origin of an id. This is useful for the external dependencies, especially if some external dependencies don’t extract: we use this information to tell the user what is the code which (transitively) lead to the extraction of those problematic dependencies.

ErrorCtx 🔒

The context for tracking and reporting errors.

ItemTransCtx 🔒

A translation context for items. Augments the TranslateCtx with type-level variables.

Level 🔒

[Message] or [Title] severity level

TranslateCtx

Translation context used while translating the crate data into our representation.

Functions

catch_sinto

Translates T into U using hax’s SInto trait, catching any hax panics.