trace

3.1.1

trace/org.jetbrains.lincheck.trace/TRMethodCallTracePoint

TRMethodCallTracePoint

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

Constructors

TRMethodCallTracePoint

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

Properties

val argumentTypes: List<Types.Type>

val className: String

val codeLocation: StackTraceElement

val codeLocationId: Int

val eventId: Int

val events: List<TRTracePoint?>

exceptionClassName

var exceptionClassName: String?

methodDescriptor

val methodDescriptor: MethodDescriptor

val methodId: Int

val methodName: String

val obj: TRObject?

val parameters: List<TRObject?>

var result: TRObject?

val returnType: Types.Type

val threadId: Int

Functions

open override fun toText(verbose: Boolean): String

unloadAllChildren

fun unloadAllChildren()

fun unloadChild(index: Int)