ix.iface.domain
Class LTF_Writer

java.lang.Object
  extended by ix.iface.domain.DomainWriter
      extended by ix.iface.domain.LTF_Writer
Direct Known Subclasses:
TF_Writer

public class LTF_Writer
extends DomainWriter

A writer for domains described in LTF syntax. This is written in a fairly straightforward recursive-descent style and hence has minimal documentation. It is slightly more complex than strictly necessary, so that subclass TF_Writer can be simpler.

See Also:
LTF_Parser, TF_Writer

Nested Class Summary
 
Nested classes/interfaces inherited from class ix.iface.domain.DomainWriter
DomainWriter.DomainWriterWrapper
 
Constructor Summary
LTF_Writer()
           
LTF_Writer(java.io.File domainName)
           
LTF_Writer(java.io.Writer out)
           
 
Method Summary
 void writeDomain(Domain domain)
           
 void writeDomain(Domain domain, java.io.Writer w)
           
 void writeRefinement(Refinement r, java.io.Writer w)
           
 
Methods inherited from class ix.iface.domain.DomainWriter
makeWriter, saveDomain, saveDomain
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LTF_Writer

public LTF_Writer(java.io.File domainName)

LTF_Writer

public LTF_Writer(java.io.Writer out)

LTF_Writer

public LTF_Writer()
Method Detail

writeDomain

public void writeDomain(Domain domain)
                 throws java.io.IOException
Specified by:
writeDomain in class DomainWriter
Throws:
java.io.IOException

writeDomain

public void writeDomain(Domain domain,
                        java.io.Writer w)
                 throws java.io.IOException
Throws:
java.io.IOException

writeRefinement

public void writeRefinement(Refinement r,
                            java.io.Writer w)
                     throws java.io.IOException
Throws:
java.io.IOException