org.jext.misc
Class PluginDesc

java.lang.Object
  extended byorg.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)
           
 
Method Summary
 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()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PluginDesc

public PluginDesc(java.lang.String _name,
                  java.lang.String _release,
                  java.lang.String _displayName)
Method Detail

toString

public java.lang.String toString()

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.