common

3.1.1

common/org.jetbrains.lincheck.trace/TraceContext

TraceContext

class TraceContext

Constructors

constructor()

Properties

classDescriptors

val classDescriptors: List<ClassDescriptor?>

val codeLocations: List<StackTraceElement?>

fieldDescriptors

val fieldDescriptors: List<FieldDescriptor?>

methodDescriptors

val methodDescriptors: List<MethodDescriptor?>

variableDescriptors

val variableDescriptors: List<VariableDescriptor?>

Functions

fun clear()

getClassDescriptor

fun getClassDescriptor(classId: Int): ClassDescriptor

getFieldDescriptor

fun getFieldDescriptor(fieldId: Int): FieldDescriptor

getMethodDescriptor

fun getMethodDescriptor(methodId: Int): MethodDescriptor

getOrCreateClassId

fun getOrCreateClassId(className: String): Int

getOrCreateFieldId

fun getOrCreateFieldId(className: String, fieldName: String, isStatic: Boolean, isFinal: Boolean): Int

getOrCreateMethodId

fun getOrCreateMethodId(className: String, methodName: String, desc: String): Int

getOrCreateVariableId

fun getOrCreateVariableId(variableName: String): Int

getVariableDescriptor

fun getVariableDescriptor(variableId: Int): VariableDescriptor

newCodeLocation

fun newCodeLocation(stackTraceElement: StackTraceElement): Int

restoreClassDescriptor

fun restoreClassDescriptor(id: Int, value: ClassDescriptor)

restoreCodeLocation

fun restoreCodeLocation(id: Int, value: StackTraceElement)

restoreFieldDescriptor

fun restoreFieldDescriptor(id: Int, value: FieldDescriptor)

restoreMethodDescriptor

fun restoreMethodDescriptor(id: Int, value: MethodDescriptor)

restoreVariableDescriptor

fun restoreVariableDescriptor(id: Int, value: VariableDescriptor)

fun stackTrace(codeLocationId: Int): StackTraceElement