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 WorkspaceOperationPluginOperationExceptionpublic 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 WorkspaceOperationpublic java.lang.String getReplaceKey()
public void setReplaceKey(java.lang.String replaceKey)