| ClassInterfacesType.java | Class | This class represents a type aproximation, consisting of multiple
interfaces and a class type.
If this is the bottom boundary, this specifies, which class our
type must extend and which interfaces it must implement.
If this is the top boundary, this gives all interfaces and classes
that may extend the type. |