common/org.jetbrains.lincheck.analysis/ShadowStackFrame

ShadowStackFrame

class ShadowStackFrame(val instance: Any?)

Represents a shadow stack frame used to reflect the program's stack in org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.

Constructors

Link copied to clipboard
constructor(instance: Any?)

Properties

Link copied to clipboard
val instance: Any?

the object on which the method was invoked, null in the case of a static method.

Functions

Link copied to clipboard
Link copied to clipboard
fun getLocalVariable(name: String): Any?
Link copied to clipboard
Link copied to clipboard
fun setLocalVariable(name: String, value: Any?)