Struct FixedPointAnalysisPlan 

pub struct FixedPointAnalysisPlan { /* private fields */ }

Prepared fixed-point analysis plan: invariant graph buffers plus emitted IR.

Implementations

impl FixedPointAnalysisPlan

pub fn new(graph: FixedPointForwardGraph, program: Program) -> Self

Build a prepared fixed-point plan from packed graph buffers and Program.

pub fn new_for_kind( kind: FixedPointAnalysisKind, graph: FixedPointForwardGraph, program: Program, ) -> Self

Build a prepared fixed-point plan with an explicit analysis family.

pub fn kind(&self) -> FixedPointAnalysisKind

Analysis family this plan was prepared for.

pub fn require_kind( &self, expected: FixedPointAnalysisKind, consumer: &str, ) -> Result<(), String>

Verify this plan is being used by the analysis family that prepared it.

pub fn graph(&self) -> &FixedPointForwardGraph

Prepared graph buffers used by this plan.

pub fn graph_mut(&mut self) -> &mut FixedPointForwardGraph

Mutable prepared graph buffers used by this plan.

pub fn program(&self) -> &Program

Emitted Vyre Program used by this plan.

pub fn replace_program_for_kind( &mut self, kind: FixedPointAnalysisKind, program: Program, )

Replace this plan’s analysis family and emitted Program.

pub fn retained_graph_bytes(&self) -> usize

Retained bytes across invariant graph buffers.

pub fn stable_layout_hash(&self) -> u64

Stable hash of the normalized graph layout used by this plan.

Trait Implementations

impl Clone for FixedPointAnalysisPlan

fn clone(&self) -> FixedPointAnalysisPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FixedPointAnalysisPlan

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

Formats the value using the given formatter.

impl PartialEq for FixedPointAnalysisPlan

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FixedPointAnalysisPlan