Struct ChildSpec 

pub struct ChildSpec {
    pub name: ChildName,
    pub start: Box<dyn ChildStart>,
    pub restart: SupervisionStrategy,
    pub shutdown_budget: Budget,
    pub depends_on: Vec<ChildName>,
    pub registration: NameRegistrationPolicy,
    pub start_immediately: bool,
    pub required: bool,
}

Specification for a supervised child.

This is the compiled topology input for the SPORK supervisor builder. It is intentionally explicit: all “ambient” behavior (naming, restart, ordering) is specified in data so that the compiled runtime is deterministic.

Fields

name: ChildName

Unique child identifier (stable tie-break key).

start: Box<dyn ChildStart>

Start factory (invoked at initial start and on restart).

restart: SupervisionStrategy

Restart strategy for this child (Stop/Restart/Escalate).

shutdown_budget: Budget

Shutdown/cleanup budget for this child (used during supervisor stop).

depends_on: Vec<ChildName>

Explicit dependencies (child names). Used to compute deterministic start order.

registration: NameRegistrationPolicy

Optional name registration policy.

start_immediately: bool

Whether the child should be started immediately at supervisor boot.

required: bool

Whether the child is required (supervisor fails if child can’t start).

Implementations

impl ChildSpec

pub fn new<F>(name: impl Into<ChildName>, start: F) -> Self

where F: ChildStart + 'static,

Create a new child spec.

The child is required and start_immediately by default.

pub fn with_restart(self, restart: SupervisionStrategy) -> Self

Set the restart strategy for this child.

pub fn with_shutdown_budget(self, budget: Budget) -> Self

Set the shutdown budget for this child.

pub fn depends_on(self, name: impl Into<ChildName>) -> Self

Add a dependency on another child by name.

pub fn with_registration(self, policy: NameRegistrationPolicy) -> Self

Set name registration policy for this child.

pub fn with_start_immediately(self, start: bool) -> Self

Set whether the child should start immediately.

pub fn with_required(self, required: bool) -> Self

Set whether the child is required.

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

Compare two child specs by deterministic declarative surface only.

This intentionally ignores the start factory closure and compares only pure spec fields so builder outputs can be compared in tests and tooling without depending on closure identity.

pub fn spec_fingerprint(&self) -> u64

Deterministic fingerprint of the declarative child spec fields.

Like spec_eq, this excludes the start closure and hashes only pure spec data.

Trait Implementations

impl Debug for ChildSpec

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

Formats the value using the given formatter.