CheckpointState class final

The captured checkpoint mark (omp's CheckpointState).

Constructors

CheckpointState({required int messageCount, required DateTime startedAt, String? entryId, String? goal})

Creates a CheckpointState.

const

Properties

entryId → String?

Session-tree anchor: the CheckpointRecord id written at the mark, or null when the host has no session. The rewind navigates the tree back to this record.

final

goal → String?

Optional investigation goal given by the model.

final

hashCode → int

The hash code for this object.

no setter, inherited

messageCount → int

In-memory message count at the mark, AFTER the checkpoint tool result was appended (omp semantics). The rewind prunes back to this count.

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

startedAt → DateTime

When the checkpoint was created.

final

Methods

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited