Struct NullPointerAnalysis 

pub struct NullPointerAnalysis {
    pub nullness: HashMap<String, NullValue>,
}

Null pointer analysis state: map from variable to null status.

Fields

nullness: HashMap<String, NullValue>

Variable → nullness

Implementations

impl NullPointerAnalysis

pub fn new() -> Self

Create empty null pointer analysis state.

pub fn may_be_null(&self, var: &str) -> bool

Check if a variable may be null.

pub fn must_be_null(&self, var: &str) -> bool

Check if a variable must be null.

Trait Implementations

impl Default for NullPointerAnalysis

fn default() -> Self

Returns the “default value” for a type.