pub struct RamObject {
pub base: RamBase,
}Expand description
One whole-object location: the entire (extent-unknown) object addressed
by base. Minted only
from an external prototype’s pointer parameters; bodied-function scans never
mint object entries (their footprint is exhaustively classified into
fields/regions). write == true models a read+write (possibly in-out)
access — the object is both potentially read and clobbered.
Fields§
§base: RamBaseTrait Implementations§
impl Copy for RamObject
Source§impl<'de> Deserialize<'de> for RamObject
impl<'de> Deserialize<'de> for RamObject
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for RamObject
Source§impl Ord for RamObject
impl Ord for RamObject
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 (const: unstable) · Source§fn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the minimum of two values. Read more
Source§impl PartialOrd for RamObject
impl PartialOrd for RamObject
impl StructuralPartialEq for RamObject
Auto Trait Implementations§
impl Freeze for RamObject
impl RefUnwindSafe for RamObject
impl Send for RamObject
impl Sync for RamObject
impl Unpin for RamObject
impl UnsafeUnpin for RamObject
impl UnwindSafe for RamObject
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