private void fireSelectionChanged() { for (OWLSelectionModelListener listener : new ArrayList<OWLSelectionModelListener>(listeners)) { try { listener.selectionChanged(); } catch (Exception e) { logger.warn("BAD LISTENER: (" + listener.getClass().getSimpleName() + ") "); ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e); } } }
private void fireSelectionChanged() { for (OWLSelectionModelListener listener : new ArrayList<OWLSelectionModelListener>(listeners)) { try { listener.selectionChanged(); } catch (Exception e) { logger.warn("BAD LISTENER: (" + listener.getClass().getSimpleName() + ") "); ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e); } } }
private void fireSelectionChanged() { for (OWLSelectionModelListener listener : listeners) { try { listener.selectionChanged(); } catch (Exception e) { LOGGER.warn("BAD LISTENER: (" + listener.getClass().getSimpleName() + ") "); ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e); } } }
private void fireSelectionChanged() { for (OWLSelectionModelListener listener : listeners) { try { listener.selectionChanged(); } catch (Exception e) { LOGGER.warn("BAD LISTENER: (" + listener.getClass().getSimpleName() + ") "); ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e); } } }
public Set<URI> getBookMarkedURIs() { PreferencesManager man = PreferencesManager.getInstance(); Preferences prefs = man.getApplicationPreferences(PREFERENCES_KEY); List<String> bookmarks = prefs.getStringList(PREFERENCES_KEY, getDefaults()); Set<URI> uris = new HashSet<URI>(); for (String s : bookmarks) { try { uris.add(new URI(s)); } catch (URISyntaxException e) { ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e); } } return uris; }
public Set<URI> getBookMarkedURIs() { PreferencesManager man = PreferencesManager.getInstance(); Preferences prefs = man.getApplicationPreferences(PREFERENCES_KEY); List<String> bookmarks = prefs.getStringList(PREFERENCES_KEY, getDefaults()); Set<URI> uris = new HashSet<URI>(); for (String s : bookmarks) { try { uris.add(new URI(s)); } catch (URISyntaxException e) { ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e); } } return uris; }
ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e1); errors = true;
ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e1); errors = true;