Struct AliasConfigExt 

pub struct AliasConfigExt {
    pub level: String,
    pub max_iterations: usize,
    pub max_points_to_size: usize,
    pub enable_field_sensitivity: bool,
    pub enable_flow_sensitivity: bool,
    pub enable_context_sensitivity: bool,
    pub track_heap: bool,
    pub track_globals: bool,
}

Alias analysis pass configuration (extended)

Fields

level: String

max_iterations: usize

max_points_to_size: usize

enable_field_sensitivity: bool

enable_flow_sensitivity: bool

enable_context_sensitivity: bool

track_heap: bool

track_globals: bool

Trait Implementations

impl Clone for AliasConfigExt

fn clone(&self) -> AliasConfigExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AliasConfigExt

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

Formats the value using the given formatter.

impl Default for AliasConfigExt

fn default() -> Self

Returns the “default value” for a type.