Trait charon_lib::transform::ctx::TransformPass

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

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

A pass that transforms the crate data.

Required Methods

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

Provided Methods

fn name(&self) -> &str

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

Implementors

impl TransformPass for Check

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

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

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