Package org.locationtech.jts.jump.workbench.plugin

Class PlugInManager

java.lang.Object

org.locationtech.jts.jump.workbench.plugin.PlugInManager

public class PlugInManager
extends Object

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

Constructor Summary

Constructors

Constructor	Description
PlugInManager(WorkbenchContext context, File plugInDirectory, TaskMonitor monitor)

Method Summary

Modifier and Type	Method	Description
Collection	getConfigurations()
void	load()
static String	name(Configuration configuration)
static 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,
                     File plugInDirectory,
                     TaskMonitor monitor)
              throws Exception

Parameters:

plugInDirectory - null to leave unspecified

Throws:

Exception

Method Detail

load

public void load()
          throws Exception

Throws:

Exception

name

public static String name(Configuration configuration)

version

public static String version(Configuration configuration)

getConfigurations

public Collection getConfigurations()