Struct EscapeGraph 

pub struct EscapeGraph { /* private fields */ }

A flow graph whose edges indicate “var A can flow into var B”.

If A flows into B and B escapes, then A also escapes.

Implementations

impl EscapeGraph

pub fn new() -> Self

Create an empty escape graph.

pub fn add_edge(&mut self, from: &str, to: &str)

Record that the allocation held in from can flow into to.

pub fn reachable_from(&self, src: &str) -> HashSet<String>

Compute all variables reachable from src via the flow edges.

Trait Implementations

impl Clone for EscapeGraph

fn clone(&self) -> EscapeGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EscapeGraph

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

Formats the value using the given formatter.

impl Default for EscapeGraph

fn default() -> EscapeGraph

Returns the “default value” for a type.