@Override
public Void visitClassType(ClassType t, Void ignored) {
if (t.isCompound()) {
if (indexOf(t, WhereClauseKind.INTERSECTION) == -1) {
Type supertype = types.supertype(t);
List<Type> interfaces = types.interfaces(t);
JCDiagnostic d =
diags.fragment("where.intersection", t, interfaces.prepend(supertype));
whereClauses.get(WhereClauseKind.INTERSECTION).put(t, d);
visit(supertype);
visit(interfaces);
}
}
nameSimplifier.addUsage(t.tsym);
visit(t.getTypeArguments());
if (t.getEnclosingType() != Type.noType) visit(t.getEnclosingType());
return null;
}
@Override
public Void visitTypeVar(TypeVar t, Void ignored) {
if (indexOf(t, WhereClauseKind.TYPEVAR) == -1) {
// access the bound type and skip error types
Type bound = t.bound;
while ((bound instanceof ErrorType)) bound = ((ErrorType) bound).getOriginalType();
// retrieve the bound list - if the type variable
// has not been attributed the bound is not set
List<Type> bounds =
(bound != null && bound.tsym != null) ? types.getBounds(t) : List.<Type>nil();
nameSimplifier.addUsage(t.tsym);
boolean boundErroneous =
bounds.head == null || bounds.head.tag == NONE || bounds.head.tag == ERROR;
if ((t.tsym.flags() & SYNTHETIC) == 0) {
// this is a true typevar
JCDiagnostic d =
diags.fragment(
"where.typevar" + (boundErroneous ? ".1" : ""),
t,
bounds,
Kinds.kindName(t.tsym.location()),
t.tsym.location());
whereClauses.get(WhereClauseKind.TYPEVAR).put(t, d);
symbolPreprocessor.visit(t.tsym.location(), null);
visit(bounds);
} else {
Assert.check(!boundErroneous);
// this is a fresh (synthetic) tvar
JCDiagnostic d = diags.fragment("where.fresh.typevar", t, bounds);
whereClauses.get(WhereClauseKind.TYPEVAR).put(t, d);
visit(bounds);
}
}
return null;
}
@Override
public Void visitClassSymbol(ClassSymbol s, Void ignored) {
nameSimplifier.addUsage(s);
return null;
}