Class FileListCommandParameter

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

public class FileListCommandParameter extends CommandParameter
This parameter holds a file-list of possible arguments
Author:
Bastian Wolf
  • Constructor Details

    • FileListCommandParameter

      public FileListCommandParameter(String id, String des)
      Creates a new file list command parameter
      Parameters:
      id - some string
      des - some string
  • Method Details

    • getValue

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

      public void setValue(File[] 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 filename)
      instantiates a new parameter iff the given value ist valid for this command parameter (for special case with one file);
      Specified by:
      instantiate in class CommandParameter
      Parameters:
      filename - the given argument string
      Returns:
      The CommandParameter instance or null if the given string is not valid.
    • instantiate

      public CommandParameter instantiate(ArrayList<String> a)
    • clone

      public Object clone()