Lines Matching defs:supertypes
1900 // special case for intersections: need to eliminate wildcards in supertypes
1933 /** Compute all the supertypes of t, indexed by type symbol. */
1943 /** Compute all the supertypes of t, indexed by type symbol (except thise in typesSkip). */
1998 Map<TypeSymbol,Type> supertypes = new HashMap<>();
2001 closure(site, supertypes);
2002 for (Type t : supertypes.values()) {
2226 List<JCTree> supertypes = List.nil();
2228 supertypes = supertypes.prepend(tree.getExtendsClause());
2232 supertypes = supertypes.prepend(intf);
2235 checkClass(tree.pos(), tree.sym, supertypes);
2238 void checkClass(DiagnosticPosition pos, Symbol c, List<JCTree> supertypes) {
2248 if (supertypes.nonEmpty()) {
2249 scan(supertypes);
2402 List<Type> supertypes = types.interfaces(c);
2406 supertypes = supertypes.prepend(supertype);
2407 for (List<Type> l = supertypes; l.nonEmpty(); l = l.tail) {
2411 for (List<Type> m = supertypes; m != l; m = m.tail)