Struct FmtCtx

pub struct FmtCtx<'a> {
    pub translated: Option<&'a TranslatedCrate>,
    pub generics: VecDeque<Cow<'a, GenericParams>>,
    pub locals: Option<&'a Vector<VarId, Var>>,
}

For formatting.

Note that we use the ULLBC definitions, even when formatting LLBC definitions. It doesn’t really matter, as all we use is the name of the definitions.

Remark: we take shared borrows to the top-level declarations, but clone the generics, because we may dive into different contexts and may need to update those. We can think of a smarter way of doing this, but for now it is simple and efficient enough.

Fields

translated: Option<&'a TranslatedCrate>

generics: VecDeque<Cow<'a, GenericParams>>

Generics form a stack, where each binder introduces a new level. For DeBruijn indices to work, we keep the innermost parameters at the start of the vector.

locals: Option<&'a Vector<VarId, Var>>

Implementations

impl<'a> FmtCtx<'a>

pub fn new() -> Self

pub fn format_decl_id(&self, id: AnyTransId) -> String

pub fn get_item( &self, id: AnyTransId, ) -> Result<AnyTransItem<'_>, Option<&Name>>

fn format_any_decl(&self, id: AnyTransId) -> String

Trait Implementations

impl<'a> DeclFormatter<FunDeclId> for FmtCtx<'a>

fn format_decl(&self, id: FunDeclId) -> String

impl<'a> DeclFormatter<GlobalDeclId> for FmtCtx<'a>

fn format_decl(&self, id: GlobalDeclId) -> String

impl<'a> DeclFormatter<TraitDeclId> for FmtCtx<'a>

fn format_decl(&self, id: TraitDeclId) -> String

impl<'a> DeclFormatter<TraitImplId> for FmtCtx<'a>

fn format_decl(&self, id: TraitImplId) -> String

impl<'a> DeclFormatter<TypeDeclId> for FmtCtx<'a>

fn format_decl(&self, id: TypeDeclId) -> String

impl<'a> Default for FmtCtx<'a>

fn default() -> FmtCtx<'a>

Returns the “default value” for a type.

impl<'a> Formatter<&Block> for FmtCtx<'a>

fn format_object(&self, x: &Block) -> String

impl<'a> Formatter<&FunDecl> for FmtCtx<'a>

fn format_object(&self, def: &FunDecl) -> String

impl<'a> Formatter<&FunSig> for FmtCtx<'a>

fn format_object(&self, x: &FunSig) -> String

impl<'a> Formatter<&GExprBody<Block>> for FmtCtx<'a>

fn format_object(&self, body: &ExprBody) -> String

impl<'a> Formatter<&GExprBody<Vector<BlockId, BlockData>>> for FmtCtx<'a>

fn format_object(&self, body: &ExprBody) -> String

impl<'a> Formatter<&GlobalDecl> for FmtCtx<'a>

fn format_object(&self, def: &GlobalDecl) -> String

impl<'a> Formatter<&ImplElem> for FmtCtx<'a>

fn format_object(&self, elem: &ImplElem) -> String

impl<'a> Formatter<&RegionVar> for FmtCtx<'a>

fn format_object(&self, var: &RegionVar) -> String

impl<'a> Formatter<&TraitDecl> for FmtCtx<'a>

fn format_object(&self, def: &TraitDecl) -> String

impl<'a> Formatter<&TraitImpl> for FmtCtx<'a>

fn format_object(&self, def: &TraitImpl) -> String

impl<'a> Formatter<&Ty> for FmtCtx<'a>

fn format_object(&self, x: &Ty) -> String

impl<'a> Formatter<&TypeDecl> for FmtCtx<'a>

fn format_object(&self, def: &TypeDecl) -> String

impl<'a> Formatter<&Vector<BlockId, BlockData>> for FmtCtx<'a>

fn format_object(&self, x: &Vector<BlockId, BlockData>) -> String

impl<'a> Formatter<(DeBruijnId, RegionId)> for FmtCtx<'a>

fn format_object(&self, (grid, id): (DeBruijnId, RegionId)) -> String

impl<'a> Formatter<(TypeDeclId, Option<VariantId>, FieldId)> for FmtCtx<'a>

For struct/enum values: retrieve a field name

fn format_object(&self, id: (TypeDeclId, Option<VariantId>, FieldId)) -> String

impl<'a> Formatter<(TypeDeclId, VariantId)> for FmtCtx<'a>

For enum values: List::Cons

fn format_object(&self, id: (TypeDeclId, VariantId)) -> String

impl<'a> Formatter<AnyTransId> for FmtCtx<'a>

fn format_object(&self, id: AnyTransId) -> String

impl<'a> Formatter<BodyId> for FmtCtx<'a>

fn format_object(&self, id: BodyId) -> String

impl<'a> Formatter<ConstGenericVarId> for FmtCtx<'a>

fn format_object(&self, id: ConstGenericVarId) -> String

impl<'a> Formatter<FunDeclId> for FmtCtx<'a>

fn format_object(&self, id: FunDeclId) -> String

impl<'a> Formatter<GlobalDeclId> for FmtCtx<'a>

fn format_object(&self, id: GlobalDeclId) -> String

impl<'a> Formatter<TraitClauseId> for FmtCtx<'a>

fn format_object(&self, id: TraitClauseId) -> String

impl<'a> Formatter<TraitDeclId> for FmtCtx<'a>

fn format_object(&self, id: TraitDeclId) -> String

impl<'a> Formatter<TraitImplId> for FmtCtx<'a>

fn format_object(&self, id: TraitImplId) -> String

impl<'a> Formatter<TypeDeclId> for FmtCtx<'a>

fn format_object(&self, id: TypeDeclId) -> String

impl<'a> Formatter<TypeVarId> for FmtCtx<'a>

fn format_object(&self, id: TypeVarId) -> String

impl<'a> Formatter<VarId> for FmtCtx<'a>

fn format_object(&self, id: VarId) -> String

impl<'a, 'b> PushBoundRegions<'a> for FmtCtx<'b>

type C = FmtCtx<'a>

fn push_bound_regions( &'a self, regions: &'a Vector<RegionId, RegionVar>, ) -> Self::C

impl<'a, 'b> SetGenerics<'a> for FmtCtx<'b>

type C = FmtCtx<'a>

fn set_generics(&'a self, generics: &'a GenericParams) -> Self::C

impl<'a, 'b> SetLocals<'a> for FmtCtx<'b>

type C = FmtCtx<'a>

fn set_locals(&'a self, locals: &'a Vector<VarId, Var>) -> Self::C