Statifier.Effect.Trace.MacrostepStable (Statifier v2.0.0)

Copy Markdown View Source

Trace payload for {:trace, %__MODULE__{}} - emitted when the configuration reaches quiescence, i.e. the macrostep's microstep loop has no more eventless transitions or internal events to drain (docs/observability.md constraint 2's "macrostep stable" row). configuration is the full configuration (ADR-0005, ancestors included) as it stood at quiescence.

Built with new/2, never a struct literal, so macrostep/microstep/ round are always stamped from the Statifier.MachineState at hand.

Summary

Types

t()

Functions

new(machine_state, fields)

Stamps macrostep/microstep/round from machine_state and sets fields (:configuration).

Types

t()

@type t() :: %Statifier.Effect.Trace.MacrostepStable{
  configuration: MapSet.t(non_neg_integer()),
  macrostep: non_neg_integer(),
  microstep: non_neg_integer(),
  round: non_neg_integer()
}

Functions

new(machine_state, fields)

@spec new(machine_state :: Statifier.MachineState.t(), fields :: keyword()) :: t()

Stamps macrostep/microstep/round from machine_state and sets fields (:configuration).