Trait 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 charon_lib::transform::check_generics::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

impl TransformPass for charon_lib::transform::reorder_decls::Transform

impl TransformPass for PrintCtxPass

impl TransformPass for charon_lib::transform::ullbc_to_llbc::Transform

impl TransformPass for charon_lib::transform::unbind_item_vars::Check