Enum ResourceStatus 

pub enum ResourceStatus {
    Unallocated,
    Allocated {
        owner: PluginId,
    },
    Freed,
}

Resource lifecycle status

Corresponds to Lean: inductive ResourceStatus

Variants

Unallocated

Resource has not been allocated

Corresponds to Lean: | unallocated

Allocated

Resource is allocated with an owner

Corresponds to Lean: | allocated (owner : PluginId)

Fields

owner: PluginId

The plugin that owns this resource

Freed

Resource has been freed

Corresponds to Lean: | freed

Implementations

impl ResourceStatus

pub fn is_allocated(&self) -> bool

Check if the resource is allocated

pub fn is_freed(&self) -> bool

Check if the resource is freed

pub fn is_unallocated(&self) -> bool

Check if the resource is unallocated

pub fn owner(&self) -> Option<PluginId>

Get the owner if allocated

Trait Implementations

impl Clone for ResourceStatus

fn clone(&self) -> ResourceStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResourceStatus

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

Formats the value using the given formatter.

impl Default for ResourceStatus

fn default() -> ResourceStatus

Returns the “default value” for a type.

impl PartialEq for ResourceStatus

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for ResourceStatus

impl StructuralPartialEq for ResourceStatus