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

Properties

numSkippedUnknownEvents

var numSkippedUnknownEvents: Int

How many lines events skipped because they named an event type this version does not know. A trace written by a newer version can carry such events; skipping them, rather than failing on the first, lets an older reader show everything it does understand. A line that is not a well-formed event of a known type still fails.

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.