Class JsonFileRunStore

The run in progress (single slot) as a SaveEnvelope JSON file. Saving null empties the slot.

public sealed class JsonFileRunStore : IRunStore

Inherited Members: object.GetType()

object.ToString()

object.Equals(object)

object.Equals(object, object)

object.ReferenceEquals(object, object)

object.GetHashCode()

Constructors

Creates storage for one run snapshot independently of profile progress and user options.

public JsonFileRunStore(string path, Func<IReadOnlyList<string>> arenaIds = null)

path string: Nonempty run file path.
arenaIds Func<IReadOnlyList<string>>: Stable arena ids in content order; needed only to read runs saved before arena ids existed.

public JsonEnvelopeFile File { get; }

public string Path { get; }

Deletes the saved run regardless of its state (an explicit reset).

public void Delete()

Loads the saved-run snapshot, or no snapshot when none is stored.

public RunSnapshot Load()

Stores the supplied run snapshot separately from profile and user options.

public void Save(RunSnapshot run)