ix.iface.domain
Class LTF_Writer

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

public class LTF_Writer
extends DomainWriter

A writer for domains described in LTF syntax. This is written in completely straightforward recursive-descent style and hence has minimal documentation.

See Also:
LTF_Parser

Field Summary
(package private)  java.io.File domainName
           
(package private)  java.io.Writer out
           
 
Constructor Summary
LTF_Writer(java.io.File domainName)
           
 
Method Summary
(package private)  void out(int indent, java.lang.Object o)
           
(package private)  void out(int indent, java.lang.String s)
           
(package private)  void out(java.lang.Object o)
           
(package private)  void out(java.lang.String s)
           
(package private)  void outComments(java.lang.String comments)
           
(package private)  void outConstraint(Constraint c)
           
(package private)  void outConstraintParameter(java.lang.Object p)
           
(package private)  void outConstraints(java.util.List constraints)
           
(package private)  void outDomain(Domain domain)
           
(package private)  void outIssue(Issue issue)
           
(package private)  void outIssues(java.util.List issues)
           
(package private)  void outln(java.lang.String line)
           
(package private)  void outNode(NodeSpec spec)
           
(package private)  void outNodeEndRef(NodeEndRef ref)
           
(package private)  void outNodes(java.util.List nodes)
           
(package private)  void outOrdering(Ordering ord)
           
(package private)  void outOrderings(java.util.List orderings)
           
(package private)  void outPV(PatternAssignment pv)
           
(package private)  void outRefinement(Refinement r)
           
(package private)  void outRefinementHeader(Refinement r)
           
(package private)  void outVarDcls(java.util.List varDcls)
           
 void writeDomain(Domain domain)
           
 
Methods inherited from class ix.iface.domain.DomainWriter
makeWriter, makeWriter, renameToBackup, saveDomain, 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

out

java.io.Writer out
Constructor Detail

LTF_Writer

public LTF_Writer(java.io.File domainName)
Method Detail

writeDomain

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

outDomain

void outDomain(Domain domain)

outRefinement

void outRefinement(Refinement r)

outRefinementHeader

void outRefinementHeader(Refinement r)

outVarDcls

void outVarDcls(java.util.List varDcls)

outNodes

void outNodes(java.util.List nodes)

outNode

void outNode(NodeSpec spec)

outOrderings

void outOrderings(java.util.List orderings)

outOrdering

void outOrdering(Ordering ord)

outNodeEndRef

void outNodeEndRef(NodeEndRef ref)

outConstraints

void outConstraints(java.util.List constraints)

outConstraint

void outConstraint(Constraint c)

outConstraintParameter

void outConstraintParameter(java.lang.Object p)

outPV

void outPV(PatternAssignment pv)

outIssues

void outIssues(java.util.List issues)

outIssue

void outIssue(Issue issue)

outComments

void outComments(java.lang.String comments)

out

void out(java.lang.String s)

out

void out(java.lang.Object o)

out

void out(int indent,
         java.lang.String s)

out

void out(int indent,
         java.lang.Object o)

outln

void outln(java.lang.String line)