Struct bitvec::domain::PartialElement
source · pub struct PartialElement<'a, M, T, O>{ /* private fields */ }
Expand description
§Partially-Owned Memory Element
This type is a guarded reference to memory that permits interacting with it as
an integer, but only allows views to the section of the integer that the
producing handle has permission to observe. Unlike the BitSafe
type family in
the access
module, it is not a transparent wrapper that can be used for
reference conversion; it is a “heavy reference” that carries the mask and
§Type Parameters
T
: The type, including register width and alias information, of the bit-slice handle that created it.O
: This propagates the bit-ordering type used by theBitSlice
handle that created it.
§Lifetime
This carries the lifetime of the bit-slice handle that created it.
§Usage
This structure is only created as part of the Domain
region descriptions,
and refers to partially-occupied edge elements. The underlying referent memory
can be read with .load_value()
or written with .store_value()
, and the
appropriate masking will be applied in order to restrict access to only the
permitted bits.
Implementations§
source§impl<'a, M, T, O> PartialElement<'a, M, T, O>
impl<'a, M, T, O> PartialElement<'a, M, T, O>
sourcepub fn load_value(&self) -> T::Mem
pub fn load_value(&self) -> T::Mem
Fetches the value stored through self
and masks away extra bits.
§Returns
A bit-map containing any bits set to 1
in the governed bits. All other
bits are cleared to 0
.
sourcepub fn bounds(&self) -> (BitIdx<T::Mem>, BitEnd<T::Mem>)
pub fn bounds(&self) -> (BitIdx<T::Mem>, BitEnd<T::Mem>)
Gets the semantic head and tail indices that constrain which bits of the referent element may be accessed.
sourcepub fn into_bitslice(self) -> Reference<'a, M, BitSlice<T, O>>
pub fn into_bitslice(self) -> Reference<'a, M, BitSlice<T, O>>
Converts the partial element into a bit-slice over its governed bits.
source§impl<'a, T, O> PartialElement<'a, Mut, T, O>
impl<'a, T, O> PartialElement<'a, Mut, T, O>
sourcepub fn store_value(&mut self, value: T::Mem) -> T::Mem
pub fn store_value(&mut self, value: T::Mem) -> T::Mem
Stores a value through self
after masking away extra bits.
§Parameters
&mut self
value
: A bit-map which will be written into the governed bits. This is a bit-map store, not an integer store; the value will not be shifted into position and will only be masked directly against the bits that this partial-element governs.
§Returns
The previous value of the governed bits.
sourcepub fn invert(&mut self) -> T::Mem
pub fn invert(&mut self) -> T::Mem
Inverts the value of each bit governed by the partial-element.
§Returns
The previous value of the governed bits.
source§impl<'a, M, T, O> PartialElement<'a, M, T, O>
impl<'a, M, T, O> PartialElement<'a, M, T, O>
sourcepub fn store_value_aliased(&self, value: T::Mem) -> T::Mem
pub fn store_value_aliased(&self, value: T::Mem) -> T::Mem
Performs a store operation on a partial-element whose bits might be observed by another handle.
Trait Implementations§
source§impl<'a, T, O> Clone for PartialElement<'a, Const, T, O>
impl<'a, T, O> Clone for PartialElement<'a, Const, T, O>
source§impl<'a, M, T, O> Debug for PartialElement<'a, M, T, O>
impl<'a, M, T, O> Debug for PartialElement<'a, M, T, O>
source§impl<'a, M, T, O> Hash for PartialElement<'a, M, T, O>
impl<'a, M, T, O> Hash for PartialElement<'a, M, T, O>
impl<T, O> Copy for PartialElement<'_, Const, T, O>
Auto Trait Implementations§
impl<'a, M, T, O> Freeze for PartialElement<'a, M, T, O>
impl<'a, M, T, O> RefUnwindSafe for PartialElement<'a, M, T, O>where
M: RefUnwindSafe,
<T as BitStore>::Mem: RefUnwindSafe,
O: RefUnwindSafe,
<T as BitStore>::Access: RefUnwindSafe,
T: RefUnwindSafe,
impl<'a, M, T, O> !Send for PartialElement<'a, M, T, O>
impl<'a, M, T, O> !Sync for PartialElement<'a, M, T, O>
impl<'a, M, T, O> Unpin for PartialElement<'a, M, T, O>
impl<'a, M, T, O> UnwindSafe for PartialElement<'a, M, T, O>where
M: UnwindSafe,
<T as BitStore>::Mem: UnwindSafe,
O: UnwindSafe,
T: RefUnwindSafe,
<T as BitStore>::Access: RefUnwindSafe,
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
source§impl<T> CloneToUninit for Twhere
T: Copy,
impl<T> CloneToUninit for Twhere
T: Copy,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T> FmtForward for T
impl<T> FmtForward for T
source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self
to use its Binary
implementation when Debug
-formatted.source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self
to use its Display
implementation when
Debug
-formatted.source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self
to use its LowerExp
implementation when
Debug
-formatted.source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self
to use its LowerHex
implementation when
Debug
-formatted.source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self
to use its Octal
implementation when Debug
-formatted.source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self
to use its Pointer
implementation when
Debug
-formatted.source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self
to use its UpperExp
implementation when
Debug
-formatted.source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self
to use its UpperHex
implementation when
Debug
-formatted.source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moresource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moresource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.source§impl<T> Tap for T
impl<T> Tap for T
source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read moresource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read moresource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read moresource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read moresource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read moresource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read moresource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.