Struct Resource 

pub struct Resource {
    pub name: String,
    pub ty: LinearType,
    pub ownership: Ownership,
    pub use_count: usize,
    pub created_at: Option<String>,
    pub last_used_at: Option<String>,
}

A resource tracked by the linear type system.

Fields

name: String

Resource name/identifier

ty: LinearType

Resource type

ownership: Ownership

Current ownership state

use_count: usize

Number of times the resource has been used

created_at: Option<String>

Location where the resource was created

last_used_at: Option<String>

Location where the resource was last used

Implementations

impl Resource

pub fn new(name: impl Into<String>, ty: LinearType) -> Self

Create a new owned resource.

pub fn with_created_at(self, location: impl Into<String>) -> Self

Set the creation location.

pub fn can_use(&self) -> bool

Check if the resource can be used.

pub fn can_move(&self) -> bool

Check if the resource can be moved.

pub fn can_drop(&self) -> bool

Check if the resource can be dropped.

pub fn use_resource( &mut self, location: impl Into<String>, ) -> Result<(), LinearError>

Use the resource, returning an error if not allowed.

pub fn move_to( &mut self, location: impl Into<String>, ) -> Result<(), LinearError>

Move the resource to a new owner.

pub fn drop_resource(&mut self) -> Result<(), LinearError>

Drop the resource.

pub fn validate_end_of_scope(&self) -> Result<(), LinearError>

Validate the resource state at the end of its scope.

Trait Implementations

impl Clone for Resource

fn clone(&self) -> Resource

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Resource

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

Formats the value using the given formatter.