Enum Transition 

pub enum Transition {
    Claim,
    Start,
    Submit,
    Verify,
}

Task lifecycle transition whose relation gates are evaluated.

Transition	From	Relations	Decisions
Claim	Planned	FS, SS	yes
Start	Claimed	FS, SS	yes
Submit	InProgress	FF, SF	no
Verify	Submitted	all four	yes

A claim reserves only work that could start now, so it shares the start gates. Submission is the owner’s finish claim and verification the accepted finish: both must respect FF/SF. Verification also re-checks FS/SS and decisions, so a restored waiver or gate applies again before acceptance.

Variants

Claim

Reserve planned work for an owner.

Start

Begin executing claimed work; records the start event.

Submit

Request independent verification; records the submission event.

Verify

Accept the submitted result; records the finish event.

Implementations

impl Transition

pub const ALL: [Self; 4]

Every transition, in lifecycle order.

pub fn lifecycle(self) -> WorkStatus

Lifecycle state the transition leaves.

pub fn governs(self, kind: DependencyKind) -> bool

Whether a relation constrains this transition of its successor.

pub fn starts(self) -> bool

Whether this transition is gated as the successor’s start, where a provisional edge may accept a pending predecessor attempt.

pub fn checks_basis(self) -> bool

Whether a basis on a rejected predecessor attempt prevents this transition: finishing work built on a rejected result would hide the rejection.

pub fn checks_decisions(self) -> bool

Whether open decisions on the work or its containers prevent this transition.

Trait Implementations

impl Clone for Transition

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 Transition

impl Debug for Transition

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

Formats the value using the given formatter.

impl Default for Transition

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Transition

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Transition

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

Formats the value using the given formatter.

impl Eq for Transition

impl Hash for Transition

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Transition

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Transition

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Transition

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for Transition

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 Transition