org.jext.misc
Class PluginDesc
java.lang.Object
org.jext.misc.PluginDesc
public class PluginDesc
- extends java.lang.Object
Constructor Summary |
PluginDesc(java.lang.String _name,
java.lang.String _release,
java.lang.String _displayName)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
PluginDesc
public PluginDesc(java.lang.String _name,
java.lang.String _release,
java.lang.String _displayName)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
downloadSrc
public void downloadSrc(HandlingRunnable notifier,
java.lang.String mirror)
downloadBin
public void downloadBin(HandlingRunnable notifier,
java.lang.String mirror)
install
public void install(java.lang.Runnable notifyMissing)
throws java.io.IOException
- Throws:
java.io.IOException
install
public void install(java.lang.Runnable notifyMissing,
java.lang.String path)
throws java.io.IOException
- Throws:
java.io.IOException
getSrcUrl
public java.net.URL getSrcUrl(java.lang.String mirror)
- Returns the url of the source pack of this plugin
getBinUrl
public java.net.URL getBinUrl(java.lang.String mirror)
- Returns the url of the binary pack of this plugin
setName
public void setName(java.lang.String _name)
setDisplayName
public void setDisplayName(java.lang.String _displayName)
setRelease
public void setRelease(java.lang.String _release)
setDesc
public void setDesc(java.lang.String _desc)
setSrcName
public void setSrcName(java.lang.String _srcName,
int _size)
setBinName
public void setBinName(java.lang.String _binName,
int _size)
setUrlFormatter
public void setUrlFormatter(java.text.Format _format)
setAuthors
public void setAuthors(PluginAuthor[] _authors)
setDeps
public void setDeps(java.lang.String[] _deps)
getDisplayName
public java.lang.String getDisplayName()
getBinSize
public int getBinSize()
getSrcSize
public int getSrcSize()
getName
public java.lang.String getName()
getDesc
public java.lang.String getDesc()
getRelease
public java.lang.String getRelease()
getAuthors
public PluginAuthor[] getAuthors()
getDeps
public java.lang.String[] getDeps()
Copyright ? 2002 Romain Guy.