Struct OwnershipLayoutResult

pub struct OwnershipLayoutResult {
    layout: Vec<OwnedHeap>,
    param: bool,
    requirement: bool,
    owned: bool,
}

Fields

layout: Vec<OwnedHeap>

param: bool

requirement: bool

owned: bool

Implementations

impl OwnershipLayoutResult

pub fn new() -> Self

pub fn layout(&self) -> &Vec<OwnedHeap>

pub fn layout_mut(&mut self) -> &mut Vec<OwnedHeap>

pub fn get_param(&self) -> bool

pub fn set_param(&mut self, p: bool)

pub fn is_param_true(&self) -> bool

pub fn get_requirement(&self) -> bool

pub fn set_requirement(&mut self, r: bool)

pub fn is_requirement_true(&self) -> bool

pub fn is_empty(&self) -> bool

pub fn is_owned(&self) -> bool

pub fn set_owned(&mut self, o: bool)

pub fn update_from_default_heap_visitor<'tcx, 'a>( &mut self, default_heap: &mut DefaultOwnership<'tcx, 'a>, )

Trait Implementations

impl Clone for OwnershipLayoutResult

fn clone(&self) -> OwnershipLayoutResult

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OwnershipLayoutResult

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

Formats the value using the given formatter.