Struct IntentDivergenceInfo 

pub struct IntentDivergenceInfo {
    pub boundary_count: usize,
    pub violation_count: u32,
}

Intent-divergence summary derived from the caller’s boundary representation.

Present in a Snapshot only when the caller supplied a boundary count to assemble_snapshot (typically because a .sdivi/boundaries.yaml was found at snapshot time, but any source of a count is valid).

Examples

use sdivi_snapshot::snapshot::IntentDivergenceInfo;

let info = IntentDivergenceInfo { boundary_count: 3, violation_count: 0 };
assert_eq!(info.boundary_count, 3);

Fields

boundary_count: usize

Number of boundaries declared by the caller.

violation_count: u32

Number of cross-boundary dependency violations detected.

Trait Implementations

impl Clone for IntentDivergenceInfo

fn clone(&self) -> IntentDivergenceInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntentDivergenceInfo

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntentDivergenceInfo

fn deserialize<__D>( __deserializer: __D, ) -> Result<IntentDivergenceInfo, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for IntentDivergenceInfo

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for IntentDivergenceInfo

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for IntentDivergenceInfo