ua.gradsoft.termware.printers.terms
Class TermWarePrinter

java.lang.Object
  extended by ua.gradsoft.termware.printers.AbstractPrinter
      extended by ua.gradsoft.termware.printers.AbstractPrettyPrinter
          extended by ua.gradsoft.termware.printers.terms.TermWarePrinter
All Implemented Interfaces:
IPrettyPrinter, IPrinter

public class TermWarePrinter
extends AbstractPrettyPrinter

Pretty printer for TermWare expressions.

Author:
Ruslan Shevchenko

Field Summary
 
Fields inherited from class ua.gradsoft.termware.printers.AbstractPrettyPrinter
out_
 
Fields inherited from class ua.gradsoft.termware.printers.AbstractPrinter
outTag_, WS
 
Constructor Summary
TermWarePrinter(PrintWriter out, String outTag)
          Creates a new instance of TermWarePrinter
 
Method Summary
 void flush()
          flush all internal IPrinter structures.
 void writeTerm(Term t)
          write term
 
Methods inherited from class ua.gradsoft.termware.printers.AbstractPrettyPrinter
finalize, getPageWidth, getPrettyPrintingOut, setPageWidth
 
Methods inherited from class ua.gradsoft.termware.printers.AbstractPrinter
getOut, getTag, printWs
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TermWarePrinter

public TermWarePrinter(PrintWriter out,
                       String outTag)
Creates a new instance of TermWarePrinter

Method Detail

writeTerm

public void writeTerm(Term t)
               throws TermWareException
Description copied from class: AbstractPrinter
write term

Specified by:
writeTerm in interface IPrinter
Specified by:
writeTerm in class AbstractPrinter
Throws:
TermWareException

flush

public void flush()
Description copied from interface: IPrinter
flush all internal IPrinter structures.