Returns the value of an option
(String option)
| 96 | |
| 97 | /** Returns the value of an option */ |
| 98 | public static String |
| 99 | value(String option) { |
| 100 | if (table == null) |
| 101 | return null; |
| 102 | return ((String)table.get(option.toLowerCase())); |
| 103 | } |
| 104 | |
| 105 | /** |
| 106 | * Returns the value of an option as an integer, or -1 if not defined. |