public class PluginManager
extends java.lang.Object
Constructor and Description |
---|
PluginManager() |
Modifier and Type | Method and Description |
---|---|
MembranePackingAlgorithm |
createMembranePackingAlgorithm(Plugin newPlugin,
java.io.File originalFile) |
void |
init() |
boolean |
isAlreadyIn(java.lang.String name,
java.io.File file) |
boolean |
isAlreadyIn(java.lang.String name,
java.io.File file,
Plugin exceptforthis) |
void |
performUpdate() |
Plugin |
readToPlugin(java.io.File orig) |
void |
writeAlgorithmSettings(Plugin plugin,
MembranePackingAlgorithm algo) |
void |
writeToDisc() |
public java.util.Vector<Plugin> plugins
public void init()
public Plugin readToPlugin(java.io.File orig) throws java.lang.Exception
java.lang.Exception
public MembranePackingAlgorithm createMembranePackingAlgorithm(Plugin newPlugin, java.io.File originalFile) throws java.lang.Exception
java.lang.Exception
public boolean isAlreadyIn(java.lang.String name, java.io.File file)
public void writeToDisc()
public boolean isAlreadyIn(java.lang.String name, java.io.File file, Plugin exceptforthis)
public void performUpdate()
public void writeAlgorithmSettings(Plugin plugin, MembranePackingAlgorithm algo) throws java.lang.Exception
java.lang.Exception