org.dllearner.core.config
Class IntegerEditor
java.lang.Object
org.dllearner.core.config.IntegerEditor
- All Implemented Interfaces:
- PropertyEditor
public class IntegerEditor
- extends Object
- implements PropertyEditor
IntegerEditor
public IntegerEditor()
addPropertyChangeListener
public void addPropertyChangeListener(PropertyChangeListener listener)
- Specified by:
addPropertyChangeListener in interface PropertyEditor
getAsText
public String getAsText()
- Specified by:
getAsText in interface PropertyEditor
getCustomEditor
public Component getCustomEditor()
- Specified by:
getCustomEditor in interface PropertyEditor
getJavaInitializationString
public String getJavaInitializationString()
- Specified by:
getJavaInitializationString in interface PropertyEditor
getTags
public String[] getTags()
- Specified by:
getTags in interface PropertyEditor
getValue
public Object getValue()
- Specified by:
getValue in interface PropertyEditor
isPaintable
public boolean isPaintable()
- Specified by:
isPaintable in interface PropertyEditor
paintValue
public void paintValue(Graphics gfx,
Rectangle box)
- Specified by:
paintValue in interface PropertyEditor
removePropertyChangeListener
public void removePropertyChangeListener(PropertyChangeListener listener)
- Specified by:
removePropertyChangeListener in interface PropertyEditor
setAsText
public void setAsText(String text)
throws IllegalArgumentException
- Specified by:
setAsText in interface PropertyEditor
- Throws:
IllegalArgumentException
setValue
public void setValue(Object value)
- Specified by:
setValue in interface PropertyEditor
supportsCustomEditor
public boolean supportsCustomEditor()
- Specified by:
supportsCustomEditor in interface PropertyEditor
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2011 Jens Lehmann