Struct Body 

pub struct Body<'tcx> {
    pub basic_blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>,
    pub local_decls: IndexVec<Local, LocalDecl>,
    pub dominator_order_rank: IndexVec<BasicBlock, u32>,
    fake_predecessors: IndexVec<BasicBlock, usize>,
    pub local_names: UnordMap<Local, Symbol>,
    pub rustc_body: Body<'tcx>,
}

Fields

basic_blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>

local_decls: IndexVec<Local, LocalDecl>

dominator_order_rank: IndexVec<BasicBlock, u32>

fake_predecessors: IndexVec<BasicBlock, usize>

See mk_fake_predecessors

local_names: UnordMap<Local, Symbol>

rustc_body: Body<'tcx>

A mir body that contains region identifiers.

Implementations

impl<'tcx> Body<'tcx>

pub fn new( basic_blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>, local_decls: IndexVec<Local, LocalDecl>, rustc_body: Body<'tcx>, ) -> Self

pub fn terminator_loc(&self, bb: BasicBlock) -> Location

pub fn is_join_point(&self, bb: BasicBlock) -> bool

pub fn dominators(&self) -> &Dominators<BasicBlock>

pub fn args_iter(&self) -> impl ExactSizeIterator<Item = Local>

pub fn vars_and_temps_iter(&self) -> impl ExactSizeIterator<Item = Local>

pub fn span(&self) -> Span

pub fn return_ty(&self) -> Ty

Trait Implementations

impl Debug for Body<'_>

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

Formats the value using the given formatter.