Struct IfdsCsrRuleColumns 

pub struct IfdsCsrRuleColumns {

    pub intra_proc: Vec<u32>,
    pub intra_src_block: Vec<u32>,
    pub intra_dst_block: Vec<u32>,
    pub inter_src_proc: Vec<u32>,
    pub inter_src_block: Vec<u32>,
    pub inter_dst_proc: Vec<u32>,
    pub inter_dst_block: Vec<u32>,
    pub gen_proc: Vec<u32>,
    pub gen_block: Vec<u32>,
    pub gen_fact: Vec<u32>,
    pub kill_proc: Vec<u32>,
    pub kill_block: Vec<u32>,
    pub kill_fact: Vec<u32>,
}

Caller-owned structure-of-arrays rule columns for IFDS CSR dispatch.

This lives with the primitive dispatch plan because field order, padding, and rule-domain grouping are part of the primitive ABI. Dispatch consumers reuse one value across calls and upload these columns without re-forking IFDS tuple marshalling.

Fields

intra_proc: Vec<u32>

Intra-procedural procedure ids.

intra_src_block: Vec<u32>

Intra-procedural source blocks.

intra_dst_block: Vec<u32>

Intra-procedural destination blocks.

inter_src_proc: Vec<u32>

Inter-procedural source procedures.

inter_src_block: Vec<u32>

Inter-procedural source blocks.

inter_dst_proc: Vec<u32>

Inter-procedural destination procedures.

inter_dst_block: Vec<u32>

Inter-procedural destination blocks.

gen_proc: Vec<u32>

GEN rule procedures.

gen_block: Vec<u32>

GEN rule blocks.

gen_fact: Vec<u32>

GEN rule facts.

kill_proc: Vec<u32>

KILL rule procedures.

kill_block: Vec<u32>

KILL rule blocks.

kill_fact: Vec<u32>

KILL rule facts.

Implementations

impl IfdsCsrRuleColumns

pub fn prepare( &mut self, intra_edges: &[(u32, u32, u32)], inter_edges: &[(u32, u32, u32, u32)], flow_gen: &[(u32, u32, u32)], flow_kill: &[(u32, u32, u32)], ) -> Result<(), String>

Split all IFDS tuple rules into primitive-owned structure-of-arrays columns, reusing existing allocations.

Errors

Returns an allocation diagnostic if any output column cannot reserve enough space for its incoming rule slice.

Trait Implementations

impl Clone for IfdsCsrRuleColumns

fn clone(&self) -> IfdsCsrRuleColumns

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IfdsCsrRuleColumns

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

Formats the value using the given formatter.

impl Default for IfdsCsrRuleColumns

fn default() -> IfdsCsrRuleColumns

Returns the “default value” for a type.

impl Eq for IfdsCsrRuleColumns

impl PartialEq for IfdsCsrRuleColumns

fn eq(&self, other: &IfdsCsrRuleColumns) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IfdsCsrRuleColumns