Struct NumericDomainViolation 

pub struct NumericDomainViolation {
    pub edge_or_node: NodeId,
    pub op: String,
    pub requires: String,
    pub producer_domain: String,
    pub proven: bool,
    pub impact: NumericImpact,
    pub span: SrcSpan,
    pub message: String,
    pub library_cite: Option<String>,
}

A partial function applied to a domain that can attain a forbidden endpoint.

Fields

edge_or_node: NodeId

op: String

requires: String

producer_domain: String

proven: bool

impact: NumericImpact

span: SrcSpan

message: String

library_cite: Option<String>

Source citation when the hazard came from an expanded library body.

Trait Implementations

impl Clone for NumericDomainViolation

fn clone(&self) -> NumericDomainViolation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NumericDomainViolation

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

Formats the value using the given formatter.

impl Serialize for NumericDomainViolation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.