public class PlugInManager
extends java.lang.Object
| Constructor and Description | 
|---|
PlugInManager(WorkbenchContext context,
             java.io.File plugInDirectory,
             TaskMonitor monitor)  | 
| Modifier and Type | Method and Description | 
|---|---|
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 long | 
secondsSince(long i)  | 
static java.lang.String | 
secondsSinceString(long i)  | 
static java.lang.String | 
version(Configuration configuration)  | 
public PlugInManager(WorkbenchContext context, java.io.File plugInDirectory, TaskMonitor monitor) throws java.lang.Exception
plugInDirectory - null to leave unspecifiedjava.lang.Exceptionpublic void load()
          throws java.lang.Exception
java.lang.Exceptionpublic static long secondsSince(long i)
public static java.lang.String secondsSinceString(long i)
public static java.lang.String name(Configuration configuration)
public static java.lang.String version(Configuration configuration)
public java.util.Collection getConfigurations()
public java.lang.ClassLoader getClassLoader()
public java.io.File getPlugInDirectory()