public interface MadkitOption
Madkit.Option
,
Madkit.LevelOption
,
Madkit.BooleanOption
,
AbstractAgent.getMadkitProperty(String)
,
AbstractAgent.getMadkitProperty(Enum)
,
AbstractAgent.setMadkitProperty(String, String)
Modifier and Type | Method and Description |
---|---|
java.lang.String |
name()
Returns the option's name.
|
java.lang.String |
toString()
Returns the string form of the option as it should be used
in a command line, or with the
Madkit.main(String[]) method
or with Madkit.Madkit(String...) constructor. |
java.lang.String toString()
Madkit.main(String[])
method
or with Madkit.Madkit(String...)
constructor.toString
in class java.lang.Object
--optionName
java.lang.String name()
Enum.name()
Fabien Michel, Olivier Gutknecht, Jacques Ferber - September 9 2019