start = Double.NEGATIVE_INFINITY;
} else {
try {
start = Double.parseDouble(start_str);
} catch (NumberFormatException nfe) {
throw new BadNagiosRangeException("bad start value:'"+start_str+"' in range:'"+range, nfe);
}
}
//
// set the end value default is infinity and ~ also means infinity
//
if (end_str == null || end_str.isEmpty() || end_str.equals("~")) {
end = Double.POSITIVE_INFINITY;
} else {
try {
end = Double.parseDouble(end_str);
} catch (NumberFormatException nfe) {
throw new BadNagiosRangeException("bad end value:'"+end_str+"' in range:'"+range, nfe);
}
}
//
// Start MUST NOT be greater than end!
//
if (start > end)
{
throw new BadNagiosRangeException("start ("+start+") MUST NOT be greater than end ("+end+")!");
}
}