DfType (LongRangeSet range) { if (range.equals(LongRangeSet.all())) return LONG; if (range.isEmpty()) return DfType.BOTTOM; Long value = range.getConstantValue(); if (value != null) { return longValue(value); } return new DfLongRangeType(range, null); }