Struct ReachabilityAnalysis 

pub struct ReachabilityAnalysis { /* private fields */ }

Abstract reachability analysis: which program points are reachable?

Implementations

impl ReachabilityAnalysis

pub fn new() -> Self

Create an empty analysis.

pub fn mark_reachable(&mut self, label: &str)

Mark a point as reachable.

pub fn mark_unreachable(&mut self, label: &str)

Mark a point as unreachable.

pub fn is_reachable(&self, label: &str) -> bool

Return whether a point is definitely reachable.

pub fn is_unreachable(&self, label: &str) -> bool

Return whether a point is definitely unreachable.

pub fn reachable_count(&self) -> usize

Return the count of reachable points.

pub fn unreachable_count(&self) -> usize

Return the count of unreachable points.

Trait Implementations

impl Default for ReachabilityAnalysis

fn default() -> Self

Returns the “default value” for a type.