Struct SchemaDeltaStepContract 

pub struct SchemaDeltaStepContract { /* private fields */ }

Context-free claims derived exactly from a trusted schema delta.

Implementations

impl SchemaDeltaStepContract

pub fn new( id: MigrationStepId, delta: &SchemaDelta, reverse: Option<SchemaDelta>, ) -> Result<Self, Diagnostic>

Derive all step claims and validate an optional exact operation-wise inverse.

pub const fn id(&self) -> &MigrationStepId

Return the step-local identity.

pub const fn source_semantics(&self) -> &ManagedSemanticSchemaFingerprint

Return the exact source managed-semantic precondition.

pub const fn target_semantics(&self) -> &ManagedSemanticSchemaFingerprint

Return the exact target managed-semantic postcondition.

pub const fn required_capabilities(&self) -> &CapabilitySet

Return capabilities derived from the trusted delta.

pub const fn delta_fingerprint(&self) -> &SchemaDeltaFingerprint

Return the exact schema-delta fingerprint.

pub const fn retry(&self) -> RetryPolicy

Return the fixed no-replay retry policy.

pub const fn recovery(&self) -> RecoveryPolicy

Return the fixed operator-required recovery policy.

pub const fn reverse(&self) -> Option<&SchemaDelta>

Return the optional checked exact inverse.

Trait Implementations

impl Clone for SchemaDeltaStepContract

fn clone(&self) -> SchemaDeltaStepContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SchemaDeltaStepContract

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

Formats the value using the given formatter.

impl Eq for SchemaDeltaStepContract

impl PartialEq for SchemaDeltaStepContract

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SchemaDeltaStepContract

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SchemaDeltaStepContract