Struct MigrationAssertionPlan 

pub struct MigrationAssertionPlan { /* private fields */ }

A context-free, canonical typed migration assertion.

Implementations

impl MigrationAssertionPlan

pub fn new( bindings: Vec<AssertionBinding>, patterns: Vec<AssertionPattern>, outputs: Vec<BindingId>, witnesses: Vec<BindingId>, managed_semantics: ManagedSemanticSchemaFingerprint, expectation: AssertionExpectation, ) -> Result<Self, Diagnostic>

Validate and construct one canonical plan under fixed protocol limits.

pub const fn format(&self) -> FormatVersion

Return the owning format version.

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

Return the exact managed semantic schema this plan was validated against.

pub fn bindings(&self) -> &[AssertionBinding]

Return dense binding declarations.

pub fn binding(&self, id: BindingId) -> Option<&AssertionBinding>

Look up one dense binding declaration.

pub fn patterns(&self) -> &[AssertionPattern]

Return the ordered positive/negative pattern conjunction.

pub fn outputs(&self) -> &[BindingId]

Return canonical-sorted output bindings.

pub fn witnesses(&self) -> &[BindingId]

Return canonical-sorted hidden witness bindings.

pub const fn expectation(&self) -> AssertionExpectation

Return the closed assertion expectation.

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

Return open capabilities derived from syntax.

pub fn canonical_bytes(&self) -> Result<Vec<u8>, Diagnostic>

Encode exact canonical bytes.

pub fn fingerprint( &self, ) -> Result<MigrationAssertionPlanFingerprint, Diagnostic>

Compute a canonical domain-separated plan fingerprint.

Trait Implementations

impl Clone for MigrationAssertionPlan

fn clone(&self) -> MigrationAssertionPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MigrationAssertionPlan

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

Formats the value using the given formatter.

impl Eq for MigrationAssertionPlan

impl PartialEq for MigrationAssertionPlan

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for MigrationAssertionPlan

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 MigrationAssertionPlan