ix.iface.domain
Class XMLTF_Parser

java.lang.Object
  |
  +--ix.iface.domain.DomainParser
        |
        +--ix.iface.domain.XMLTF_Parser

public class XMLTF_Parser

extends DomainParser

A parser for domains described in a simple XML syntax.

Field Summary

(package private) java.lang.String	filename
(package private) static Symbol	Q_FROM
(package private) static Symbol	Q_TO
protected java.lang.String	SAXDriverClass
(package private) static java.lang.Object	temporalSyntax

Constructor Summary

XMLTF_Parser(java.io.File file)

XMLTF_Parser(java.lang.String filename)

Method Summary

protected void	fillInDomain(Domain domain, org.jdom.Document doc)
protected LList	makeNode(org.jdom.Element nodeElt)
protected LList	makeNodes(org.jdom.Element nodesElt)
protected LList	makeOrdering(org.jdom.Element ordElt)
protected LList	makeOrderings(org.jdom.Element ordsElt)
protected Schema	makeSchema(org.jdom.Element actElt)
Domain	readDomain()
Domain	readDomain(Domain domain)
Domain	readDomainJDOM(Domain domain)
protected void	requireName(java.lang.String want, java.lang.String have, java.lang.Object source)

Methods inherited from class ix.iface.domain.DomainParser

getLibraryDirectory, loadDomain, makeParser, makeParser

Methods inherited from class java.lang.Object

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

Field Detail

filename

java.lang.String filename

SAXDriverClass

protected java.lang.String SAXDriverClass

temporalSyntax

static java.lang.Object temporalSyntax

Q_FROM

static final Symbol Q_FROM

Q_TO

static final Symbol Q_TO

Constructor Detail

XMLTF_Parser

public XMLTF_Parser(java.lang.String filename)
             throws java.io.FileNotFoundException

XMLTF_Parser

public XMLTF_Parser(java.io.File file)
             throws java.io.FileNotFoundException

Method Detail

readDomain

public Domain readDomain()

Overrides:

readDomain in class DomainParser

readDomain

public Domain readDomain(Domain domain)

Overrides:

readDomain in class DomainParser

readDomainJDOM

public Domain readDomainJDOM(Domain domain)

fillInDomain

protected void fillInDomain(Domain domain,
                            org.jdom.Document doc)

makeSchema

protected Schema makeSchema(org.jdom.Element actElt)

makeNodes

protected LList makeNodes(org.jdom.Element nodesElt)

makeNode

protected LList makeNode(org.jdom.Element nodeElt)

makeOrderings

protected LList makeOrderings(org.jdom.Element ordsElt)

makeOrdering

protected LList makeOrdering(org.jdom.Element ordElt)

requireName

protected void requireName(java.lang.String want,
                           java.lang.String have,
                           java.lang.Object source)