Enum NullnessDomain 

pub enum NullnessDomain {
    Bottom,
    Null,
    NonNull,
    Top,
}

The nullness abstract domain: null, non-null, or top.

Variants

Bottom

Null

NonNull

Top

Implementations

impl NullnessDomain

pub fn from_bool(non_null: bool) -> Self

Create from a bool (true = non-null, false = null).

pub fn join(&self, other: &NullnessDomain) -> NullnessDomain

Join two values.

pub fn may_be_null(&self) -> bool

Return whether this might be null.

pub fn is_definitely_non_null(&self) -> bool

Return whether this is definitely non-null.

Trait Implementations

impl Clone for NullnessDomain

fn clone(&self) -> NullnessDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NullnessDomain

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

Formats the value using the given formatter.

impl PartialEq for NullnessDomain

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for NullnessDomain

impl Eq for NullnessDomain

impl StructuralPartialEq for NullnessDomain