Struct ExecutionId 

pub struct ExecutionId(/* private fields */);

One supervised run.

The supervisor mints it once per run and every bus participant carries it: services, drivers, simulators, tools, ad hoc publishers, and later the operator. It is part of the bus session root (<namespace>/robots/<robot-id>/x<execution-id>), which turns “previous-run traffic is not observed as current” from an operational assumption into a structural property. It is transport scoping and never part of a contract name.

Implementations

impl ExecutionId

pub const LEN: usize

The rendered length of an execution id, in key-safe characters.

pub fn mint() -> Self

Mint a fresh execution identity.

pub fn parse(value: &str) -> Result<Self, InvalidIdentity>

Parse a rendered execution identity (as it appears in the launch contract and the key root).

pub fn as_key_segment(&self) -> String

The identity as it appears in the bus key root and the launch contract.

Trait Implementations

impl Clone for ExecutionId

fn clone(&self) -> ExecutionId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ExecutionId

impl Debug for ExecutionId

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionId

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Display for ExecutionId

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

Formats the value using the given formatter.

impl Eq for ExecutionId

impl Hash for ExecutionId

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 PartialEq for ExecutionId

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecutionId

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExecutionId