Struct AddressableAccess 

pub struct AddressableAccess {
    pub name: String,
    pub accesses: Vec<PreExp>,
}

Represents array-like access to a variable, such as x[1][2].

Fields

name: String

Name of the variable being accessed

accesses: Vec<PreExp>

Vector of expressions used as array indices

Implementations

impl AddressableAccess

pub fn new(name: String, accesses: Vec<PreExp>) -> Self

Creates a new AddressableAccess with the given name and access expressions.

Arguments

• name - Name of the variable being accessed
• accesses - Vector of expressions used as array indices

Trait Implementations

impl Clone for AddressableAccess

fn clone(&self) -> AddressableAccess

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AddressableAccess

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

Formats the value using the given formatter.

impl Display for AddressableAccess

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

Formats the value using the given formatter.

impl Serialize for AddressableAccess

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.