/** * Copyright (C) 2001-2017 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 com.rapidminer.tools.XMLException; import org.w3c.dom.Element; /** * 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 + ""); } }