175 }
176 if (utils.isDeprecated(member)) {
177 sset.add(member);
178 }
179 }
180 }
181
182 /**
183 * Return the list of deprecated elements of a given type.
184 *
185 * @param kind the DeprElementKind
186 * @return
187 */
188 public SortedSet<Element> getSet(DeprElementKind kind) {
189 return deprecatedMap.get(kind);
190 }
191
192 /**
193 * Return true if the list of a given type has size greater than 0.
194 *
195 * @param type the type of list being checked.
196 */
197 public boolean hasDocumentation(DeprElementKind kind) {
198 return !deprecatedMap.get(kind).isEmpty();
199 }
200 }
|
175 }
176 if (utils.isDeprecated(member)) {
177 sset.add(member);
178 }
179 }
180 }
181
182 /**
183 * Return the list of deprecated elements of a given type.
184 *
185 * @param kind the DeprElementKind
186 * @return
187 */
188 public SortedSet<Element> getSet(DeprElementKind kind) {
189 return deprecatedMap.get(kind);
190 }
191
192 /**
193 * Return true if the list of a given type has size greater than 0.
194 *
195 * @param kind the type of list being checked.
196 */
197 public boolean hasDocumentation(DeprElementKind kind) {
198 return !deprecatedMap.get(kind).isEmpty();
199 }
200 }
|