trace/org.jetbrains.lincheck.trace

Package-level declarations

Types

class FileStreamingTraceCollecting(dataStream: OutputStream, indexStream: OutputStream, val context: TraceContext) : TraceCollectingStrategy, ContextSavingState

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

It is a strategy to collect trace: it can be full-track in memory or streaming to a file on-the-fly

data class TraceWithContext(val context: TraceContext, val roots: List<TRTracePoint>)

class TRMethodCallTracePoint(val threadId: Int, val codeLocationId: Int, val methodId: Int, val obj: TRObject?, val parameters: List<TRObject?>, val eventId: Int = EVENT_ID_GENERATOR.getAndIncrement()) : TRTracePoint

data class TRObject

class TRReadArrayTracePoint(val threadId: Int, val codeLocationId: Int, val array: TRObject, val index: Int, val value: TRObject?, val eventId: Int = EVENT_ID_GENERATOR.getAndIncrement()) : TRArrayTracePoint

class TRReadLocalVariableTracePoint(val threadId: Int, val codeLocationId: Int, val localVariableId: Int, val value: TRObject?, val eventId: Int = EVENT_ID_GENERATOR.getAndIncrement()) : TRLocalVariableTracePoint

class TRReadTracePoint(val threadId: Int, val codeLocationId: Int, val fieldId: Int, val obj: TRObject?, val value: TRObject?, val eventId: Int = EVENT_ID_GENERATOR.getAndIncrement()) : TRFieldTracePoint

sealed class TRTracePoint

class TRWriteArrayTracePoint(val threadId: Int, val codeLocationId: Int, val array: TRObject, val index: Int, val value: TRObject?, val eventId: Int = EVENT_ID_GENERATOR.getAndIncrement()) : TRArrayTracePoint

class TRWriteLocalVariableTracePoint(val threadId: Int, val codeLocationId: Int, val localVariableId: Int, val value: TRObject?, val eventId: Int = EVENT_ID_GENERATOR.getAndIncrement()) : TRLocalVariableTracePoint

class TRWriteTracePoint(val threadId: Int, val codeLocationId: Int, val fieldId: Int, val obj: TRObject?, val value: TRObject?, val eventId: Int = EVENT_ID_GENERATOR.getAndIncrement()) : TRFieldTracePoint