Struct Module 

pub struct Module {

    pub name: StrId,
    pub signature: Signature,
    pub token: TokenRange,
    pub ports: FxHashMap<VarPath, VarId>,
    pub port_types: FxHashMap<VarPath, (Type, ClockDomain)>,
    pub variables: FxHashMap<VarId, Variable>,
    pub functions: FxHashMap<VarId, Function>,
    pub interface_members: FxHashMap<VarId, Variable>,
    pub declarations: Vec<Declaration>,
    pub suppress_unassigned: bool,
    pub per_decl_refs: FxHashMap<usize, FxHashMap<VarId, ReferencedEntry>>,
    pub assign_tokens: FxHashMap<VarId, Vec<TokenRange>>,
    pub ff_table: FfTable,
}

Fields

name: StrId

signature: Signature

Fully specialized identity of this IR body. Generic arguments and connected modport-interface signatures distinguish monomorphizations.

token: TokenRange

ports: FxHashMap<VarPath, VarId>

port_types: FxHashMap<VarPath, (Type, ClockDomain)>

variables: FxHashMap<VarId, Variable>

functions: FxHashMap<VarId, Function>

interface_members: FxHashMap<VarId, Variable>

Interface members visible through a modport only because an imported function captures them. They have paths and IDs for dependency analysis, but are not ordinary module variables or signal ports.

declarations: Vec<Declaration>

suppress_unassigned: bool

per_decl_refs: FxHashMap<usize, FxHashMap<VarId, ReferencedEntry>>

Per-declaration AssignTable.refernced snapshot, captured at the end of each Declaration::eval_assign for use by the combinational-loop detector. Keyed by declaration index in declarations.

assign_tokens: FxHashMap<VarId, Vec<TokenRange>>

Per-variable assignment-site tokens, captured from the merged AssignTable during eval_assign. Used by the combinational-loop detector to highlight assign statements in error reports.

ff_table: FfTable

FfTable derived from this module’s declarations (and updated with update_is_ff). Computed during eval_assign so consumers (combinational-loop detector, simulator, future analyses) can read it as a public IR property without re-walking gather_ff. Consumers that need to mutate (e.g. simulator’s force_all_ff or post-hoist rebuild) should clone first.

Implementations

impl Module

pub fn eval_assign(&mut self, context: &mut Context)

pub fn gather_ff(&self, context: &mut Context, table: &mut FfTable)

pub fn rebuild_ff_table(&mut self, context: &mut Context)

(Re)compute self.ff_table from the current declarations. Runs gather_ff over every declaration and applies update_is_ff so the resulting table is ready for consumers.

Trait Implementations

impl Clone for Module

fn clone(&self) -> Module

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Conv<&ModuleDeclaration> for Module

fn conv(context: &mut Context, value: &ModuleDeclaration) -> IrResult<Self>

impl Conv<&ProtoModuleDeclaration> for Module

fn conv(context: &mut Context, value: &ProtoModuleDeclaration) -> IrResult<Self>

impl Conv<(&ModuleDeclaration, bool)> for Module

fn conv( context: &mut Context, value: (&ModuleDeclaration, bool), ) -> IrResult<Self>

impl Display for Module

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

Formats the value using the given formatter.