Struct CsrGraph 

pub struct CsrGraph<'a> {
    pub node_count: u32,
    pub edge_offsets: &'a [u32],
    pub edge_targets: &'a [u32],
    pub edge_kind_mask: &'a [u32],
}

Borrowed CSR graph view shared by Weir analyses.

Fields

node_count: u32

Number of graph nodes in the analysis domain.

edge_offsets: &'a [u32]

CSR row offsets, length node_count + 1.

edge_targets: &'a [u32]

CSR edge targets.

edge_kind_mask: &'a [u32]

CSR edge-kind masks, length equal to edge_targets.

Implementations

impl<'a> CsrGraph<'a>

pub fn new( node_count: u32, edge_offsets: &'a [u32], edge_targets: &'a [u32], edge_kind_mask: &'a [u32], ) -> Self

Build a borrowed CSR graph view.

pub fn validate(self, stage: &str) -> Result<Self, String>

Validate this graph against the shared Weir CSR ABI.

pub fn normalize(self, stage: &str) -> Result<NormalizedCsrGraph, String>

Validate and canonicalize rows into sorted, duplicate-free edge order.

pub fn normalize_with_edge_kind_mask( self, stage: &str, allowed_mask: u32, ) -> Result<NormalizedCsrGraph, String>

Validate and canonicalize rows after masking each edge-kind word.

This avoids analysis-local temporary Vec<u32> filters before graph normalization. Analyses such as points-to can keep a single shared CSR contract while applying their allowed-edge predicate during packing.

pub fn normalize_into( self, stage: &str, output: &mut NormalizedCsrGraph, scratch: &mut CsrGraphNormalizationScratch, ) -> Result<(), String>

Validate and canonicalize rows into caller-owned output and scratch.

pub fn normalize_with_edge_kind_mask_into( self, stage: &str, allowed_mask: u32, output: &mut NormalizedCsrGraph, scratch: &mut CsrGraphNormalizationScratch, ) -> Result<(), String>

Validate and canonicalize rows after masking into caller-owned buffers.

Trait Implementations

impl<'a> Clone for CsrGraph<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for CsrGraph<'a>

impl<'a> Debug for CsrGraph<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for CsrGraph<'a>

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

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for CsrGraph<'a>