Cross Reference: /openjdk7/langtools/src/share/classes/com/sun/tools/javac/code/Types.java

Lines Matching refs:supertype
385             for (Type s2 : interfaces(s).prepend(supertype(s))) {
572      * Is t a supertype of s?
671                     if (!visit(supertype(t), supertype(s)))
1018                     if (!visit(supertype(t), s))
1413                 Type st = supertype(t);
1693      * @param supertype         is objectType if all bounds are interfaces,
1697                                  Type supertype) {
1712         if (supertype != null) {
1713             bt.supertype_field = supertype;
1732         Type supertype = (bounds.head.tsym.flags() & INTERFACE) != 0 ?
1733             supertype(bounds.head) : null;
1734         return makeCompoundType(bounds, supertype);
1749     // <editor-fold defaultstate="collapsed" desc="supertype">
1750     public Type supertype(Type t) {
1751         return supertype.visit(t);
1754         private UnaryVisitor<Type> supertype = new UnaryVisitor<Type>() {
1758                 // determine a supertype for a super bounded wildcard.
1765                     Type supertype = ((ClassSymbol)t.tsym).getSuperclass();
1766                     // An interface has no superclass; its supertype is Object.
1768                         supertype = ((ClassType)t.tsym.type).supertype_field;
1773                             t.supertype_field = erasureRecursive(supertype);
1775                             t.supertype_field = subst(supertype, formals, actuals);
1778                             t.supertype_field = supertype;
1786              * The supertype is always a class type. If the type
1788              * the supertype.  Otherwise, the supertype is
1797                     return supertype(t.bound);
1806                     return new ArrayType(supertype(t.elemtype), t.tsym);
1897             supertype(t) != null && isDerivedRaw(supertype(t)) ||
1914      * @param supertype         is objectType if all bounds are interfaces,
1917     public void setBounds(TypeVar t, List<Type> bounds, Type supertype) {
1921             t.bound = makeCompoundType(bounds, supertype);
1928      * all bounds are interface types, the computed supertype is Object,
1929      * otherwise the supertype is simply left null (in this case, the supertype
1935         Type supertype = (bounds.head.tsym.flags() & INTERFACE) != 0 ?
1937         setBounds(t, bounds, supertype);
1950             return interfaces(t).prepend(supertype(t));
1953             // In this case, supertype is Object, erasure is first interface.
1985                 return classBound(supertype(t));
2083             for (Type t = origin.type; t.tag == CLASS || t.tag == TYPEVAR; t = supertype(t)) {
2143                 membersClosure.addSubScope(visit(supertype(t), skipInterface));
2321                 Type st = subst(supertype(t));
2323                 if (st == supertype(t) && is == interfaces(t))
2547                     int r = rank(supertype(cls));
2562                 int r = rank(supertype(tvar));
2634                 buf.append(supertype(t));
2641                 // In this case, supertype is Object, erasure is first interface.
2669             Type st = supertype(t);
2679                 cl = closure(supertype(t));