public class PluginDesc
extends java.lang.Object
Constructor and Description |
---|
PluginDesc(java.lang.String _name,
java.lang.String _release,
java.lang.String _displayName) |
Modifier and Type | Method and Description |
---|---|
void |
downloadBin(HandlingRunnable notifier,
java.lang.String mirror) |
void |
downloadSrc(HandlingRunnable notifier,
java.lang.String mirror) |
PluginAuthor[] |
getAuthors() |
int |
getBinSize() |
java.net.URL |
getBinUrl(java.lang.String mirror)
Returns the url of the binary pack of this plugin
|
java.lang.String[] |
getDeps() |
java.lang.String |
getDesc() |
java.lang.String |
getDisplayName() |
java.lang.String |
getName() |
java.lang.String |
getRelease() |
int |
getSrcSize() |
java.net.URL |
getSrcUrl(java.lang.String mirror)
Returns the url of the source pack of this plugin
|
void |
install(java.lang.Runnable notifyMissing) |
void |
install(java.lang.Runnable notifyMissing,
java.lang.String path) |
void |
setAuthors(PluginAuthor[] _authors) |
void |
setBinName(java.lang.String _binName,
int _size) |
void |
setDeps(java.lang.String[] _deps) |
void |
setDesc(java.lang.String _desc) |
void |
setDisplayName(java.lang.String _displayName) |
void |
setName(java.lang.String _name) |
void |
setRelease(java.lang.String _release) |
void |
setSrcName(java.lang.String _srcName,
int _size) |
void |
setUrlFormatter(java.text.Format _format) |
java.lang.String |
toString() |
public PluginDesc(java.lang.String _name, java.lang.String _release, java.lang.String _displayName)
public java.lang.String toString()
toString
in class java.lang.Object
public void downloadSrc(HandlingRunnable notifier, java.lang.String mirror)
public void downloadBin(HandlingRunnable notifier, java.lang.String mirror)
public void install(java.lang.Runnable notifyMissing) throws java.io.IOException
java.io.IOException
public void install(java.lang.Runnable notifyMissing, java.lang.String path) throws java.io.IOException
java.io.IOException
public java.net.URL getSrcUrl(java.lang.String mirror)
public java.net.URL getBinUrl(java.lang.String mirror)
public void setName(java.lang.String _name)
public void setDisplayName(java.lang.String _displayName)
public void setRelease(java.lang.String _release)
public void setDesc(java.lang.String _desc)
public void setSrcName(java.lang.String _srcName, int _size)
public void setBinName(java.lang.String _binName, int _size)
public void setUrlFormatter(java.text.Format _format)
public void setAuthors(PluginAuthor[] _authors)
public void setDeps(java.lang.String[] _deps)
public java.lang.String getDisplayName()
public int getBinSize()
public int getSrcSize()
public java.lang.String getName()
public java.lang.String getDesc()
public java.lang.String getRelease()
public PluginAuthor[] getAuthors()
public java.lang.String[] getDeps()
Copyright ? 2002 Romain Guy.