Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD