Module Generics

Provides classes and predicates for working with generic types.

A generic type as declared in the program, for example

  class X<T> { }

is represented by a GenericType.

A parameterized instance of such a type, for example

  X<String>

is represented by a ParameterizedType.

For dealing with legacy code that is unaware of generics, every generic type has a “raw” version, represented by a RawType. In the example, X is the raw version of X<T>.

The erasure of a parameterized or raw type is its generic counterpart.

Type parameters may have bounds as in

  class X<T extends Number> { }

which are represented by a TypeBound.

The terminology for generic methods is analogous.

Import path

import semmle.code.java.Generics

Imports

Type	Provides classes and predicates for working with Java types.

Classes

BoundedType	A common super-class for Java types that may have a type bound. This includes type parameters and wildcards.
GenericCall	A call where the callee is a generic callable.
GenericCallable	A generic callable is a callable with a type parameter.
GenericClass	A generic type that is a class.
GenericConstructor	A generic constructor is a constructor with a type parameter.
GenericInterface	A generic type that is an interface.
GenericMethod	A generic method is a method with a type parameter.
GenericSrcMethod	A generic method that is the same as its source declaration.
GenericType	A generic type is a type that has a type parameter.
ParameterizedClass	A parameterized type that is a class.
ParameterizedInterface	A parameterized type that is an interface.
ParameterizedType	A parameterized type is an instantiation of a generic type, where each formal type variable has been replaced with a type argument.
RawClass	A raw type that is a class.
RawInterface	A raw type that is an interface.
RawType	The raw version of a generic type is the type that is formed by using the name of a generic type without specifying its type arguments.
TypeBound	A type bound on a type variable.
TypeVariable	A type parameter used in the declaration of a generic type or method.
Wildcard	A wildcard used as a type argument.