Enum CommitPrecondition 

pub enum CommitPrecondition {
    NamespaceHead {
        expected_head_seq: ChangeSeq,
    },
    FileRevision {
        inode_id: InodeId,
        expected_revision_no: RevisionNo,
    },
    PathBinding {
        path: AbsolutePath,
        expected_inode_id: InodeId,
        expected_binding_generation: Option<BindingGeneration>,
    },
    AttributesRevision {
        inode_id: InodeId,
        expected_attributes_revision_no: AttributeRevisionNo,
    },
    AccessRevision {
        inode_id: InodeId,
        expected_access_revision_no: AccessRevisionNo,
    },
    PathAbsence {
        path: AbsolutePath,
    },
}

Admission conditions checked against the candidate’s pre-state before its operations. The pre-state head sequence is the last admitted commit’s sequence in the batch, or the batch’s base head sequence when no earlier candidate was admitted.

Variants

NamespaceHead

Requires the pre-state head sequence to equal expected_head_seq.

Fields

expected_head_seq: ChangeSeq

Sequence observed when the caller read its inputs.

FileRevision

Requires a visible inode with the content revision the caller read.

Fields

inode_id: InodeId

Inode whose state the caller read.

expected_revision_no: RevisionNo

Content revision observed by the caller.

PathBinding

Requires the path to retain the binding the caller read.

Fields

path: AbsolutePath

Absolute path to check, including the root.

expected_inode_id: InodeId

Inode required at the path.

expected_binding_generation: Option<BindingGeneration>

Detects moves away and back.

AttributesRevision

Requires a visible inode with the attribute revision the caller read.

Fields

inode_id: InodeId

Inode whose state the caller read.

expected_attributes_revision_no: AttributeRevisionNo

Attribute revision observed by the caller.

AccessRevision

Requires a visible inode with the access revision the caller read.

Fields

inode_id: InodeId

Inode whose state the caller read.

expected_access_revision_no: AccessRevisionNo

Access revision observed by the caller.

PathAbsence

Requires no visible entry at the full path.

Fields

path: AbsolutePath

Absolute path to check, including the root.

Trait Implementations

impl Clone for CommitPrecondition

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CommitPrecondition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CommitPrecondition

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CommitPrecondition

impl PartialEq for CommitPrecondition

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CommitPrecondition

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 CommitPrecondition