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 Roster  

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

---

class Roster

extends java.lang.Object

---

Nested Class Summary
(package private)  class	Roster.Install
(package private) static class	Roster.Operation
(package private)  class	Roster.Remove

 

Field Summary
private static java.io.File	downloadDir
private  java.util.List	operations
private  java.util.List	toLoad

 

Constructor Summary
(package private)	Roster()

 

Method Summary
(package private)  void	addInstall(java.lang.String installed, java.lang.String url, java.lang.String installDirectory, int size)
private  void	addOperation(Roster.Operation op)
(package private)  void	addRemove(java.lang.String plugin)
private static java.lang.String	getDownloadDir()
Roster.Operation	getOperation(int i)
(package private)  int	getOperationCount()
(package private)  boolean	isEmpty()
(package private)  void	performOperationsInAWTThread(java.awt.Component comp)
(package private)  void	performOperationsInWorkThread(PluginManagerProgress progress)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

downloadDir

private static java.io.File downloadDir

---

operations

private java.util.List operations

---

toLoad

private java.util.List toLoad

Constructor Detail

Roster

Roster()

Method Detail

addRemove

void addRemove(java.lang.String plugin)

---

addInstall

void addInstall(java.lang.String installed,
                java.lang.String url,
                java.lang.String installDirectory,
                int size)

---

getOperation

public Roster.Operation getOperation(int i)

---

getOperationCount

int getOperationCount()

---

isEmpty

boolean isEmpty()

---

performOperationsInWorkThread

void performOperationsInWorkThread(PluginManagerProgress progress)

---

performOperationsInAWTThread

void performOperationsInAWTThread(java.awt.Component comp)

---

addOperation

private void addOperation(Roster.Operation op)

---

getDownloadDir

private static java.lang.String getDownloadDir()

---

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

---