153154155156157158159
private static NumericalAttr parseNumerical(StringTokenizer tokenizer) { double min = nextDouble(tokenizer); double max = nextDouble(tokenizer); assert min <= max : "min > max"; return new NumericalAttr(min, max); }