protected boolean checkLowerBound(TType rhs) { if (! getWildcard().isSuperWildcardType()) return false; return rhs.canAssignTo(getWildcard().getBound()); }
protected boolean checkLowerBound(TType rhs) { if (! getWildcard().isSuperWildcardType()) return false; return rhs.canAssignTo(getWildcard().getBound()); }
protected boolean checkLowerBound(TType rhs) { if (! getWildcard().isSuperWildcardType()) return false; return rhs.canAssignTo(getWildcard().getBound()); }
return ((CaptureType)lhs).checkLowerBound(this.getWildcard());
@Override protected boolean doCanAssignTo(TType lhs) { switch (lhs.getKind()) { case NULL_TYPE: case VOID_TYPE: case PRIMITIVE_TYPE: return false; case ARRAY_TYPE: return canAssignFirstBoundTo(lhs); case GENERIC_TYPE: return false; case STANDARD_TYPE: case PARAMETERIZED_TYPE: case RAW_TYPE: return canAssignOneBoundTo(lhs); case UNBOUND_WILDCARD_TYPE: case EXTENDS_WILDCARD_TYPE: case SUPER_WILDCARD_TYPE: return ((WildcardType)lhs).checkAssignmentBound(this); case TYPE_VARIABLE: return false; //fWildcard.doCanAssignTo(lhs); case CAPTURE_TYPE: return ((CaptureType)lhs).checkLowerBound(this.getWildcard()); } return false; }
@Override protected boolean doCanAssignTo(TType lhs) { switch (lhs.getKind()) { case NULL_TYPE: case VOID_TYPE: case PRIMITIVE_TYPE: return false; case ARRAY_TYPE: return canAssignFirstBoundTo(lhs); case GENERIC_TYPE: return false; case STANDARD_TYPE: case PARAMETERIZED_TYPE: case RAW_TYPE: return canAssignOneBoundTo(lhs); case UNBOUND_WILDCARD_TYPE: case EXTENDS_WILDCARD_TYPE: case SUPER_WILDCARD_TYPE: return ((WildcardType)lhs).checkAssignmentBound(this); case TYPE_VARIABLE: return false; //fWildcard.doCanAssignTo(lhs); case CAPTURE_TYPE: return ((CaptureType)lhs).checkLowerBound(this.getWildcard()); } return false; }
protected boolean checkTypeArgument(TType rhs) { switch(rhs.getKind()) { case ARRAY_TYPE: case STANDARD_TYPE: case PARAMETERIZED_TYPE: case RAW_TYPE: return getBound().canAssignTo(rhs); case UNBOUND_WILDCARD_TYPE: return false; case EXTENDS_WILDCARD_TYPE: return false; case SUPER_WILDCARD_TYPE: return getBound().canAssignTo(((SuperWildcardType)rhs).getBound()); case TYPE_VARIABLE: return getBound().canAssignTo(rhs); case CAPTURE_TYPE: return checkTypeArgument(((CaptureType)rhs).getWildcard()); default: return false; } }
@Override protected boolean checkTypeArgument(TType rhs) { switch(rhs.getKind()) { case ARRAY_TYPE: case STANDARD_TYPE: case PARAMETERIZED_TYPE: case RAW_TYPE: return getBound().canAssignTo(rhs); case UNBOUND_WILDCARD_TYPE: return false; case EXTENDS_WILDCARD_TYPE: return false; case SUPER_WILDCARD_TYPE: return getBound().canAssignTo(((SuperWildcardType)rhs).getBound()); case TYPE_VARIABLE: return getBound().canAssignTo(rhs); case CAPTURE_TYPE: return checkTypeArgument(((CaptureType)rhs).getWildcard()); default: return false; } }
@Override protected boolean checkTypeArgument(TType rhs) { switch(rhs.getKind()) { case ARRAY_TYPE: case STANDARD_TYPE: case PARAMETERIZED_TYPE: case RAW_TYPE: return getBound().canAssignTo(rhs); case UNBOUND_WILDCARD_TYPE: return false; case EXTENDS_WILDCARD_TYPE: return false; case SUPER_WILDCARD_TYPE: return getBound().canAssignTo(((SuperWildcardType)rhs).getBound()); case TYPE_VARIABLE: return getBound().canAssignTo(rhs); case CAPTURE_TYPE: return checkTypeArgument(((CaptureType)rhs).getWildcard()); default: return false; } }
protected boolean checkTypeArgument(TType rhs) { switch(rhs.getKind()) { case ARRAY_TYPE: case STANDARD_TYPE: case PARAMETERIZED_TYPE: return rhs.canAssignTo(getBound()); case RAW_TYPE: // unchecked conversion not allowed here; fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=127583 return ! getBound().isParameterizedType() && rhs.canAssignTo(getBound()); case UNBOUND_WILDCARD_TYPE: return getBound().isJavaLangObject(); case EXTENDS_WILDCARD_TYPE: return ((ExtendsWildcardType)rhs).getBound().canAssignTo(getBound()); case SUPER_WILDCARD_TYPE: return getBound().isJavaLangObject(); case TYPE_VARIABLE: return rhs.canAssignTo(getBound()); case CAPTURE_TYPE: return checkTypeArgument(((CaptureType)rhs).getWildcard()); default: return false; } }
@Override protected boolean checkTypeArgument(TType rhs) { switch(rhs.getKind()) { case ARRAY_TYPE: case STANDARD_TYPE: case PARAMETERIZED_TYPE: return rhs.canAssignTo(getBound()); case RAW_TYPE: // unchecked conversion not allowed here; fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=127583 return ! getBound().isParameterizedType() && rhs.canAssignTo(getBound()); case UNBOUND_WILDCARD_TYPE: return getBound().isJavaLangObject(); case EXTENDS_WILDCARD_TYPE: return ((ExtendsWildcardType)rhs).getBound().canAssignTo(getBound()); case SUPER_WILDCARD_TYPE: return getBound().isJavaLangObject(); case TYPE_VARIABLE: return rhs.canAssignTo(getBound()); case CAPTURE_TYPE: return checkTypeArgument(((CaptureType)rhs).getWildcard()); default: return false; } }
@Override protected boolean checkTypeArgument(TType rhs) { switch(rhs.getKind()) { case ARRAY_TYPE: case STANDARD_TYPE: case PARAMETERIZED_TYPE: return rhs.canAssignTo(getBound()); case RAW_TYPE: // unchecked conversion not allowed here; fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=127583 return ! getBound().isParameterizedType() && rhs.canAssignTo(getBound()); case UNBOUND_WILDCARD_TYPE: return getBound().isJavaLangObject(); case EXTENDS_WILDCARD_TYPE: return ((ExtendsWildcardType)rhs).getBound().canAssignTo(getBound()); case SUPER_WILDCARD_TYPE: return getBound().isJavaLangObject(); case TYPE_VARIABLE: return rhs.canAssignTo(getBound()); case CAPTURE_TYPE: return checkTypeArgument(((CaptureType)rhs).getWildcard()); default: return false; } }