common/org.jetbrains.lincheck.util/AnalysisProfile

AnalysisProfile

class AnalysisProfile(val analyzeStdLib: Boolean)

Configures how different code sections should be analyzed. Used to control which classes should be transformed for analysis, what analysis sections should be applied, and which methods should be hidden from trace results.

Constructors

AnalysisProfile

constructor(analyzeStdLib: Boolean)

Types

Companion

object Companion

Properties

analyzeStdLib

val analyzeStdLib: Boolean

Controls whether standard library code should be analyzed. When false, standard collections and concurrent collections are hidden, concurrent collections are muted.

Functions

getAnalysisSectionFor

fun getAnalysisSectionFor(className: String, methodName: String): AnalysisSectionType

Determines what type of analysis section should be applied to a given class and method.

shouldBeHidden

fun shouldBeHidden(className: String, methodName: String): Boolean

Determines whether calls to a given class/method should be hidden from trace results. Used to filter out standard library implementation details.

shouldTransform

fun shouldTransform(className: String, methodName: String): Boolean

Determines whether a given class and method should be transformed (instrumented) for analysis.