Struct TaintedValue 

pub struct TaintedValue<T> { /* private fields */ }

A label travels with its value until an explicit boundary consumes it. These labels describe provenance; they never grant execution permission.

Implementations

impl<T> TaintedValue<T>

pub fn new(value: T, label: SecurityLabel) -> Self

pub fn untrusted(value: T) -> Self

pub fn trusted(value: T) -> Self

pub fn label(&self) -> SecurityLabel

pub fn value(&self) -> &T

pub fn into_parts(self) -> (T, SecurityLabel)

Trait Implementations

impl<T: Clone> Clone for TaintedValue<T>

fn clone(&self) -> TaintedValue<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for TaintedValue<T>

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

Formats the value using the given formatter.

impl<T: Eq> Eq for TaintedValue<T>

impl<T: PartialEq> PartialEq for TaintedValue<T>

fn eq(&self, other: &TaintedValue<T>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<T: PartialEq> StructuralPartialEq for TaintedValue<T>