Struct StaticAnalysisResult 

pub struct StaticAnalysisResult { /* private fields */ }

Task 8: the real analyze() hand-off value — partitions/ clock_domains/cdc_edges populated by the driver graph + WOCB partitioning + clock-domain/CDC-edge inference this task implements; on_force_observed stays on its safe placeholder body (out of this wave). Frontend-only (CONTRACTS D4): partitions: Vec<Partition> names a type that only exists under this crate’s frontend feature (Partition lives in the sv_lang::Analysis-consuming graph module).

Implementations

impl StaticAnalysisResult

pub fn partition(&self, id: RegionId) -> &Partition

Read-only access to a Partition by RegionId — partitions itself stays a private field (consistent with StaticAnalysisView being the crate’s one query surface for everything else). Panics only for a RegionId this StaticAnalysisResult’s own analyze() call never produced — a programmer-error indexing precondition, the same posture Netlist::member_symbol documents.

pub fn clock_domains(&self) -> &[ClockDomain]

Every distinct clock domain this analysis inferred (NL-076) — the registry ClockDomain.id indexes into.

Trait Implementations

impl Clone for StaticAnalysisResult

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StaticAnalysisResult

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

Formats the value using the given formatter.

impl StaticAnalysisView for StaticAnalysisResult

Available on crate feature frontend only.

fn dpi_tag(&self, call: CallSiteId) -> DpiVpiTag

Task 9 (NL-103): the real per-call-site tag dpi::collect_call_tags computed in analyze(). Panics only for a CallSiteId this StaticAnalysisResult’s own analyze() call never produced — the same programmer-error indexing precondition partition() documents.

fn on_force_observed(&self, _sig: InstantiatedSignalId) -> ForceObservedAction

Out of this wave’s 37 IDs (a future wave’s runtime-checked escape hatch): a safe no-op placeholder, never a panic.

fn partition_of(&self, sig: InstantiatedSignalId) -> RegionId

fn cdc_edges_into(&self, region: RegionId) -> Vec<CdcEdge>