/*
* RapidMiner
*
* Copyright (C) 2001-2014 by RapidMiner and the contributors
*
* Complete list of developers available at our web site:
*
* http://rapidminer.com
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Affero General Public License for more details.
*
* You should have received a copy of the GNU Affero General Public License
* along with this program. If not, see http://www.gnu.org/licenses/.
*/
package com.rapidminer.parameter;
import org.w3c.dom.Element;
import com.rapidminer.tools.XMLException;
/**
* A parameter type for integer values. Operators ask for the integer value with
* {@link com.rapidminer.operator.Operator#getParameterAsInt(String)}. For
* infinite ranges Integer.MIN_VALUE and Integer.MAX_VALUE should be used.
*
* @author Ingo Mierswa, Simon Fischer
*/
public class ParameterTypeInt extends ParameterTypeNumber {
private static final long serialVersionUID = -7360090072467405524L;
private static final String ATTRIBUTE_DEFAULT = "default";
private static final String ATTRIBUTE_MAX = "max";
private static final String ATTRIBUTE_MIN = "min";
private int defaultValue = -1;
private int min = Integer.MIN_VALUE;
private int max = Integer.MAX_VALUE;
private boolean noDefault = true;
public ParameterTypeInt(Element element) throws XMLException {
super(element);
noDefault = element.hasAttribute(ATTRIBUTE_DEFAULT);
if (!noDefault)
defaultValue = Integer.parseInt(element.getAttribute(ATTRIBUTE_DEFAULT));
max = Integer.parseInt(element.getAttribute(ATTRIBUTE_MAX));
min = Integer.parseInt(element.getAttribute(ATTRIBUTE_MIN));
}
public ParameterTypeInt(String key, String description, int min, int max) {
this(key, description, min, max, -1);
this.noDefault = true;
setOptional(false);
}
public ParameterTypeInt(String key, String description, int min, int max, boolean optional) {
this(key, description, min, max, -1);
this.noDefault = true;
setOptional(optional);
}
public ParameterTypeInt(String key, String description, int min, int max, int defaultValue) {
super(key, description);
this.defaultValue = defaultValue;
this.min = min;
this.max = max;
this.noDefault = false;
}
public ParameterTypeInt(String key, String description, int min, int max, int defaultValue, boolean expert) {
this(key, description, min, max, defaultValue);
setExpert(expert);
}
public void setMinValue(int min) {
this.min = min;
}
public void getMaxValue(int max) {
this.max = max;
}
@Override
public double getMinValue() {
return min;
}
@Override
public double getMaxValue() {
return max;
}
public int getMinValueInt() {
return min;
}
public int getMaxValueInt() {
return max;
}
public int getDefaultInt() {
return defaultValue;
}
@Override
public Object getDefaultValue() {
if (noDefault)
return null;
else
return Integer.valueOf(defaultValue);
}
@Override
public void setDefaultValue(Object defaultValue) {
noDefault = false;
this.defaultValue = (Integer)defaultValue;
}
/** Returns true. */
@Override
public boolean isNumerical() { return true; }
@Override
public String getRange() {
String range = "integer; ";
if (min == -Integer.MAX_VALUE)
range += "-\u221E";
else
range += min;
range += "-";
if (max == Integer.MAX_VALUE)
range += "+\u221E";
else
range += max;
if (!noDefault) {
range += "; default: " + getStringRepresentation(defaultValue);
}
return range;
}
public String getStringRepresentation(int value) {
String valueString = value + "";
if (value == Integer.MAX_VALUE) {
valueString = "+\u221E";
} else if (value == Integer.MIN_VALUE) {
valueString = "-\u221E";
}
return valueString;
}
@Override
protected void writeDefinitionToXML(Element typeElement) {
if (!noDefault)
typeElement.setAttribute(ATTRIBUTE_DEFAULT, defaultValue + "");
typeElement.setAttribute(ATTRIBUTE_MIN, min + "");
typeElement.setAttribute(ATTRIBUTE_MAX, max + "");
}
}