Lines Matching defs:option
51 String option = token.substring(0, index);
53 set(option, value);
65 /** Sets an option to "true" */
67 set(String option) {
70 table.put(option.toLowerCase(), "true");
73 /** Sets an option to the the supplied value */
75 set(String option, String value) {
78 table.put(option.toLowerCase(), value.toLowerCase());
81 /** Removes an option */
83 unset(String option) {
86 table.remove(option.toLowerCase());
89 /** Checks if an option is defined */
91 check(String option) {
94 return (table.get(option.toLowerCase()) != null);
97 /** Returns the value of an option */
99 value(String option) {
102 return ((String)table.get(option.toLowerCase()));
106 * Returns the value of an option as an integer, or -1 if not defined.
109 intValue(String option) {
110 String s = value(option);
