public class InstallPluginOperation extends java.lang.Object implements WorkspaceOperation
Constructor and Description |
---|
InstallPluginOperation(java.io.File plugin,
int updateStrategy) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getPlugin() |
java.lang.String |
getReplaceKey() |
java.lang.String |
getTitle() |
int |
getUpdateStrategy() |
WGAPlugin |
perform(WGAPluginSet set,
WGACore core,
boolean workspaceOnly) |
void |
setPlugin(java.io.File plugin) |
void |
setReplaceKey(java.lang.String replaceKey) |
void |
setUpdateStrategy(int updateStrategy) |
public InstallPluginOperation(java.io.File plugin, int updateStrategy)
public WGAPlugin perform(WGAPluginSet set, WGACore core, boolean workspaceOnly) throws PluginOperationException
perform
in interface WorkspaceOperation
PluginOperationException
public java.io.File getPlugin()
public void setPlugin(java.io.File plugin)
public int getUpdateStrategy()
public void setUpdateStrategy(int updateStrategy)
public java.lang.String getTitle()
getTitle
in interface WorkspaceOperation
public java.lang.String getReplaceKey()
public void setReplaceKey(java.lang.String replaceKey)