public List<Type> allparams() { return qtype.allparams(); } public Type getUpperBound() { return qtype.getUpperBound(); }
public List<Type> allparams() { return qtype.allparams(); } public Type getUpperBound() { return qtype.getUpperBound(); }
public List<Type> allparams() { return qtype.allparams(); } public Type getUpperBound() { return qtype.getUpperBound(); }
@Override public List<Type> allparams() { return underlyingType.allparams(); } @Override
public List<Type> allparams() { return elemtype.allparams(); }
public List<Type> allparams() { return elemtype.allparams(); }
@Override public List<Type> allparams() { return underlyingType.allparams(); } @Override
/** * Is this class (or any enclosing class) generic? That is, does * it have type parameters? */ static boolean isGeneric(ClassSymbol c) { return c.type.allparams().nonEmpty(); }
@Override public Void visitClassType(ClassType source, Type target) throws AdaptFailure { if (target.hasTag(CLASS)) adaptRecursive(source.allparams(), target.allparams()); return null; }
/** A class type is raw if it misses some * of its type parameter sections. * After validation, this is equivalent to: * {@code allparams.isEmpty() && tsym.type.allparams.nonEmpty(); } */ public boolean isRaw() { return this != tsym.type && // necessary, but not sufficient condition tsym.type.allparams().nonEmpty() && allparams().isEmpty(); }
public List<Type> allparams() { if (allparams_field == null) { allparams_field = getTypeArguments().prependList(getEnclosingType().allparams()); } return allparams_field; }
/** A class type is raw if it misses some * of its type parameter sections. * After validation, this is equivalent to: * {@code allparams.isEmpty() && tsym.type.allparams.nonEmpty(); } */ public boolean isRaw() { return this != tsym.type && // necessary, but not sufficient condition tsym.type.allparams().nonEmpty() && allparams().isEmpty(); }
public List<Type> allparams() { if (allparams_field == null) { allparams_field = getTypeArguments().prependList(getEnclosingType().allparams()); } return allparams_field; }
/** A class type is raw if it misses some * of its type parameter sections. * After validation, this is equivalent to: * allparams.isEmpty() && tsym.type.allparams.nonEmpty(); */ public boolean isRaw() { return this != tsym.type && // necessary, but not sufficient condition tsym.type.allparams().nonEmpty() && allparams().isEmpty(); }
@Override public Void visitClassType(ClassType source, Type target) throws AdaptFailure { if (target.hasTag(CLASS)) adaptRecursive(source.allparams(), target.allparams()); return null; }
public List<Type> allparams() { if (allparams_field == null) { allparams_field = getTypeArguments().prependList(getEnclosingType().allparams()); } return allparams_field; }
/** A class type is raw if it misses some * of its type parameter sections. * After validation, this is equivalent to: * allparams.isEmpty() && tsym.type.allparams.nonEmpty(); */ public boolean isRaw() { return this != tsym.type && // necessary, but not sufficient condition tsym.type.allparams().nonEmpty() && allparams().isEmpty(); }
public List<Type> allparams() { if (allparams_field == null) { allparams_field = getTypeArguments().prependList(getEnclosingType().allparams()); } return allparams_field; }
private boolean giveWarning(Type from, Type to) { List<Type> bounds = to.isCompound() ? ((IntersectionClassType)to.unannotatedType()).getComponents() : List.of(to); for (Type b : bounds) { Type subFrom = asSub(from, b.tsym); if (b.isParameterized() && (!(isUnbounded(b) || isSubtype(from, b) || ((subFrom != null) && containsType(b.allparams(), subFrom.allparams()))))) { return true; } } return false; }
private boolean giveWarning(Type from, Type to) { List<Type> bounds = to.isCompound() ? ((IntersectionClassType)to.unannotatedType()).getComponents() : List.of(to); for (Type b : bounds) { Type subFrom = asSub(from, b.tsym); if (b.isParameterized() && (!(isUnbounded(b) || isSubtype(from, b) || ((subFrom != null) && containsType(b.allparams(), subFrom.allparams()))))) { return true; } } return false; }