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.Exception
public void load() throws java.lang.Exception
java.lang.Exception
public 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()