Struct miri::borrow_tracker::tree_borrows::perms::Permission

pub struct Permission {
    inner: PermissionPriv,
}

Public interface to the state machine that controls read-write permissions. This is the “private enum” pattern.

Fields

inner: PermissionPriv

Implementations

impl Permission

pub fn short_name(self) -> &'static str

Abbreviated name of the permission (uniformly 3 letters for nice alignment).

impl Permission

pub fn is_initial(&self) -> bool

Check if self can be the initial state of a pointer.

pub fn is_disabled(&self) -> bool

Check if self is the terminal state of a pointer (is Disabled).

pub fn new_active() -> Self

Default initial permission of the root of a new tree at inbounds positions. Must only be used for the root, this is not in general an “initial” permission!

pub fn new_reserved(ty_is_freeze: bool) -> Self

Default initial permission of a reborrowed mutable reference.

pub fn new_frozen() -> Self

Default initial permission of a reborrowed shared reference.

pub fn new_disabled() -> Self

Default initial permission of the root of a new tre at out-of-bounds positions. Must only be used for the root, this is not in general an “initial” permission!

pub fn perform_access( kind: AccessKind, rel_pos: AccessRelatedness, old_perm: Self, protected: bool ) -> Option<PermTransition>

Apply the transition to the inner PermissionPriv.

Trait Implementations

impl Clone for Permission

fn clone(&self) -> Permission

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Permission

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

Formats the value using the given formatter.

impl Display for Permission

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

Formats the value using the given formatter.

impl Hash for Permission

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Permission

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Permission

fn partial_cmp(&self, other: &Permission) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Permission

impl Eq for Permission

impl StructuralPartialEq for Permission

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