edu.stanford.smi.protegex.owl.ui.resourcedisplay
Class ResourceDisplayPluginManager
java.lang.Object
edu.stanford.smi.protegex.owl.ui.resourcedisplay.ResourceDisplayPluginManager
- public class ResourceDisplayPluginManager
- extends Object
The manager of all InstanceDisplayPlugins.
- Author:
- Holger Knublauch
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
map
private static Map map
userDefinedClasses
private static Set userDefinedClasses
ResourceDisplayPluginManager
public ResourceDisplayPluginManager()
addInstanceDisplayPluginClass
public static void addInstanceDisplayPluginClass(Class clazz)
- A work-around method for InstanceDisplayPlugins from outside the OWL Plugin.
Since due to a bug in the Java virtual machine these Classes
can not be found through their manifest, they need to be added
manually, preferably through a ProjectPlugin.
- Parameters:
clazz
- the Class of a ResourceDisplayPlugin to add
getInstanceDisplayPlugin
public static ResourceDisplayPlugin getInstanceDisplayPlugin(Class clazz)
getInstanceDisplayPluginClasses
public static Class[] getInstanceDisplayPluginClasses()
initInstanceDisplay
public static void initInstanceDisplay(RDFResource frame,
JPanel hostPanel)
- Calls the corresponding method in all currently installed InstanceDisplayPlugins.
- Parameters:
frame
- the currently selected FramehostPanel
- the JPanel to add stuff into (if requested by the plugins)