Module Dependency

Provides utility predicates for representing dependencies between types.

Import path

semmle.code.java.Dependency

Imports

Expr

Provides classes for working with Java expressions.

Generics

Provides classes and predicates for working with generic types.

Type

Provides classes and predicates for working with Java types.

Predicates

depends

Holds if type t depends on type dep.

usesType

Bind the reference type dep to the source declaration of any types used to construct t, including (possibly nested) type parameters of parameterized types, element types of array types, and bounds of type variables or wildcards.