Struct Variable 

pub struct Variable { /* private fields */ }

Represents a variable declaration.

Implementations

impl Variable

pub fn new(name: String, var_type: Type) -> Self

Create a new variable.

pub fn new_with_initializer( name: String, var_type: Type, initializer: Expression, ) -> Self

Create a new variable with an initializer.

pub fn new_with_storage_class( name: String, var_type: Type, initializer: Option<Expression>, is_static: bool, is_extern: bool, is_const: bool, ) -> Self

Create a new variable with storage class specifiers.

pub fn name(&self) -> &str

Get the variable name.

pub fn var_type(&self) -> &Type

Get the variable type.

pub fn is_function_pointer(&self) -> bool

Check if this variable is a function pointer.

pub fn function_pointer_param_count(&self) -> usize

Get the number of parameters if this is a function pointer.

pub fn function_pointer_has_void_return(&self) -> bool

Check if this function pointer has a void return type.

pub fn is_string_literal(&self) -> bool

Check if this variable is a string literal (char* with literal initializer).

Detects patterns like: const char* msg = "Hello";

Implementation

Checks if:

• Type is a pointer to char (char*)
• Has an initializer that is a StringLiteral expression

Note: Const qualifier detection not yet implemented - checks all char* pointers.

pub fn is_string_buffer(&self) -> bool

Check if this variable is a string buffer (char* allocated with malloc).

Detects patterns like: char* buffer = malloc(100);

Implementation

Checks if:

• Type is a pointer to char (char*)
• Has an initializer that is a malloc/calloc function call

pub fn initializer(&self) -> Option<&Expression>

Get the initializer expression for this variable.

Returns Some(&Expression) if the variable has an initializer, None otherwise.

pub fn is_static(&self) -> bool

Check if this variable has static storage class (file-local).

pub fn is_extern(&self) -> bool

Check if this variable is extern (external linkage).

pub fn is_const(&self) -> bool

Check if this variable is const (immutable).

Trait Implementations

impl Clone for Variable

fn clone(&self) -> Variable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Variable

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

Formats the value using the given formatter.

impl PartialEq for Variable

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