ua.gradsoft.termware.printers.terms
Class TermWarePrinter

java.lang.Object
  ua.gradsoft.termware.printers.AbstractPrinter
      ua.gradsoft.termware.printers.AbstractPrettyPrinter
          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.