Struct Usage 

pub struct Usage {
    pub var_name: String,
    pub use_count: usize,
    pub expected: Multiplicity,
}

Usage tracking for linear variables.

Fields

var_name: String

Variable name

use_count: usize

Number of times used

expected: Multiplicity

Expected multiplicity

Implementations

impl Usage

pub fn new(var_name: impl Into<String>, expected: Multiplicity) -> Self

pub fn record_use(&mut self)

Record a use

pub fn is_valid(&self) -> bool

Check if usage is valid

pub fn error_message(&self) -> Option<String>

Get error message if invalid

Trait Implementations

impl Clone for Usage

fn clone(&self) -> Usage

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Usage

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

Formats the value using the given formatter.

impl PartialEq for Usage

fn eq(&self, other: &Usage) -> 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 Usage

impl StructuralPartialEq for Usage