Returns an iterable over all the entries in the set that match the given name. If case-sensitive, that iterable will have 0 or 1 elements; if case-insensitive, it may have 0 or more.
(String name, boolean caseSensitive)
| 70 | * name. If case-sensitive, that iterable will have 0 or 1 elements; if |
| 71 | * case-insensitive, it may have 0 or more. */ |
| 72 | public Collection<String> range(String name, boolean caseSensitive) { |
| 73 | // This produces checkerframework false-positive |
| 74 | // type of expression: Set<@KeyFor("this.names.range(name, caseSensitive)") String> |
| 75 | // method return type: Collection<String> |
| 76 | //noinspection RedundantCast |
| 77 | return (Collection<String>) names.range(name, caseSensitive).keySet(); |
| 78 | } |
| 79 | |
| 80 | /** Returns whether this set contains the given name, with a given |
| 81 | * case-sensitivity. */ |