Enum Constraint 

pub enum Constraint {
    Once(String),
    Before(String, String),
    NeverUntil {
        tool: String,
        until: Guard,
    },
    Require(Vec<String>),
    Reset {
        steps: Vec<String>,
        when: Guard,
    },
}

A cross-cutting flow constraint.

Variants

Once(String)

A tool may complete at most once.

Before(String, String)

Step 0 must be done before step 1 starts.

NeverUntil

A tool is forbidden until the guard holds.

Fields

tool: String

The gated tool.

until: Guard

The guard that must hold to permit it.

Require(Vec<String>)

These steps must be done for the flow to be complete.

Reset

Un-latch the named steps when the guard becomes true (rising edge) — the loop primitive. The DAG stays acyclic and statically checkable; iteration is explicit marking surgery instead of back-edges.

A reset also forgives the completion evidence the steps’ done guards reference: called_ok counts for those tools are cleared (so a once on such a tool permits one run per latch-cycle). State keys the guards read are the application’s to clear — a reset never touches State.

Fields

steps: Vec<String>

The steps to un-latch.

when: Guard

Fires on this guard’s rising edge.

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Constraint

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for Constraint

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Serialize for Constraint

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.