equal
deleted
inserted
replaced
692 return name; |
692 return name; |
693 else return prefix.append(sep, name); |
693 else return prefix.append(sep, name); |
694 } |
694 } |
695 |
695 |
696 /** |
696 /** |
697 * A total ordering between type symbols that refines the |
697 * A partial ordering between type symbols that refines the |
698 * class inheritance graph. |
698 * class inheritance graph. |
699 * |
699 * |
700 * Typevariables always precede other kinds of symbols. |
700 * Type variables always precede other kinds of symbols. |
701 */ |
701 */ |
702 public final boolean precedes(TypeSymbol that, Types types) { |
702 public final boolean precedes(TypeSymbol that, Types types) { |
703 if (this == that) |
703 if (this == that) |
704 return false; |
704 return false; |
705 if (type.hasTag(that.type.getTag())) { |
705 if (type.hasTag(that.type.getTag())) { |