Struct AssertionStepContract 

pub struct AssertionStepContract { /* private fields */ }

Context-free claims derived exactly from one canonical assertion plan.

Implementations

impl AssertionStepContract

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

Return the step-local identity.

pub const fn plan_fingerprint(&self) -> &MigrationAssertionPlanFingerprint

Return the canonical assertion-plan fingerprint.

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

Return capabilities derived from the assertion syntax and resolution contract.

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 source_semantics(&self) -> &ManagedSemanticSchemaFingerprint

Return the exact source managed-semantic precondition.

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

Return the identical target managed-semantic postcondition.

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

Assertions never have an independently executable reverse step.

Trait Implementations

impl Clone for AssertionStepContract

fn clone(&self) -> AssertionStepContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssertionStepContract

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

Formats the value using the given formatter.

impl Eq for AssertionStepContract

impl PartialEq for AssertionStepContract

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AssertionStepContract

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 AssertionStepContract