176 |
String[] optionArr = rootDoc.options()[i]; |
String[] optionArr = rootDoc.options()[i]; |
177 |
String _optionTag = optionArr[0]; |
String _optionTag = optionArr[0]; |
178 |
|
|
179 |
DocletOption option = (DocletOption)nameToOptionMap.get(_optionTag); |
DocletOption option = (DocletOption)nameToOptionMap.get(_optionTag.toLowerCase()); |
180 |
|
|
181 |
if (null != option) { |
if (null != option) { |
182 |
option.set(optionArr); |
option.set(optionArr); |
546 |
private int getOptionLength(String optionName) |
private int getOptionLength(String optionName) |
547 |
{ |
{ |
548 |
registerOptions(); |
registerOptions(); |
549 |
DocletOption option = (DocletOption)nameToOptionMap.get(optionName); |
DocletOption option = (DocletOption)nameToOptionMap.get(optionName.toLowerCase()); |
550 |
if (null != option) { |
if (null != option) { |
551 |
return option.getLength(); |
return option.getLength(); |
552 |
} |
} |