public void pruneInvalidDescriptors() { for(EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { EditorKitFactory factory = plugin.newInstance(); for(Iterator<EditorKitDescriptor> it = editorKitDescriptors.iterator(); it.hasNext(); ) { if(!factory.isValidDescriptor(it.next())) { it.remove(); } } } }
public void pruneInvalidDescriptors() { for(EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { EditorKitFactory factory = plugin.newInstance(); for(Iterator<EditorKitDescriptor> it = editorKitDescriptors.iterator(); it.hasNext(); ) { if(!factory.isValidDescriptor(it.next())) { it.remove(); } } } }
public void pruneInvalidDescriptors() { for(EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { EditorKitFactory factory = plugin.newInstance(); for(Iterator<EditorKitDescriptor> it = editorKitDescriptors.iterator(); it.hasNext(); ) { if(!factory.isValidDescriptor(it.next())) { it.remove(); } } } }
/** * Gets the default (first) editor kit factory plugin and uses it to create and setup and empty editor kit. */ private void createAndSetupDefaultEditorKit() { try { ProtegeManager pm = ProtegeManager.getInstance(); List<EditorKitFactoryPlugin> editorKitFactoryPlugins = pm.getEditorKitFactoryPlugins(); if (!editorKitFactoryPlugins.isEmpty()) { EditorKitFactoryPlugin defaultPlugin = editorKitFactoryPlugins.get(0); pm.createAndSetupNewEditorKit(defaultPlugin); } else { throw new RuntimeException("No editor kit factory plugins available"); } } catch (Exception e) { ErrorLogPanel.showErrorDialog(e); } }
/** * Gets the default (first) editor kit factory plugin and uses it to create and setup and empty editor kit. */ private void createAndSetupDefaultEditorKit() { try { logger.info("Creating and setting up empty (default) editor kit"); ProtegeManager pm = ProtegeManager.getInstance(); List<EditorKitFactoryPlugin> editorKitFactoryPlugins = pm.getEditorKitFactoryPlugins(); if (!editorKitFactoryPlugins.isEmpty()) { EditorKitFactoryPlugin defaultPlugin = editorKitFactoryPlugins.get(0); pm.createAndSetupNewEditorKit(defaultPlugin); } else { ErrorMessage.showErrorMessage("Fatal Error", "An error occurred that prevented Protégé from starting"); } } catch (Exception e) { ErrorLogPanel.showErrorDialog(e); } }
public void editURI(URI uri) throws Exception { ProtegeManager pm = ProtegeManager.getInstance(); for (EditorKitFactoryPlugin plugin : pm.getEditorKitFactoryPlugins()) { if (plugin.newInstance().canLoad(uri)) { pm.loadAndSetupEditorKitFromURI(plugin, uri); welcomeFrame.setVisible(false); break; } } }
public void editURI(URI uri) throws Exception { ProtegeManager pm = ProtegeManager.getInstance(); for (EditorKitFactoryPlugin plugin : pm.getEditorKitFactoryPlugins()) { if (plugin.newInstance().canLoad(uri)) { pm.loadAndSetupEditorKitFromURI(plugin, uri); // welcomeFrame.setVisible(false); break; } } }
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().openAndSetupEditorKit(plugin); break; } } }
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().openAndSetupEditorKit(plugin); break; } } }
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().openAndSetupEditorKit(plugin); break; } } }
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().createAndSetupNewEditorKit(plugin); break; } } }
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().createAndSetupNewEditorKit(plugin); break; } } }
public boolean openAndSetupRecentEditorKit(EditorKitDescriptor editorKitDescriptor) throws Exception { for (EditorKitFactoryPlugin plugin : getEditorKitFactoryPlugins()) { if (plugin.getId().equals(editorKitDescriptor.getEditorKitFactoryID())) { EditorKitFactory editorKitFactory = getEditorKitFactory(plugin); EditorKit editorKit = editorKitFactory.createEditorKit(); if (editorKit.handleLoadRecentRequest(editorKitDescriptor)) { getEditorKitManager().addEditorKit(editorKit); return true; } } } return false; }
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().createAndSetupNewEditorKit(plugin); break; } } }
public void openInNewWorkspace() throws Exception { URI uri = getPhysicalURI(); if (uri != null) { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri); break; } } } }
public void openInNewWorkspace() throws Exception { URI uri = getPhysicalURI(); if (uri != null) { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri); break; } } } }
public void openInNewWorkspace() throws Exception { URI uri = getPhysicalURI(); if (uri != null) { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri); break; } } } }
public void openInNewWorkspace() throws Exception { URI uri = getPhysicalURI(); if (uri != null) { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri); break; } } } }
public boolean openAndSetupRecentEditorKit(EditorKitDescriptor editorKitDescriptor) throws Exception { for (EditorKitFactoryPlugin plugin : getEditorKitFactoryPlugins()) { if (plugin.getId().equals(editorKitDescriptor.getEditorKitFactoryID())) { EditorKitFactory editorKitFactory = getEditorKitFactory(plugin); EditorKit editorKit = editorKitFactory.createEditorKit(); if (editorKit.handleLoadRecentRequest(editorKitDescriptor)) { getEditorKitManager().addEditorKit(editorKit); closeFirstEditorKitIfNotModified(); return true; } } } return false; }
public boolean openAndSetupRecentEditorKit(EditorKitDescriptor editorKitDescriptor) throws Exception { for (EditorKitFactoryPlugin plugin : getEditorKitFactoryPlugins()) { if (plugin.getId().equals(editorKitDescriptor.getEditorKitFactoryID())) { EditorKitFactory editorKitFactory = getEditorKitFactory(plugin); EditorKit editorKit = editorKitFactory.createEditorKit(); if (editorKit.handleLoadRecentRequest(editorKitDescriptor)) { getEditorKitManager().addEditorKit(editorKit); closeFirstEditorKitIfNotModified(); return true; } } } return false; }