Struct DerivedSafetyConditions 

pub struct DerivedSafetyConditions { /* private fields */ }

Ordered verifier output for one schema operation.

Implementations

impl DerivedSafetyConditions

pub const fn operation_index(&self) -> u32

Return the operation ordinal shared by every condition.

pub const fn policy(&self) -> SafetyClass

Return the unchanged eight-class operation policy.

pub fn conditions(&self) -> &[RequiredSafetyCondition]

Return conditions in deterministic fact and bound order.

pub const fn is_condition_free(&self) -> bool

Return whether exact source-domain evidence proves this operation cannot encounter pre-existing data that needs an assertion or backfill.

pub fn resolves_conditional_requirements(&self) -> bool

Return whether every Conditional requirement has an expressible assertion.

Trait Implementations

impl Clone for DerivedSafetyConditions

fn clone(&self) -> DerivedSafetyConditions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DerivedSafetyConditions

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

Formats the value using the given formatter.

impl Eq for DerivedSafetyConditions

impl PartialEq for DerivedSafetyConditions

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for DerivedSafetyConditions

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 DerivedSafetyConditions