Struct charon_lib::transform::ctx::TransformCtx

pub struct TransformCtx<'ctx> {
    pub options: TransformOptions,
    pub translated: TranslatedCrate,
    pub errors: ErrorCtx<'ctx>,
}

Simpler context used for rustc-independent code transformation. This only depends on rustc for its error reporting machinery.

Fields

options: TransformOptions

The options that control transformation.

translated: TranslatedCrate

The translated data.

errors: ErrorCtx<'ctx>

Context for tracking and reporting errors.

Implementations

impl<'ctx> TransformCtx<'ctx>

pub(crate) fn continue_on_failure(&self) -> bool

pub(crate) fn has_errors(&self) -> bool

pub(crate) fn span_err(&mut self, span: Span, msg: &str)

Span an error and register the error.

pub(crate) fn with_def_id<F, T>( &mut self, def_id: impl Into<AnyTransId>, def_id_is_local: bool, f: F, ) -> T

where F: FnOnce(&mut Self) -> T,

pub(crate) fn with_mut_bodies<R>( &mut self, f: impl FnOnce(&mut Self, &mut Vector<BodyId, Body>) -> R, ) -> R

Get mutable access to both the ctx and the bodies.

pub(crate) fn with_mut_fun_decls<R>( &mut self, f: impl FnOnce(&mut Self, &mut Vector<FunDeclId, FunDecl>) -> R, ) -> R

Get mutable access to both the ctx and the function declarations.

pub(crate) fn with_mut_global_decls<R>( &mut self, f: impl FnOnce(&mut Self, &mut Vector<GlobalDeclId, GlobalDecl>) -> R, ) -> R

Get mutable access to both the ctx and the global declarations.

pub(crate) fn for_each_body(&mut self, f: impl FnMut(&mut Self, &mut Body))

Mutably iterate over the bodies.

pub(crate) fn for_each_structured_body( &mut self, f: impl FnMut(&mut Self, &mut ExprBody), )

pub(crate) fn for_each_fun_decl( &mut self, f: impl FnMut(&mut Self, &mut FunDecl, Result<&mut Body, Opaque>), )

Mutably iterate over the function declarations without errors.

pub(crate) fn for_each_global_decl( &mut self, f: impl FnMut(&mut Self, &mut GlobalDecl, Result<&mut Body, Opaque>), )

Mutably iterate over the global declarations without errors.

Trait Implementations

impl Display for TransformCtx<'_>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> IntoFormatter for &'a TransformCtx<'_>

type C = FmtCtx<'a>

fn into_fmt(self) -> Self::C