TraceEvent<T> class

Represents a single event or state observation within a Trace.

A Trace is composed of a sequence of TraceEvents. Each event captures the state (value) of a system at a specific point in time (timestamp) relative to the start of the trace.

Key properties:

• Immutability: TraceEvents are immutable.
• Monotonic Timestamps: Within a valid Trace, events must be ordered by non-decreasing timestamps.

Use TraceEvent when building or representing the history of a system's evolution over time for evaluation against temporal logic formulas.

See also:

• Trace, the container for a sequence of TraceEvents.
• TimedValue, a similar but more general-purpose value-timestamp pair.

Annotations

• @immutable

Constructors

TraceEvent.new({required Duration timestamp, required T value})

Creates an immutable trace event.

const

Properties

hashCode → int

The hash code for this object.

no setter, override

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

timestamp → Duration

The time elapsed since the beginning of the trace when this event occurred. Timestamps within a Trace must be monotonically non-decreasing.

final

value → T

The state value recorded at this timestamp.

final

Methods

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

Provides a simple string representation, e.g., value @ 123ms. Note: For more formatting options, consider accessing timestamp directly.

override

Operators

operator ==(Object other) → bool

The equality operator.

override