public class DefaultUpdateRepository extends Object implements UpdateRepository
| Constructor and Description |
|---|
DefaultUpdateRepository(String id,
URL url) |
DefaultUpdateRepository(String id,
URL url,
String pluginsJsonFileName) |
| Modifier and Type | Method and Description |
|---|---|
FileDownloader |
getFileDownloader()
Each repository has the option of overriding the download process.
|
String |
getId() |
PluginInfo |
getPlugin(String id)
Get a particular plugin from this repo
|
Map<String,PluginInfo> |
getPlugins()
Get all plugin descriptors for this repo
|
String |
getPluginsJsonFileName() |
URL |
getUrl() |
void |
refresh()
Causes plugins.json to be read again to look for new updates from repos
|
void |
setPluginsJsonFileName(String pluginsJsonFileName)
Choose another file name than plugins.json
|
public String getId()
getId in interface UpdateRepositorypublic URL getUrl()
getUrl in interface UpdateRepositorypublic Map<String,PluginInfo> getPlugins()
UpdateRepositorygetPlugins in interface UpdateRepositorypublic PluginInfo getPlugin(String id)
UpdateRepositorygetPlugin in interface UpdateRepositoryid - the id of the pluginpublic void refresh()
refresh in interface UpdateRepositorypublic FileDownloader getFileDownloader()
UpdateRepositorygetFileDownloader in interface UpdateRepositorypublic String getPluginsJsonFileName()
public void setPluginsJsonFileName(String pluginsJsonFileName)
pluginsJsonFileName - the name (relative) of plugins.json fileCopyright © 2017. All Rights Reserved.