Struct SectionDiff 

pub struct SectionDiff {
    pub section: String,
    pub added: Vec<String>,
    pub removed: Vec<String>,
    pub changed: Vec<String>,
}

A change summary for one section of the contract.

Fields

section: String

Section name (e.g. “equations”, “proof_obligations”).

added: Vec<String>

Items added in the new contract.

removed: Vec<String>

Items removed from the old contract.

changed: Vec<String>

Items present in both but changed.

Implementations

impl SectionDiff

Methods for querying a section diff

pub fn is_empty(&self) -> bool

True if this section has no changes.

Trait Implementations

impl Clone for SectionDiff

fn clone(&self) -> SectionDiff

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SectionDiff

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

Formats the value using the given formatter.