ix.iface.domain
Class XMLTF_Writer

java.lang.Object
  |
  +--ix.iface.domain.DomainWriter
        |
        +--ix.iface.domain.XMLTF_Writer

public class XMLTF_Writer

extends DomainWriter

A writer for domains described in a simple XML syntax.

Field Summary

(package private) java.io.File

domainName

Constructor Summary

XMLTF_Writer(java.io.File domainName)

Method Summary

protected org.jdom.Element	makeActivitiesElt(LList schemas)
protected org.jdom.Element	makeActivityElt(Schema s)
protected org.jdom.Element	makeConstrainsElt(LList orderings)
org.jdom.Document	makeDomainDocument(Domain domain)
protected org.jdom.Element	makeNodeElt(LList nodeSpec)
protected org.jdom.Element	makeNodesElt(LList nodes)
protected org.jdom.Element	makeOrderingElt(LList ordering)
void	writeDomain(Domain domain)

Methods inherited from class ix.iface.domain.DomainWriter

makeWriter, makeWriter, saveDomain

Methods inherited from class java.lang.Object

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

Field Detail

domainName

java.io.File domainName

Constructor Detail

XMLTF_Writer

public XMLTF_Writer(java.io.File domainName)

Method Detail

writeDomain

public void writeDomain(Domain domain)
                 throws java.io.IOException

Overrides:

writeDomain in class DomainWriter

makeDomainDocument

public org.jdom.Document makeDomainDocument(Domain domain)

makeActivitiesElt

protected org.jdom.Element makeActivitiesElt(LList schemas)

makeActivityElt

protected org.jdom.Element makeActivityElt(Schema s)

makeNodesElt

protected org.jdom.Element makeNodesElt(LList nodes)

makeNodeElt

protected org.jdom.Element makeNodeElt(LList nodeSpec)

makeConstrainsElt

protected org.jdom.Element makeConstrainsElt(LList orderings)

makeOrderingElt

protected org.jdom.Element makeOrderingElt(LList ordering)