charon_lib::transform::ctx

Trait TransformPass

source
pub trait TransformPass: Sync {
    // Required method
    fn transform_ctx(&self, ctx: &mut TransformCtx<'_>);

    // Provided method
    fn name(&self) -> &str { ... }
}
Expand description

A pass that transforms the crate data.

Required Methods§

source

fn transform_ctx(&self, ctx: &mut TransformCtx<'_>)

Provided Methods§

source

fn name(&self) -> &str

The name of the pass, used for debug logging. The default implementation uses the type name.

Implementors§

source§

impl TransformPass for Check

source§

impl TransformPass for charon_lib::transform::filter_invisible_trait_impls::Transform

source§

impl TransformPass for charon_lib::transform::hide_marker_traits::Transform

source§

impl TransformPass for charon_lib::transform::lift_associated_item_clauses::Transform