class SpecificationReader {

	protected ParameterRangeDiscrete getRangeInt(String value) {
		Scanner scanner = new Scanner(value);
		scanner.useDelimiter("[\\s+,()]+");

		int v = new Integer(scanner.next());
		int lb = new Integer(scanner.next());
		int ub = new Integer(scanner.next());

		scanner.close();

		return Parameters.range(v, lb, ub);
	}

}