Struct rustc_smir::rustc_smir::context::TablesWrapper
source · pub struct TablesWrapper<'tcx>(pub RefCell<Tables<'tcx>>);Tuple Fields§
§0: RefCell<Tables<'tcx>>Trait Implementations§
source§impl<'tcx> Context for TablesWrapper<'tcx>
impl<'tcx> Context for TablesWrapper<'tcx>
source§fn instance_name(&self, def: InstanceDef, trimmed: bool) -> Symbol
fn instance_name(&self, def: InstanceDef, trimmed: bool) -> Symbol
Retrieve the instance name for diagnostic messages.
This will return the specialized name, e.g., Vec<char>::new.
source§fn target_info(&self) -> MachineInfo
fn target_info(&self) -> MachineInfo
Return information about the target machine.
fn entry_fn(&self) -> Option<CrateItem>
source§fn all_local_items(&self) -> CrateItems
fn all_local_items(&self) -> CrateItems
Retrieve all items of the local crate that have a MIR associated with them.
source§fn mir_body(&self, item: DefId) -> Body
fn mir_body(&self, item: DefId) -> Body
Retrieve the body of a function.
This function will panic if the body is not available.
fn all_trait_decls(&self) -> TraitDecls
fn trait_decls(&self, crate_num: CrateNum) -> TraitDecls
fn trait_decl(&self, trait_def: &TraitDef) -> TraitDecl
fn all_trait_impls(&self) -> ImplTraitDecls
fn trait_impls(&self, crate_num: CrateNum) -> ImplTraitDecls
fn trait_impl(&self, impl_def: &ImplDef) -> ImplTrait
fn generics_of(&self, def_id: DefId) -> Generics
fn predicates_of(&self, def_id: DefId) -> GenericPredicates
fn explicit_predicates_of(&self, def_id: DefId) -> GenericPredicates
source§fn local_crate(&self) -> Crate
fn local_crate(&self) -> Crate
Get information about the local crate.
source§fn external_crates(&self) -> Vec<Crate>
fn external_crates(&self) -> Vec<Crate>
Retrieve a list of all external crates.
source§fn span_to_string(&self, span: Span) -> String
fn span_to_string(&self, span: Span) -> String
Returns printable, human readable form of
Spansource§fn get_filename(&self, span: &Span) -> Filename
fn get_filename(&self, span: &Span) -> Filename
Return filename from given
Span, for diagnostic purposessource§fn is_foreign_item(&self, item: DefId) -> bool
fn is_foreign_item(&self, item: DefId) -> bool
Returns whether this is a foreign item.
source§fn adt_is_box(&self, def: AdtDef) -> bool
fn adt_is_box(&self, def: AdtDef) -> bool
Returns if the ADT is a box.
source§fn adt_is_simd(&self, def: AdtDef) -> bool
fn adt_is_simd(&self, def: AdtDef) -> bool
Returns whether this ADT is simd.
source§fn adt_is_cstr(&self, def: AdtDef) -> bool
fn adt_is_cstr(&self, def: AdtDef) -> bool
Returns whether this definition is a C string.
source§fn fn_sig(&self, def: FnDef, args: &GenericArgs) -> PolyFnSig
fn fn_sig(&self, def: FnDef, args: &GenericArgs) -> PolyFnSig
Retrieve the function signature for the given generic arguments.
source§fn closure_sig(&self, args: &GenericArgs) -> PolyFnSig
fn closure_sig(&self, args: &GenericArgs) -> PolyFnSig
Retrieve the closure signature for the given generic arguments.
source§fn adt_variants_len(&self, def: AdtDef) -> usize
fn adt_variants_len(&self, def: AdtDef) -> usize
The number of variants in this ADT.
source§fn variant_name(&self, def: VariantDef) -> Symbol
fn variant_name(&self, def: VariantDef) -> Symbol
The name of a variant.
fn variant_fields(&self, def: VariantDef) -> Vec<FieldDef>
source§fn eval_target_usize(&self, cnst: &Const) -> Result<u64, Error>
fn eval_target_usize(&self, cnst: &Const) -> Result<u64, Error>
Evaluate constant as a target usize.
source§fn usize_to_const(&self, val: u64) -> Result<Const, Error>
fn usize_to_const(&self, val: u64) -> Result<Const, Error>
Create a target usize constant for the given value.
source§fn new_rigid_ty(&self, kind: RigidTy) -> Ty
fn new_rigid_ty(&self, kind: RigidTy) -> Ty
Create a new type from the given kind.
source§fn new_box_ty(&self, ty: Ty) -> Ty
fn new_box_ty(&self, ty: Ty) -> Ty
Create a new box type,
Box<T>, for the given inner type T.source§fn def_ty_with_args(&self, item: DefId, args: &GenericArgs) -> Ty
fn def_ty_with_args(&self, item: DefId, args: &GenericArgs) -> Ty
Returns the type of given definition instantiated with the given arguments.
source§fn const_literal(&self, cnst: &Const) -> String
fn const_literal(&self, cnst: &Const) -> String
Returns literal value of a const as a string.
source§fn span_of_an_item(&self, def_id: DefId) -> Span
fn span_of_an_item(&self, def_id: DefId) -> Span
Span of an itemfn rigid_ty_discriminant_ty(&self, ty: &RigidTy) -> Ty
source§fn instance_body(&self, def: InstanceDef) -> Option<Body>
fn instance_body(&self, def: InstanceDef) -> Option<Body>
Get the body of an Instance which is already monomorphized.
source§fn instance_ty(&self, def: InstanceDef) -> Ty
fn instance_ty(&self, def: InstanceDef) -> Ty
Get the instance type with generic substitutions applied and lifetimes erased.
source§fn instance_args(&self, def: InstanceDef) -> GenericArgs
fn instance_args(&self, def: InstanceDef) -> GenericArgs
Get the instantiation types.
source§fn instance_abi(&self, def: InstanceDef) -> Result<FnAbi, Error>
fn instance_abi(&self, def: InstanceDef) -> Result<FnAbi, Error>
Get an instance ABI.
source§fn instance_def_id(&self, def: InstanceDef) -> DefId
fn instance_def_id(&self, def: InstanceDef) -> DefId
Get the instance.
source§fn instance_mangled_name(&self, instance: InstanceDef) -> Symbol
fn instance_mangled_name(&self, instance: InstanceDef) -> Symbol
Get the instance mangled name.
source§fn is_empty_drop_shim(&self, def: InstanceDef) -> bool
fn is_empty_drop_shim(&self, def: InstanceDef) -> bool
Check if this is an empty DropGlue shim.
source§fn mono_instance(&self, def_id: DefId) -> Instance
fn mono_instance(&self, def_id: DefId) -> Instance
Convert a non-generic crate item into an instance.
This function will panic if the item is generic.
source§fn requires_monomorphization(&self, def_id: DefId) -> bool
fn requires_monomorphization(&self, def_id: DefId) -> bool
Item requires monomorphization.
source§fn resolve_instance(&self, def: FnDef, args: &GenericArgs) -> Option<Instance>
fn resolve_instance(&self, def: FnDef, args: &GenericArgs) -> Option<Instance>
Resolve an instance from the given function definition and generic arguments.
source§fn resolve_drop_in_place(&self, ty: Ty) -> Instance
fn resolve_drop_in_place(&self, ty: Ty) -> Instance
Resolve an instance for drop_in_place for the given type.
source§fn resolve_for_fn_ptr(&self, def: FnDef, args: &GenericArgs) -> Option<Instance>
fn resolve_for_fn_ptr(&self, def: FnDef, args: &GenericArgs) -> Option<Instance>
Resolve instance for a function pointer.
source§fn resolve_closure(
&self,
def: ClosureDef,
args: &GenericArgs,
kind: ClosureKind
) -> Option<Instance>
fn resolve_closure( &self, def: ClosureDef, args: &GenericArgs, kind: ClosureKind ) -> Option<Instance>
Resolve instance for a closure with the requested type.
source§fn eval_instance(
&self,
def: InstanceDef,
const_ty: Ty
) -> Result<Allocation, Error>
fn eval_instance( &self, def: InstanceDef, const_ty: Ty ) -> Result<Allocation, Error>
Try to evaluate an instance into a constant.
source§fn eval_static_initializer(&self, def: StaticDef) -> Result<Allocation, Error>
fn eval_static_initializer(&self, def: StaticDef) -> Result<Allocation, Error>
Evaluate a static’s initializer.
source§fn global_alloc(&self, alloc: AllocId) -> GlobalAlloc
fn global_alloc(&self, alloc: AllocId) -> GlobalAlloc
Retrieve global allocation for the given allocation ID.
source§fn vtable_allocation(&self, global_alloc: &GlobalAlloc) -> Option<AllocId>
fn vtable_allocation(&self, global_alloc: &GlobalAlloc) -> Option<AllocId>
Retrieve the id for the virtual table.
fn krate(&self, def_id: DefId) -> Crate
source§fn layout_shape(&self, id: Layout) -> LayoutShape
fn layout_shape(&self, id: Layout) -> LayoutShape
Get the layout shape.
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for TablesWrapper<'tcx>
impl<'tcx> !Send for TablesWrapper<'tcx>
impl<'tcx> !Sync for TablesWrapper<'tcx>
impl<'tcx> Unpin for TablesWrapper<'tcx>
impl<'tcx> !UnwindSafe for TablesWrapper<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 408 bytes