| commit | 835cfce3f5b056790ac31702316f8dc21616ecfd | [log] [tgz] |
|---|---|---|
| author | Michael Jastram <michael@jastram.de> | Mon Dec 22 16:43:31 2014 +0100 |
| committer | Michael Jastram <michael@jastram.de> | Mon Dec 22 16:43:31 2014 +0100 |
| tree | 852b6a62f1377436925d922ec960acae9d11481f | |
| parent | 31588ddf7b028f7a2cd0f6fdb9bc574a748a76d1 [diff] |
Prevent NPE if model has been closed.
diff --git a/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/ui/ResultNavigator.java b/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/ui/ResultNavigator.java index 788e680..e1abefa 100644 --- a/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/ui/ResultNavigator.java +++ b/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/ui/ResultNavigator.java
@@ -97,6 +97,9 @@ ReqIFSearchResultPage page = (ReqIFSearchResultPage)view.getActivePage(); UsageSearchResult result = page.getSearchResult(); Collection<EObject> entries = result.getSearchEntries().get(spec.eResource()); + if (entries == null) { + return set; + } for (EObject entry: entries) { if (entry instanceof SpecHierarchy) { set.add((SpecHierarchy) entry);