+
+ public Collection<BugCategory> getCategories() { return m_categories.values(); }
+ public BugCategory getCategory(String category) {
+ BugCategory cat = m_categories.get(category);
+ if (null == cat) {
+ cat = BugCategory.UNKNOWN;
+ }
+ return cat;
+ }
+
+ public Collection<BugPattern> getPatterns() { return m_patterns.values(); }
+ public BugPattern getPattern(String type) {
+ BugPattern pat = m_patterns.get(type);
+ if (null == pat) {
+ pat = BugPattern.UNKNOWN;
+ }
+ return pat;
+ }