trace

3.1.1

trace/org.jetbrains.lincheck.trace/TRReadTracePoint

TRReadTracePoint

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

Constructors

TRReadTracePoint

constructor(threadId: Int, codeLocationId: Int, fieldId: Int, obj: TRObject?, value: TRObject?, eventId: Int = EVENT_ID_GENERATOR.getAndIncrement())

Properties

val className: String

val codeLocation: StackTraceElement

val codeLocationId: Int

val eventId: Int

fieldDescriptor

val fieldDescriptor: FieldDescriptor

val fieldId: Int

val isFinal: Boolean

val isStatic: Boolean

val name: String

val obj: TRObject?

val threadId: Int

val value: TRObject?

Functions

open override fun toText(verbose: Boolean): String