org.qedeq.kernel.xml.handler.parser
Class LoadXmlOperatorListUtility

java.lang.Object
  org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility

public final class LoadXmlOperatorListUtility

extends Object

Load operator list from an XML file.

Version:

$Revision: 1.8 $

Method Summary

static List

getOperatorList(URL from) Get operator list out of XML file.

Methods inherited from class java.lang.Object

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

Method Detail

getOperatorList

public static List getOperatorList(URL from)
                            throws SourceFileExceptionList

Get operator list out of XML file.

Parameters:

from - Read this XML file.

Returns:

Operator list.

Throws:

SourceFileExceptionList - Loading failed.