common/org.jetbrains.lincheck.descriptors/CodeLocations/newCodeLocation

newCodeLocation

@JvmStatic
@Synchronized
fun newCodeLocation(stackTraceElement: StackTraceElement): Int

Registers a new code location and returns its unique ID.

Return

Unique ID of the new code location.

Parameters

stackTraceElement

Stack trace element representing the new code location.