trace/org.jetbrains.lincheck.trace/LazyTraceReader

LazyTraceReader

class LazyTraceReader(dataFileName: String, index: DataInputStream?) : Closeable

This needs a file name as it uses a seekable file channel, it is easier than seekable stream

Constructors

Link copied to clipboard
constructor(baseFileName: String)
constructor(dataFileName: String, index: DataInputStream?)

Properties

Link copied to clipboard
val context: TraceContext

Functions

Link copied to clipboard
open override fun close()
Link copied to clipboard
Link copied to clipboard
fun loadChild(parent: TRMethodCallTracePoint, childIdx: Int)
Link copied to clipboard
fun loadChildrenRange(parent: TRMethodCallTracePoint, from: Int, count: Int)
Link copied to clipboard