public boolean isArrayType() { return getType().isArrayClass(); }
public boolean isArrayType() { return getType().isArrayClass(); }
public SetType(PointType[] points) { if (points == null) { throw new IllegalArgumentException("points is null"); } if (points.length == 0) { throw new IllegalArgumentException("points.length == 0"); } types = HashSetFactory.make(points.length); int h = 0; for (int i = 0; i < points.length; i++) { if (points[i] == null) { throw new IllegalArgumentException("points[" + i + "] is null"); } TypeReference T = points[i].getType().getReference(); h ^= T.hashCode(); types.add(T); } hashCode = h; }
public SetType(PointType[] points) { if (points == null) { throw new IllegalArgumentException("points is null"); } if (points.length == 0) { throw new IllegalArgumentException("points.length == 0"); } types = HashSetFactory.make(points.length); int h = 0; for (int i = 0; i < points.length; i++) { if (points[i] == null) { throw new IllegalArgumentException("points[" + i + "] is null"); } TypeReference T = points[i].getType().getReference(); h ^= T.hashCode(); types.add(T); } hashCode = h; }
return other.meet(new ConeType(this.getType())); } else { Assertions.UNREACHABLE("Unexpected type: " + rhs.getClass());
return other.meet(new ConeType(this.getType())); } else { Assertions.UNREACHABLE("Unexpected type: " + rhs.getClass());
elementType = ((PointType) arrayType).getType().getReference().getArrayElementType(); } else if (arrayType instanceof ConeType) { elementType = ((ConeType) arrayType).getType().getReference().getArrayElementType(); TypeReference tType = null; if (lhs.getType() instanceof PointType) { tType = ((PointType) lhs.getType()).getType().getReference(); } else if (lhs.getType() instanceof ConeType) { tType = ((ConeType) lhs.getType()).getType().getReference();
elementType = ((PointType) arrayType).getType().getReference().getArrayElementType(); } else if (arrayType instanceof ConeType) { elementType = ((ConeType) arrayType).getType().getReference().getArrayElementType(); TypeReference tType = null; if (lhs.getType() instanceof PointType) { tType = ((PointType) lhs.getType()).getType().getReference(); } else if (lhs.getType() instanceof ConeType) { tType = ((ConeType) lhs.getType()).getType().getReference();