|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface Options
A set of Options.
In the XML declaration file it is defined using the <Options>-tag.
| Method Summary | |
|---|---|
java.lang.String |
getName()
Returns the name of this set of options. |
Option |
getOption(java.lang.String key)
Returns the Option for the specified key. |
Option |
getOption(java.lang.String key,
Option def)
Returns the Option for the specified key or the provided
default value. |
java.util.Iterator<java.lang.String> |
keyNames()
Returns an Iterator over the available key names. |
int |
size()
Returns the number of options. |
| Method Detail |
|---|
int size()
java.util.Iterator<java.lang.String> keyNames()
Iterator over the available key names.
Iterator over the available key namesOption getOption(java.lang.String key)
Option for the specified key.
key - the key for the option. In the XML declaration file it is
defined using the <name>-tag.
Option for the specified key
Option getOption(java.lang.String key,
Option def)
Option for the specified key or the provided
default value.
key - the key for the option. In the XML declaration file it is
defined using the <name>-tag.def - the default value to be returned when there is no such
option
Option for the specified keyjava.lang.String getName()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||