Package org.gjt.sp.jedit.pluginmgr

Class MirrorList

java.lang.Object

org.gjt.sp.jedit.pluginmgr.MirrorList

public class MirrorList
extends java.lang.Object

Version:

$Id: MirrorList.java 22357 2012-10-13 04:58:01Z ezust $

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	MirrorList.Mirror

Constructor Summary

Constructors

Constructor	Description
MirrorList(boolean download, ProgressObserver observer)

Method Summary

Modifier and Type	Method	Description
java.util.List<MirrorList.Mirror>	getMirrors()
java.lang.String	getXml()

Methods inherited from class java.lang.Object

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

Constructor Detail

MirrorList

public MirrorList(boolean download,
                  ProgressObserver observer)
           throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

getXml

public java.lang.String getXml()

getMirrors

public java.util.List<MirrorList.Mirror> getMirrors()