Trait TransformPass 

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

    // Provided methods
    fn should_run(&self, _options: &TranslateOptions) -> bool { ... }
    fn name(&self) -> &str { ... }
}

A pass that transforms the crate data.

Required Methods

fn transform_ctx(&self, ctx: &mut TransformCtx)

Provided Methods

fn should_run(&self, _options: &TranslateOptions) -> bool

Whether the pass should run.

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::typecheck_and_unify::Check

impl TransformPass for charon_lib::transform::add_missing_info::compute_short_names::Transform

impl TransformPass for charon_lib::transform::add_missing_info::recover_body_comments::Transform

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

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

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

impl TransformPass for charon_lib::transform::finish_translation::insert_storage_lives::Transform

impl TransformPass for charon_lib::transform::normalize::expand_associated_types::Transform

impl TransformPass for charon_lib::transform::normalize::partial_monomorphization::Transform

impl TransformPass for charon_lib::transform::normalize::skip_trait_refs_when_known::Transform

impl TransformPass for charon_lib::transform::simplify_output::erase_body_lifetimes::Transform

impl TransformPass for charon_lib::transform::simplify_output::hide_allocator_param::Transform

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

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

impl TransformPass for charon_lib::transform::simplify_output::remove_adt_clauses::Transform

impl TransformPass for charon_lib::transform::simplify_output::remove_nops::Transform

impl TransformPass for charon_lib::transform::simplify_output::remove_unused_locals::Transform

impl TransformPass for charon_lib::transform::simplify_output::remove_unused_self_clause::Transform

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

impl TransformPass for PrintCtxPass