Struct AirProgram 

pub struct AirProgram {
    pub id: ProgramId,
    pub modules: Vec<AirModule>,
    pub link_table: LinkTable,
}

A whole program composed of multiple linked modules.

Fields

id: ProgramId

Deterministic ID derived from the sorted set of module fingerprints.

modules: Vec<AirModule>

Individual compilation units (one per input file).

link_table: LinkTable

Cross-module symbol resolution.

Implementations

impl AirProgram

pub fn link(bundles: Vec<AirBundle>) -> Self

Link multiple bundles into a unified program.

Resolves extern function declarations to their definitions across modules. Produces a LinkTable mapping declaration IDs to definition IDs.

pub fn merged_view(&self) -> AirModule

Produce a flattened AirModule for backward compatibility with the existing single-module analysis pipeline.

Merges all functions and globals into one module, rewriting extern declarations that have definitions in other modules.

fn resolve_symbols(modules: &[AirModule]) -> LinkTable

Resolve extern declarations across modules.

pub fn diff(previous: &[ModuleId], current: &[ModuleId]) -> ProgramDiff

Compute what changed between two programs.

Compares modules by ModuleId. Modules with the same ID but different content should have different ModuleIds (since IDs are content-derived).

Trait Implementations

impl Clone for AirProgram

fn clone(&self) -> AirProgram

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AirProgram

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

Formats the value using the given formatter.