trace/org.jetbrains.lincheck.trace/TRReadArrayTracePoint

TRReadArrayTracePoint

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

Constructors

Link copied to clipboard
constructor(threadId: Int, codeLocationId: Int, array: TRObject, index: Int, value: TRObject?, eventId: Int = EVENT_ID_GENERATOR.getAndIncrement())

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
val eventId: Int
Link copied to clipboard
val index: Int
Link copied to clipboard
val threadId: Int
Link copied to clipboard
val value: TRObject?

Functions

Link copied to clipboard
open override fun toText(verbose: Boolean): String