Class Recorder

Namespace

DotFly

Assembly

DotFly.Engine.dll

Writes a .dfs recording: a little-endian stream of tagged records after a JSON header that pins the checkpoint, seed and options. Spikes, inputs and output frames carry the step they belong to, so a run can be replayed (Replay(Simulation)) or exported.

public sealed class Recorder : IDisposable

Inheritance

object

Recorder

Implements

IDisposable

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Properties

Flags

What is being recorded.

public RecordFlags Flags { get; }

Property Value

RecordFlags

Path

Output path.

public string Path { get; }

Property Value

string

Methods

Dispose()

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

public void Dispose()

Flush()

Flushes buffered records to disk.

public void Flush()