Struct FmtCtx

pub struct FmtCtx<'a> {
    pub translated: Option<&'a TranslatedCrate>,
    pub generics: BindingStack<Cow<'a, GenericParams>>,
    pub locals: Option<&'a Locals>,
    pub indent_level: usize,
}

Context for formatting.

Fields

translated: Option<&'a TranslatedCrate>

generics: BindingStack<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 Locals>

indent_level: usize

Implementations

impl<'a> FmtCtx<'a>

pub fn new() -> Self

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

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

Print the whole definition.

fn reborrow<'b>(&'b self) -> FmtCtx<'b>

Trait Implementations

impl<'c> AstFormatter for FmtCtx<'c>

type Reborrow<'a> = FmtCtx<'a> where Self: 'a

fn get_crate(&self) -> Option<&TranslatedCrate>

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

fn set_locals<'a>(&'a self, locals: &'a Locals) -> Self::Reborrow<'a>

fn push_binder<'a>( &'a self, new_params: Cow<'a, GenericParams>, ) -> Self::Reborrow<'a>

fn increase_indent<'a>(&'a self) -> Self::Reborrow<'a>

fn indent(&self) -> String

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

fn format_bound_var<Id: Idx + Display, T>( &self, f: &mut Formatter<'_>, var: DeBruijnVar<Id>, var_prefix: &str, fmt_var: impl Fn(&T) -> Option<String>, ) -> Result

where GenericParams: HasVectorOf<Id, Output = T>,

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

fn format_enum_variant( &self, f: &mut Formatter<'_>, type_id: TypeDeclId, variant_id: VariantId, ) -> Result

fn format_field_name( &self, f: &mut Formatter<'_>, type_id: TypeDeclId, opt_variant_id: Option<VariantId>, field_id: FieldId, ) -> Result

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

fn default() -> FmtCtx<'a>

Returns the “default value” for a type.