ua.gradsoft.termware.printers.terms
Class TermWarePrinterFactory
java.lang.Object
ua.gradsoft.termware.printers.terms.TermWarePrinterFactory
- All Implemented Interfaces:
- IPrinterFactory
public class TermWarePrinterFactory
- extends Object
- implements IPrinterFactory
Factory for printers of termware expressions.
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TermWarePrinterFactory
public TermWarePrinterFactory()
- Creates a new instance of TermWarePrinterFactory
createPrinter
public IPrinter createPrinter(PrintWriter out,
String outTag,
TermSystem sys,
Term arg)
throws TermWareException
- create printer.
- Specified by:
createPrinter in interface IPrinterFactory
- Throws:
TermWareException