3.1.1

jvm-agent/org.jetbrains.kotlinx.lincheck.transformation/MethodVariables

MethodVariables

data class MethodVariables(val variables: LocalVariablesMap = emptyMap())

Constructors

MethodVariables

constructor(variables: LocalVariablesMap = emptyMap())

Properties

activeVariables

val activeVariables: Set<LocalVariableInfo>

val hasInlines: Boolean

val variables: LocalVariablesMap

Functions

fun getVarByName(name: String): Set<LocalVariableInfo>

fun hasVarByName(name: String): Boolean

fun inlinesEndAt(label: Label): List<LocalVariableInfo>

fun inlinesStartAt(label: Label): List<LocalVariableInfo>

fun variablesEndAt(label: Label): List<LocalVariableInfo>

variablesStartAt

fun variablesStartAt(label: Label): List<LocalVariableInfo>

fun visitLabel(label: Label?)