Module Concurrency

Import path

semmle.code.java.Concurrency

Imports

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.

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

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) { ... }.