Victoria.Trace (Victoria v0.1.0)

Copy Markdown View Source

A validated, normalized formal trace.

Trace structs are returned by load/1; consumers should not construct them directly because loading establishes the structural and value invariants required by the runner.

Summary

Types

metadata()

Normalized trace metadata retained from the ITF document.

t()

A finite trace, or a loaded lasso trace that replay will reject.

Functions

load(path)

Loads and validates the supported ITF subset from path.

Types

metadata()

@type metadata() :: %{
  variables: [String.t()],
  parameters: [String.t()],
  source_format: :itf,
  itf: map()
}

Normalized trace metadata retained from the ITF document.

t()

@type t() :: %Victoria.Trace{
  loop_index: non_neg_integer() | nil,
  metadata: metadata(),
  source: Path.t(),
  steps: [Victoria.Step.t(), ...]
}

A finite trace, or a loaded lasso trace that replay will reject.

Functions

load(path)

@spec load(Path.t()) :: {:ok, t()} | {:error, Victoria.ITF.Error.t()}

Loads and validates the supported ITF subset from path.