Class IntegerCommandParameter

java.lang.Object
org.tweetyproject.plugin.parameter.CommandParameter
org.tweetyproject.plugin.parameter.IntegerCommandParameter
All Implemented Interfaces:
Cloneable

public class IntegerCommandParameter extends CommandParameter
This parameter holds a number-interval of possible arguments
Author:
Bastian Wolf
  • Constructor Details

    • IntegerCommandParameter

      public IntegerCommandParameter(String id, String des)
    • IntegerCommandParameter

      public IntegerCommandParameter(String id, String des, Interval<Integer> interval)
    • IntegerCommandParameter

      public IntegerCommandParameter(String id, String des, String interval)
  • Method Details

    • setInterval

      public void setInterval(String interval)
      sets new selection parameter
      Parameters:
      interval - some string
    • getInterval

      public Interval<Integer> getInterval()
      returns each possible selection argument
      Returns:
      each possible selection argument
    • getValue

      public Integer getValue()
      returns the given instantiation argument value for this parameter
      Returns:
      the given instantiation argument value for this parameter
    • setValue

      public void setValue(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(String s)
      checks whether a cli input parameter argument is valid for the called command parameter
      Specified by:
      isValid in class CommandParameter
      Parameters:
      s - the given input string
      Returns:
      true if valid, false if not
    • instantiate

      public CommandParameter instantiate(String s)
      instantiates a new parameter iff the given value is valid for this command parameter
      Specified by:
      instantiate in class CommandParameter
      Parameters:
      s - the given argument string
      Returns:
      The CommandParameter instance or null if the given string is not valid.
    • clone

      public Object clone()
      Clones the object