Enum LawCheck 

#[non_exhaustive]
pub enum LawCheck {
    Verified,
    SemanticsVerified,
    Unpinned,
    VerifiedUnderPrevious,
    SemanticsPrevious,
}

What PhysicsWorld::restore_world_checked could verify about the rule identifiers of a blob it accepted.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Verified

Version 4: the header semantics_id equals this binary’s crate::PHYSICS_SEMANTICS_ID, and the header law_id equals the identifier the caller passed.

SemanticsVerified

Version 4: the header semantics_id equals this binary’s crate::PHYSICS_SEMANTICS_ID; the caller passed no identifier, so the header law_id was not compared with anything.

Unpinned

Version 1 to 3: the blob carries no identifiers, so neither could be verified. The blob is accepted; a caller that requires verification can refuse it on this value.

VerifiedUnderPrevious

Version 4 written under an earlier identifier listed in crate::PREVIOUS_PHYSICS_SEMANTICS_IDS (the stepping bits are the same): the identifier the caller passed is this target’s own PhysicsWorld::law_id under crate::PHYSICS_SEMANTICS_ID, and the header law_id equals the target’s law_id under the earlier identifier. PhysicsWorld::world_snapshot_ids gives that identifier.

SemanticsPrevious

Version 4 written under an earlier identifier listed in crate::PREVIOUS_PHYSICS_SEMANTICS_IDS; the caller passed no identifier, so the header law_id was not compared with anything. PhysicsWorld::world_snapshot_ids gives the identifier.

Trait Implementations

impl Clone for LawCheck

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LawCheck

impl Debug for LawCheck

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

Formats the value using the given formatter.

impl Eq for LawCheck

impl PartialEq for LawCheck

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LawCheck