Struct Taint

pub struct Taint<'tcx> {
    set: HashSet<TyWithIndex<'tcx>>,
}

Fields

set: HashSet<TyWithIndex<'tcx>>

Implementations

impl<'tcx> Taint<'tcx>

pub fn is_untainted(&self) -> bool

pub fn is_tainted(&self) -> bool

pub fn contains(&self, k: &TyWithIndex<'tcx>) -> bool

pub fn insert(&mut self, k: TyWithIndex<'tcx>)

pub fn set(&self) -> &HashSet<TyWithIndex<'tcx>>

pub fn set_mut(&mut self) -> &mut HashSet<TyWithIndex<'tcx>>

Trait Implementations

impl<'tcx> Clone for Taint<'tcx>

fn clone(&self) -> Taint<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Taint<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Default for Taint<'tcx>

fn default() -> Self

Returns the “default value” for a type.