Trait miri::Projectable

pub trait Projectable<'tcx, Prov>: Sized + Debugwhere
    Prov: Provenance,{
    // Required methods
    fn layout(&self) -> TyAndLayout<'tcx, Ty<'tcx>>;
    fn meta(&self) -> MemPlaceMeta<Prov>;
    fn offset_with_meta<'mir, M>(
        &self,
        offset: Size,
        meta: MemPlaceMeta<Prov>,
        layout: TyAndLayout<'tcx, Ty<'tcx>>,
        ecx: &InterpCx<'mir, 'tcx, M>
    ) -> Result<Self, InterpErrorInfo<'tcx>>
       where M: Machine<'mir, 'tcx, Provenance = Prov>;
    fn to_op<'mir, M>(
        &self,
        ecx: &InterpCx<'mir, 'tcx, M>
    ) -> Result<OpTy<'tcx, <M as Machine<'mir, 'tcx>>::Provenance>, InterpErrorInfo<'tcx>>
       where M: Machine<'mir, 'tcx, Provenance = Prov>;

    // Provided methods
    fn len<'mir, M>(
        &self,
        ecx: &InterpCx<'mir, 'tcx, M>
    ) -> Result<u64, InterpErrorInfo<'tcx>>
       where M: Machine<'mir, 'tcx, Provenance = Prov> { ... }
    fn offset<'mir, M>(
        &self,
        offset: Size,
        layout: TyAndLayout<'tcx, Ty<'tcx>>,
        ecx: &InterpCx<'mir, 'tcx, M>
    ) -> Result<Self, InterpErrorInfo<'tcx>>
       where M: Machine<'mir, 'tcx, Provenance = Prov> { ... }
    fn transmute<'mir, M>(
        &self,
        layout: TyAndLayout<'tcx, Ty<'tcx>>,
        ecx: &InterpCx<'mir, 'tcx, M>
    ) -> Result<Self, InterpErrorInfo<'tcx>>
       where M: Machine<'mir, 'tcx, Provenance = Prov> { ... }
}

A thing that we can project into, and that has a layout.

Required Methods

fn layout(&self) -> TyAndLayout<'tcx, Ty<'tcx>>

Get the layout.

fn meta(&self) -> MemPlaceMeta<Prov>

Get the metadata of a wide value.

fn offset_with_meta<'mir, M>( &self, offset: Size, meta: MemPlaceMeta<Prov>, layout: TyAndLayout<'tcx, Ty<'tcx>>, ecx: &InterpCx<'mir, 'tcx, M> ) -> Result<Self, InterpErrorInfo<'tcx>>where M: Machine<'mir, 'tcx, Provenance = Prov>,

Offset the value by the given amount, replacing the layout and metadata.

fn to_op<'mir, M>( &self, ecx: &InterpCx<'mir, 'tcx, M> ) -> Result<OpTy<'tcx, <M as Machine<'mir, 'tcx>>::Provenance>, InterpErrorInfo<'tcx>>where M: Machine<'mir, 'tcx, Provenance = Prov>,

Convert this to an OpTy. This might be an irreversible transformation, but is useful for reading from this thing.

Provided Methods

fn len<'mir, M>( &self, ecx: &InterpCx<'mir, 'tcx, M> ) -> Result<u64, InterpErrorInfo<'tcx>>where M: Machine<'mir, 'tcx, Provenance = Prov>,

Get the length of a slice/string/array stored here.

fn offset<'mir, M>( &self, offset: Size, layout: TyAndLayout<'tcx, Ty<'tcx>>, ecx: &InterpCx<'mir, 'tcx, M> ) -> Result<Self, InterpErrorInfo<'tcx>>where M: Machine<'mir, 'tcx, Provenance = Prov>,

fn transmute<'mir, M>( &self, layout: TyAndLayout<'tcx, Ty<'tcx>>, ecx: &InterpCx<'mir, 'tcx, M> ) -> Result<Self, InterpErrorInfo<'tcx>>where M: Machine<'mir, 'tcx, Provenance = Prov>,

Implementors