Reifiable Types

Some types are available at compile time and some types are at run time. Types that are completely available at run time are called Reifiable types.

A type is reifiable if and only if one of the following holds:

• It refers to a non-generic class or interface type declaration.

• It is a parameterized type in which all type arguments are unbounded wildcards

• It is a raw type

• It is a primitive type

• It is an array type whose element type is reifiable.

• It is a nested type where, for each type T separated by a ".", T itself is reifiable.

                                                             Home