Struct FinalizedContract 

pub struct FinalizedContract { /* private fields */ }

Finalized contract artifact derived from one canonical normalized contract.

Stable inspection rows and schema-lowering signals come from the same normalized contract uses, so downstream callers do not need to re-finalize a super::ContractIr separately or hop through another wrapper type.

Implementations

impl FinalizedContract

pub fn uses(&self) -> &[ContractUse]

Returns normalized contract uses in stable inspection order.

pub fn schema_signals(&self) -> &ContractSchemaSignals

Returns path-local facts prepared for schema lowering.

pub fn document(&self) -> ContractDocument

Builds the versioned inspection document for this contract.

pub fn into_schema_signals(self) -> ContractSchemaSignals

Consumes the contract and returns its schema-lowering signals.

Trait Implementations

impl Clone for FinalizedContract

fn clone(&self) -> FinalizedContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FinalizedContract

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

Formats the value using the given formatter.

impl Eq for FinalizedContract

impl PartialEq for FinalizedContract

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FinalizedContract