Package-level declarations

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.

Represents different types of analysis sections within the Lincheck framework. These sections provide various analysis guarantees and characteristics.

Represents a set of Java Development Kit (JDK) major versions since JDK 6.

This property on the top level serves as a cache. We will call ideaPluginEnabled method only once and so on the plugin side the callback will be called also only once.

Indicates whether the current Java Development Kit (JDK) version is JDK 8.

Determines the current JDK version based on the java.specification.version system property. If the system property indicates an unsupported JDK version, an error is thrown.

Disables analysis for the current thread.

Enables analysis for the current thread.

Enters an ignored section for the current thread.

Checks if the given class name belongs to the IntelliJ runtime agents.

Checks if the given class name belongs to the IntelliJ runtime coverage agent package.

Checks if the given class name belongs to the IntelliJ runtime debugger agent package.

Test if the given class name corresponds to a Java lambda class.

Tests if the provided className represents one of jdk internal ThreadContainer classes that use JavaLangAccess.start API to start threads.

Leaves an ignored section for the current thread.

Reads a field of the owner object obj via Unsafe, in case of failure fallbacks into reading the field via reflection.

Executes a given block of code within an ignored section.

Exits the ignored section and invokes the provided block outside an ignored section, restoring the ignored section back after the block is executed.