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

LincheckJavaAgent

object LincheckJavaAgent

LincheckJavaAgent represents the Lincheck Java agent responsible for instrumenting bytecode.

Properties

instrumentation

lateinit var instrumentation: Instrumentation

The Instrumentation instance is used to perform bytecode transformations during runtime.

instrumentationMode

lateinit var instrumentationMode: InstrumentationMode

Determines how to transform classes; see InstrumentationMode.STRESS and InstrumentationMode.MODEL_CHECKING.

instrumentedClasses

val instrumentedClasses: HashSet<String>

Names (canonical) of the classes that were instrumented since the last agent installation.

Functions

ensureClassHierarchyIsTransformed

fun ensureClassHierarchyIsTransformed(canonicalClassName: String)

Ensures that the specified class and all its superclasses are transformed.

ensureObjectIsTransformed

fun ensureObjectIsTransformed(obj: Any)

Ensures that the given object and all its referenced objects are transformed for Lincheck analysis. If the INSTRUMENT_ALL_CLASSES_IN_MODEL_CHECKING_MODE flag is set to true, no transformation is performed.

install

fun install(instrumentationMode: InstrumentationMode)

Adds LincheckClassFileTransformer to this JVM instance. Also, retransforms already loaded classes.

uninstall

fun uninstall()

Detaches LincheckClassFileTransformer from this JVM instance and re-transforms the transformed classes to remove the Lincheck injections.