ix.iface.domain
Class LTF_Writer
java.lang.Object
ix.iface.domain.DomainWriter
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LTF_Writer
public LTF_Writer(java.io.File domainName)
LTF_Writer
public LTF_Writer(java.io.Writer out)
LTF_Writer
public LTF_Writer()
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