public String getDocumentation() { return PluginUtilities.getInstance().getDocumentation(extension); }
public String getDocumentation() { return PluginUtilities.getInstance().getDocumentation(extension); }
/** * Creates an instance of the plugin * @return An instance of type <code>E</code>. Note that a <code>null</code> * value will be returned if there was a problem creating the instance. * @throws ClassNotFoundException * @throws IllegalAccessException * @throws InstantiationException */ @SuppressWarnings("unchecked") public E instantiate() throws ClassCastException, InstantiationException, IllegalAccessException, ClassNotFoundException { Object o = PluginUtilities.getInstance().getExtensionObject(extension, PluginProperties.CLASS_PARAM_NAME); return (E) o; } }
public String getDocumentation() { return PluginUtilities.getInstance().getDocumentation(extension); }
public String getDocumentation() { return PluginUtilities.getInstance().getDocumentation(extension); }
/** * Creates an instance of the plugin * @return An instance of type <code>E</code>. Note that a <code>null</code> * value will be returned if there was a problem creating the instance. * @throws ClassNotFoundException * @throws IllegalAccessException * @throws InstantiationException */ @SuppressWarnings("unchecked") public E instantiate() throws ClassCastException, InstantiationException, IllegalAccessException, ClassNotFoundException { Object o = PluginUtilities.getInstance().getExtensionObject(extension, PluginProperties.CLASS_PARAM_NAME); return (E) o; } }
/** * Creates an instance of the plugin * @return An instance of type <code>E</code>. Note that a <code>null</code> * value will be returned if there was a problem creating the instance. * @throws ClassNotFoundException * @throws IllegalAccessException * @throws InstantiationException */ @SuppressWarnings("unchecked") public E instantiate() throws ClassCastException, InstantiationException, IllegalAccessException, ClassNotFoundException { Object o = PluginUtilities.getInstance().getExtensionObject(extension, PluginProperties.CLASS_PARAM_NAME); return (E) o; } }
public static Icon getIcon(String name) { try { Bundle b = PluginUtilities.getInstance().getApplicationBundle(); URL url = b.getResource(name); if (url != null) { return new ImageIcon(url); } return null; } catch (Exception e) { return null; } } }
public URL getDefaultViewConfigFile() { PluginUtilities util = PluginUtilities.getInstance(); Bundle contributor = util.getBundle(extension); String resource = PluginProperties.getParameterValue(extension, DEFAULT_VIEW_CONFIG_FILE_NAME_PARAM, null); if (resource != null) { return contributor.getResource(resource); } else { return null; } } }
public URL getDefaultViewConfigFile() { PluginUtilities util = PluginUtilities.getInstance(); Bundle contributor = util.getBundle(extension); String resource = PluginProperties.getParameterValue(extension, DEFAULT_VIEW_CONFIG_FILE_NAME_PARAM, null); if (resource != null) { return contributor.getResource(resource); } else { return null; } } }
public URL getDefaultViewConfigFile() { PluginUtilities util = PluginUtilities.getInstance(); Bundle contributor = util.getBundle(extension); String resource = PluginProperties.getParameterValue(extension, DEFAULT_VIEW_CONFIG_FILE_NAME_PARAM, null); if (resource != null) { return contributor.getResource(resource); } else { return null; } } }
public EditorKitFactory newInstance() { try { Bundle b = PluginUtilities.getInstance().getBundle(extension); b.start(); ExtensionInstantiator<EditorKitFactory> instantiator = new ExtensionInstantiator<>(extension); return instantiator.instantiate(); } catch (Exception e) { logger.error("An error occurred during editor kit instantiation.", e); } return null; } }
public EditorKitFactory newInstance() { try { Bundle b = PluginUtilities.getInstance().getBundle(extension); b.start(); ExtensionInstantiator<EditorKitFactory> instantiator = new ExtensionInstantiator<EditorKitFactory>(extension); return instantiator.instantiate(); } catch (Exception e) { logger.error("Exception caught", e); } return null; } }
public EditorKitFactory newInstance() { try { Bundle b = PluginUtilities.getInstance().getBundle(extension); b.start(); ExtensionInstantiator<EditorKitFactory> instantiator = new ExtensionInstantiator<EditorKitFactory>(extension); return instantiator.instantiate(); } catch (Exception e) { logger.error("Exception caught", e); } return null; } }
protected ProtegeApplication initApplication() throws Exception { try { PluginUtilities.getInstance().initialise(context); loadDefaults(); initializeLookAndFeel(); setupExceptionHandler(); processCommandLineURIs(); // plugins may set arguments loadRecentEditorKits(); } finally { initialized = true; } return this; }
public void stop(BundleContext context) throws Exception { BookMarkedURIManager.getInstance().dispose(); RecentEditorKitManager.getInstance().save(); RecentEditorKitManager.getInstance().dispose(); PluginUtilities.getInstance().dispose(); ProtegeManager.getInstance().dispose(); logger.info("Thank you for using Protege. Goodbye."); }
protected ProtegeApplication initApplication() throws Exception { PluginUtilities.getInstance().initialise(context); loadDefaults(); initializeLookAndFeel(); checkConfiguration(); setupExceptionHandler(); processCommandLineURIs(); // plugins may set arguments loadRecentEditorKits(); return this; }
protected ProtegeApplication initApplication() throws Exception { PluginUtilities.getInstance().initialise(context); loadDefaults(); initializeLookAndFeel(); checkConfiguration(); setupExceptionHandler(); loadPlugins(); processCommandLineURIs(); // plugins may set arguments loadRecentEditorKits(); return this; }
public void stop(BundleContext context) throws Exception { BookMarkedURIManager.getInstance().dispose(); RecentEditorKitManager.getInstance().save(); RecentEditorKitManager.getInstance().dispose(); PluginUtilities.getInstance().dispose(); ProtegeManager.getInstance().dispose(); }
public void stop(BundleContext context) throws Exception { BookMarkedURIManager.getInstance().dispose(); RecentEditorKitManager.getInstance().save(); RecentEditorKitManager.getInstance().dispose(); PluginUtilities.getInstance().dispose(); ProtegeManager.getInstance().dispose(); logManager.unbind(); }