Import path
import semmle.code.java.Concurrency
Imports
| Mockito | Provides classes and predicates for identifying use of the Mockito mocking framework.
|
| java | Provides all default Java QL imports.
|
Predicates
| locallySynchronizedOn | Holds if e is synchronized by a local synchronized statement sync on the variable v.
|
| locallySynchronizedOnClass | Holds if e is synchronized by a synchronized modifier on the enclosing (static) method declared in the type classType.
|
| locallySynchronizedOnThis | Holds if e is synchronized by a local synchronized statement on a this of type thisType, or by a synchronized modifier on the enclosing (non-static) method.
|
Classes
| LockType | A Java type representing a lock.
|
| SynchronizedCallable | A callable that is synchronized on its enclosing instance, either by a synchronized modifier, or by having a body which is precisely synchronized(this) { ... }.
|
Modules
| Monitors | This module provides predicates, chiefly locallyMonitors, to check if a given expression is synchronized on a specific monitor.
|