TraceFileReader

class TraceFileReader(reader: BufferedReader) : Closeable(source)

Reads a JSON Lines (.atf) trace produced by JsonLinesAnimationOutput: readHeader consumes the first line; events streams the remaining lines as AnimationEvents lazily, so a large trace is never fully held in memory.

The reader is positional: call readHeader first, then iterate events. It is Closeable; wrap it in use { } or call close.

Constructors

TraceFileReader

constructor(reader: BufferedReader)

Types

Companion

object Companion

Functions

open override fun close()

events

fun events(): Sequence<AnimationEvent>

A lazy sequence over the remaining event lines. Blank lines are skipped. Because it reads from the shared reader, consume it after readHeader and before close.

readHeader

fun readHeader(): AnimationTraceHeader

Reads and decodes the header line. Call this once, before events.