Struct OmenaQueryScssEvalControlFlowPruneReachabilityV0 

pub struct OmenaQueryScssEvalControlFlowPruneReachabilityV0 {

    pub schema_version: &'static str,
    pub product: &'static str,
    pub mode: &'static str,
    pub dialect: &'static str,
    pub block_id_type: &'static str,
    pub node_key_type: &'static str,
    pub max_iterations: usize,
    pub iteration_count: usize,
    pub converged: bool,
    pub flat_css_cfg_built: bool,
    pub merged_cross_file_graph: bool,
    pub block_count: usize,
    pub original_edge_count: usize,
    pub pruned_edge_count: usize,
    pub reachable_block_count: usize,
    pub unreachable_block_count: usize,
    pub have_terminals_changed: bool,
    pub reachable_block_ids: Vec<OmenaScssEvalControlFlowBlockIdV0>,
    pub unreachable_block_ids: Vec<OmenaScssEvalControlFlowBlockIdV0>,
}

Reachability recomputed after value-flow-driven control-flow pruning.

Unknown branch values keep their outgoing edges, so this witness is conservative unless the value fixpoint proves a branch or loop outcome.

Fields

schema_version: &'static str

product: &'static str

mode: &'static str

dialect: &'static str

block_id_type: &'static str

node_key_type: &'static str

max_iterations: usize

iteration_count: usize

converged: bool

flat_css_cfg_built: bool

merged_cross_file_graph: bool

block_count: usize

original_edge_count: usize

pruned_edge_count: usize

reachable_block_count: usize

unreachable_block_count: usize

have_terminals_changed: bool

reachable_block_ids: Vec<OmenaScssEvalControlFlowBlockIdV0>

unreachable_block_ids: Vec<OmenaScssEvalControlFlowBlockIdV0>

Trait Implementations

impl Clone for OmenaScssEvalControlFlowPruneReachabilityV0

fn clone(&self) -> OmenaScssEvalControlFlowPruneReachabilityV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OmenaScssEvalControlFlowPruneReachabilityV0

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

Formats the value using the given formatter.

impl Eq for OmenaScssEvalControlFlowPruneReachabilityV0

impl PartialEq for OmenaScssEvalControlFlowPruneReachabilityV0

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for OmenaScssEvalControlFlowPruneReachabilityV0

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for OmenaScssEvalControlFlowPruneReachabilityV0