Enum PrecisionContract 

pub enum PrecisionContract {
    ZeroFalsePositive,
    RecallDriven,
    FalseNegativesAccepted,
}

Precision contract requested by a consumer pipeline.

This is the policy layer above individual primitive markers. A pipeline that promises zero false positives cannot freely compose every MayOver analysis; it must either stay Exact end to end or prove that a downstream sanitizer filter bounds the over-approximate primitive before the result escapes.

Variants

ZeroFalsePositive

Results must not contain false positives.

RecallDriven

Results must not contain false negatives.

FalseNegativesAccepted

The consumer explicitly accepts false negatives.

Trait Implementations

impl Clone for PrecisionContract

fn clone(&self) -> PrecisionContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PrecisionContract

impl Debug for PrecisionContract

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

Formats the value using the given formatter.

impl Eq for PrecisionContract

impl Hash for PrecisionContract

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PrecisionContract

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PrecisionContract