com.vividsolutions.jump.workbench.plugin
Class PlugInManager

java.lang.Object
  extended bycom.vividsolutions.jump.workbench.plugin.PlugInManager

public class PlugInManager
extends java.lang.Object

Loads plug-ins (or more precisely, Extensions), and any JAR files that they depend on, from the plug-in directory.


Constructor Summary
PlugInManager(WorkbenchContext context, java.io.File plugInDirectory, TaskMonitor monitor)
           
 
Method Summary
 java.lang.ClassLoader getClassLoader()
          To access extension classes, use this ClassLoader rather than the default ClassLoader.
 java.util.Collection getConfigurations()
           
 java.io.File getPlugInDirectory()
           
 void load()
           
static java.lang.String name(Configuration configuration)
           
static java.lang.String version(Configuration configuration)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PlugInManager

public PlugInManager(WorkbenchContext context,
                     java.io.File plugInDirectory,
                     TaskMonitor monitor)
              throws java.lang.Exception
Parameters:
plugInDirectory - null to leave unspecified
Method Detail

load

public void load()
          throws java.lang.Exception
Throws:
java.lang.Exception

name

public static java.lang.String name(Configuration configuration)

version

public static java.lang.String version(Configuration configuration)

getConfigurations

public java.util.Collection getConfigurations()

getClassLoader

public java.lang.ClassLoader getClassLoader()
To access extension classes, use this ClassLoader rather than the default ClassLoader. Extension classes will not be present in the latter.


getPlugInDirectory

public java.io.File getPlugInDirectory()
Returns:
possibly null