Class FileListCommandParameter
java.lang.Object
org.tweetyproject.plugin.parameter.CommandParameter
org.tweetyproject.plugin.parameter.FileListCommandParameter
- All Implemented Interfaces:
Cloneable
This parameter holds a file-list of possible arguments
- Author:
- Bastian Wolf
-
Constructor Summary
ConstructorDescriptionFileListCommandParameter
(String id, String des) Creates a new file list command parameter -
Method Summary
Modifier and TypeMethodDescriptionclone()
File[]
getValue()
returns the given instantiation argument value for this parameterinstantiate
(String filename) instantiates a new parameter iff the given value ist valid for this command parameter (for special case with one file);boolean
checks whether a cli input parameter argument is valid for the called command parametervoid
sets the instantiated parameter argument value, value has to be one of the options contained in selectionsMethods inherited from class org.tweetyproject.plugin.parameter.CommandParameter
getDescription, getIdentifier
-
Constructor Details
-
FileListCommandParameter
Creates a new file list command parameter- Parameters:
id
- some stringdes
- some string
-
-
Method Details
-
getValue
returns the given instantiation argument value for this parameter- Returns:
- the given instantiation argument value for this parameter
-
setValue
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
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
instantiates a new parameter iff the given value ist valid for this command parameter (for special case with one file);- Specified by:
instantiate
in classCommandParameter
- Parameters:
filename
- the given argument string- Returns:
- The CommandParameter instance or null if the given string is not valid.
-
instantiate
-
clone
-