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