private ClassDoc[] getArray(Map<String, Set<ClassDoc>> m, String key) { Set<ClassDoc> s = m.get(key); if (s == null) { return new ClassDoc[] {}; } else { return s.toArray(new ClassDoc[] {}); } }
/** Return the array of package names that this catalog stores ClassDocs for. */ public String[] packageNames() { return packageSet.toArray(new String[] {}); }