Struct Module 

pub struct Module<'a> {
    pub type_declarations: HashMap<&'a str, TypeDeclaration<'a>>,
    pub global_declarations: HashMap<&'a str, GlobalDeclaration<'a>>,
    pub functions: HashMap<&'a str, Function<'a>>,
}

Fields

type_declarations: HashMap<&'a str, TypeDeclaration<'a>>

Named type declarations in this module

Using a HashMap enables efficient lookup by type name. The order of type declarations is not preserved, but this is typically not critical.

global_declarations: HashMap<&'a str, GlobalDeclaration<'a>>

Global variable declarations in this module

Global variables are module-level data that persists for the lifetime of the program. They can be initialized with constant values.

functions: HashMap<&'a str, Function<'a>>

Function definitions in this module

Functions contain the actual code of the module. They are organized by name for fast lookup during function calls.

Implementations

impl<'a> Module<'a>

pub fn new() -> Module<'a>

pub fn validate(&self) -> Result<(), Vec<String>>

Validate all functions in the module.

Runs Function::validate() on every function and aggregates all errors. Returns Ok(()) if no errors are found, or a list of all violations.

Trait Implementations

impl<'a> Clone for Module<'a>

fn clone(&self) -> Module<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Module<'a>

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

Formats the value using the given formatter.

impl Default for Module<'_>

fn default() -> Module<'_>

Returns the “default value” for a type.

impl Display for Module<'_>

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

Formats the value using the given formatter.

impl<'a> PartialEq for Module<'a>

fn eq(&self, other: &Module<'a>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for Module<'a>