Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> jedit >> [ pluginmgr overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.gjt.sp.jedit.pluginmgr
Class PluginList  

java.lang.Object
  org.gjt.sp.jedit.pluginmgr.PluginList

---

class PluginList

extends java.lang.Object

Plugin list downloaded from server.

Since:

jEdit 3.2pre2

---

Nested Class Summary
(package private) static class	PluginList.Branch
(package private) static class	PluginList.Dependency
static class	PluginList.Plugin
(package private) static class	PluginList.PluginSet

 

Field Summary
static int	GZIP_MAGIC_1           Magic numbers used for auto-detecting GZIP files.
static int	GZIP_MAGIC_2
(package private)  java.util.Hashtable	pluginHash
(package private)  java.util.Vector	plugins
(package private)  java.util.Vector	pluginSets

 

Constructor Summary
(package private)	PluginList()

 

Method Summary
(package private)  void	addPlugin(PluginList.Plugin plugin)
(package private)  void	addPluginSet(PluginList.PluginSet set)
(package private)  void	dump()
(package private)  void	finished()

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

GZIP_MAGIC_1

public static final int GZIP_MAGIC_1

Magic numbers used for auto-detecting GZIP files.

See Also:

Constant Field Values

---

GZIP_MAGIC_2

public static final int GZIP_MAGIC_2

See Also:

Constant Field Values

---

plugins

java.util.Vector plugins

---

pluginHash

java.util.Hashtable pluginHash

---

pluginSets

java.util.Vector pluginSets

Constructor Detail

PluginList

PluginList()
     throws java.lang.Exception

Method Detail

addPlugin

void addPlugin(PluginList.Plugin plugin)

---

addPluginSet

void addPluginSet(PluginList.PluginSet set)

---

finished

void finished()

---

dump

void dump()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> jedit >> [ pluginmgr overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---