Module jEdit

Package org.gjt.sp.jedit.pluginmgr

Class MirrorList

java.lang.Object

org.gjt.sp.jedit.pluginmgr.MirrorList

public class MirrorList
extends Object

Version:

$Id: MirrorList.java 25233 2020-04-13 15:32:00Z kpouer $

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	MirrorList.Mirror

Constructor Summary

Constructors

Constructor	Description
MirrorList(String xml, ProgressObserver observer)

Method Summary

Modifier and Type	Method	Description
List<MirrorList.Mirror>	getMirrors()
String	getXml()
static MirrorList	mirrorListFromDisk(ProgressObserver progressObserver)
static MirrorList	mirrorListFromInternet(ProgressObserver progressObserver)
void	saveXml()

Methods inherited from class java.lang.Object

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

Constructor Details

MirrorList

public MirrorList(String xml,
 ProgressObserver observer)
           throws ParserConfigurationException,
SAXException,
IOException

Throws:

ParserConfigurationException

SAXException

IOException

Method Details

mirrorListFromDisk

public static MirrorList mirrorListFromDisk(ProgressObserver progressObserver)
                                     throws IOException,
SAXException,
ParserConfigurationException

Throws:

IOException

SAXException

ParserConfigurationException

mirrorListFromInternet

public static MirrorList mirrorListFromInternet(ProgressObserver progressObserver)
                                         throws IOException,
ParserConfigurationException,
SAXException

Throws:

IOException

ParserConfigurationException

SAXException

getXml

public String getXml()

getMirrors

public List<MirrorList.Mirror> getMirrors()

saveXml

public void saveXml()