common/org.jetbrains.lincheck.descriptors

Package-level declarations

Types

data class ClassDescriptor(val name: String)

CodeLocations object is used to maintain the mapping between unique IDs and code locations. When Lincheck detects an error in the model checking mode, it provides a detailed interleaving trace. This trace includes a list of all shared memory events that occurred during the execution of the program, along with their corresponding code locations. To minimize overhead, Lincheck assigns unique IDs to all code locations it analyses, and stores more detailed information necessary for trace generation in this object.

FieldDescriptor

data class FieldDescriptor(context: TraceContext, val classId: Int, val fieldName: String, val isStatic: Boolean, val isFinal: Boolean)

MethodDescriptor

data class MethodDescriptor(context: TraceContext, val classId: Int, val methodSignature: MethodSignature)

MethodSignature

data class MethodSignature(val name: String, val methodType: Types.MethodType)

Types

object Types

VariableDescriptor

data class VariableDescriptor(val name: String)

Functions

toMethodSignature

fun Method.toMethodSignature(): MethodSignature