Struct AllocRef

pub struct AllocRef<'a, 'tcx, Prov: Provenance, Extra, Bytes: AllocBytes = Box<[u8]>> {
    alloc: &'a Allocation<Prov, Extra, Bytes>,
    range: AllocRange,
    tcx: TyCtxt<'tcx>,
    alloc_id: AllocId,
}

A reference to some allocation that was already bounds-checked for the given region and had the on-access machine hooks run.

Fields

alloc: &'a Allocation<Prov, Extra, Bytes>

range: AllocRange

tcx: TyCtxt<'tcx>

alloc_id: AllocId

Implementations

impl<'a, 'tcx, Prov: Provenance, Extra, Bytes: AllocBytes> AllocRef<'a, 'tcx, Prov, Extra, Bytes>

pub fn read_scalar( &self, range: AllocRange, read_provenance: bool, ) -> InterpResult<'tcx, Scalar<Prov>>

range is relative to this allocation reference, not the base of the allocation.

pub fn read_integer( &self, range: AllocRange, ) -> InterpResult<'tcx, Scalar<Prov>>

range is relative to this allocation reference, not the base of the allocation.

pub fn read_pointer(&self, offset: Size) -> InterpResult<'tcx, Scalar<Prov>>

offset is relative to this allocation reference, not the base of the allocation.

pub fn get_bytes_strip_provenance<'b>(&'b self) -> InterpResult<'tcx, &'a [u8]>

range is relative to this allocation reference, not the base of the allocation.

pub fn has_provenance(&self) -> bool

Returns whether the allocation has provenance anywhere in the range of the AllocRef.

Trait Implementations

impl<'a, 'tcx, Prov: Clone + Provenance, Extra: Clone, Bytes: Clone + AllocBytes> Clone for AllocRef<'a, 'tcx, Prov, Extra, Bytes>

fn clone(&self) -> AllocRef<'a, 'tcx, Prov, Extra, Bytes>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, 'tcx, Prov: Copy + Provenance, Extra: Copy, Bytes: Copy + AllocBytes> Copy for AllocRef<'a, 'tcx, Prov, Extra, Bytes>

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: 40 bytes