}
public static String formatRangeString(RangeExpression range) {
StringBuilder sb = new StringBuilder();
SimpleExpression low = range.getLow();
if (low == null) {
sb.append("[0");
} else {
if (low.getOp() == Op.GREATER)
sb.append("(");
else
sb.append("[");
sb.append(low.getValue());
}
sb.append(", ");
SimpleExpression high = range.getHigh();
if (high == null) {
sb.append("\u221e]"); // INFINITY Unicode: U+221E, UTF-8: E2 88 9E
} else {
sb.append(high.getValue());
if (high.getOp() == Op.LESS)
sb.append(")");
else
sb.append("]");
}
return sb.toString();