Searched refs:shortNames (Results 1 – 1 of 1) sorted by relevance
81 Set<String> shortNames = new HashSet<String>(); in getOptionShortNames() local87 shortNames.add(String.valueOf(option.shortName())); in getOptionShortNames()90 return shortNames; in getOptionShortNames()