Enum miri::borrow_tracker::stacked_borrows::item::Permission

source ·
pub enum Permission {
    Unique,
    SharedReadWrite,
    SharedReadOnly,
    Disabled,
}
Expand description

Indicates which permission is granted (by this item to some pointers)

Variants§

§

Unique

Grants unique mutable access.

§

SharedReadWrite

Grants shared mutable access.

§

SharedReadOnly

Grants shared read-only access.

§

Disabled

Grants no access, but separates two groups of SharedReadWrite so they are not all considered mutually compatible.

Implementations§

source§

impl Permission

source

const UNIQUE: u64 = 0u64

source

const SHARED_READ_WRITE: u64 = 1u64

source

const SHARED_READ_ONLY: u64 = 2u64

source

const DISABLED: u64 = 3u64

source

fn to_bits(self) -> u64

source

fn from_bits(perm: u64) -> Self

source§

impl Permission

We need to make at least the following things true:

U1: After creating a Uniq, it is at the top. U2: If the top is Uniq, accesses must be through that Uniq or remove it. U3: If an access happens with a Uniq, it requires the Uniq to be in the stack.

F1: After creating a &, the parts outside UnsafeCell have our SharedReadOnly on top. F2: If a write access happens, it pops the SharedReadOnly. This has three pieces: F2a: If a write happens granted by an item below our SharedReadOnly, the SharedReadOnly gets popped. F2b: No SharedReadWrite or Unique will ever be added on top of our SharedReadOnly. F3: If an access happens with an & outside UnsafeCell, it requires the SharedReadOnly to still be in the stack. Core relation on Permission to define which accesses are allowed

source

fn grants(self, access: AccessKind) -> bool

This defines for a given permission, whether it permits the given kind of access.

Trait Implementations§

source§

impl Clone for Permission

source§

fn clone(&self) -> Permission

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Permission

source§

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

Formats the value using the given formatter. Read more
source§

impl Hash for Permission

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for Permission

source§

fn eq(&self, other: &Permission) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Copy for Permission

source§

impl Eq for Permission

source§

impl StructuralPartialEq for Permission

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

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: 1 byte

Size for each variant:

  • Unique: 0 bytes
  • SharedReadWrite: 0 bytes
  • SharedReadOnly: 0 bytes
  • Disabled: 0 bytes