Package net.sf.tweety.plugin.parameter
Class IntegerCommandParameter
- java.lang.Object
-
- net.sf.tweety.plugin.parameter.CommandParameter
-
- net.sf.tweety.plugin.parameter.IntegerCommandParameter
-
- All Implemented Interfaces:
java.lang.Cloneable
public class IntegerCommandParameter extends CommandParameter
This parameter holds a number-interval of possible arguments- Author:
- Bastian Wolf
-
-
Constructor Summary
Constructors Constructor Description IntegerCommandParameter(java.lang.String id, java.lang.String des)
IntegerCommandParameter(java.lang.String id, java.lang.String des, java.lang.String interval)
IntegerCommandParameter(java.lang.String id, java.lang.String des, Interval<java.lang.Integer> interval)
-
Method Summary
Modifier and Type Method Description java.lang.Object
clone()
Clones the objectInterval<java.lang.Integer>
getInterval()
returns each possible selection argumentjava.lang.Integer
getValue()
returns the given instantiation argument value for this parameterCommandParameter
instantiate(java.lang.String s)
instantiates a new parameter iff the given value is valid for this command parameterboolean
isValid(java.lang.String s)
checks whether a cli input parameter argument is valid for the called command parametervoid
setInterval(java.lang.String interval)
sets new selection parametervoid
setValue(java.lang.Integer value)
sets the instantiated parameter argument value, value has to be one of the options contained in selections-
Methods inherited from class net.sf.tweety.plugin.parameter.CommandParameter
getDescription, getIdentifier
-
-
-
-
Constructor Detail
-
IntegerCommandParameter
public IntegerCommandParameter(java.lang.String id, java.lang.String des)
-
IntegerCommandParameter
public IntegerCommandParameter(java.lang.String id, java.lang.String des, Interval<java.lang.Integer> interval)
-
IntegerCommandParameter
public IntegerCommandParameter(java.lang.String id, java.lang.String des, java.lang.String interval)
-
-
Method Detail
-
setInterval
public void setInterval(java.lang.String interval)
sets new selection parameter- Parameters:
interval
- some string
-
getInterval
public Interval<java.lang.Integer> getInterval()
returns each possible selection argument- Returns:
- each possible selection argument
-
getValue
public java.lang.Integer getValue()
returns the given instantiation argument value for this parameter- Returns:
- the given instantiation argument value for this parameter
-
setValue
public void setValue(java.lang.Integer value)
sets the instantiated parameter argument value, value has to be one of the options contained in selections- Parameters:
value
- the value given as argument value
-
isValid
public boolean isValid(java.lang.String s)
checks whether a cli input parameter argument is valid for the called command parameter- Specified by:
isValid
in classCommandParameter
- Parameters:
s
- the given input string- Returns:
- true if valid, false if not
-
instantiate
public CommandParameter instantiate(java.lang.String s)
instantiates a new parameter iff the given value is valid for this command parameter- Specified by:
instantiate
in classCommandParameter
- Parameters:
s
- the given argument string- Returns:
- The CommandParameter instance or null if the given string is not valid.
-
clone
public java.lang.Object clone()
Clones the object
-
-