public abstract class Printer

java.lang.Object
   |
   +----Printer

public abstract class Printer

A class of printers. You can print strings in roman, bold, italic and typewriter to a printer. The printer will also keep track of indentation.

Author:

Alan Jeffrey

Version: v1.0 1998/06/02

Printer()

Create a new printer.

close()

Close the output stream down.

indent()

Indent by one level.

newLine()

Print a new line.

outdent()

Undo one level of indentation.

print(Printable)

Print a printable term.

printA(Printable)

Print a term as an `atom' (bracketed by default).

printArray(Printable[], String)

Print an array of terms.

printArrow()

Print a right arrow.

printB(Printable)

Print a bracketed term.

printBold(String)

Print a string in roman.

printItalic(String)

Print a string in italic.

printLBrace()

Print a left brace.

printNewLine()

Print a new line.

printOtimes()

Print an otimes symbol.

printRBrace()

Print a right brace.

printRawString(String)

An abstract method to print a string with no clever formatting. This is the only method a

printRoman(String)

Print a string in roman.

printSpace()

Print a space.

printString(String)

Print a string.

printSubscript(Printable)

Print a subscripted term.

printTypewriter(String)

Print a string in typewriter.

public Printer();

Create a new printer.

public abstract void printRawString(String s);

An abstract method to print a string with no clever formatting. This is the only method a subclass needs to implement, all the others have default implementations.

Parameters:

s - the string to print.

printString

public void printString(String s);

Print a string.

Parameters:

s - the string to print.

printNewLine

public void printNewLine();

Print a new line.

printRoman

public void printRoman(String s);

Print a string in roman.

Parameters:

s - the string to print.

printBold

public void printBold(String s);

Print a string in roman.

Parameters:

s - the string to print.

printItalic

public void printItalic(String s);

Print a string in italic.

Parameters:

s - the string to print.

printTypewriter

public void printTypewriter(String s);

Print a string in typewriter.

Parameters:

s - the string to print.

printSpace

public void printSpace();

Print a space.

printLBrace

public void printLBrace();

Print a left brace.

printArrow

public void printArrow();

Print a right arrow.

printRBrace

public void printRBrace();

Print a right brace.

printOtimes

public void printOtimes();

Print an otimes symbol.

printSubscript

public void printSubscript(Printable p);

Print a subscripted term.

Parameters:

p - the term to be printed.

printArray

public void printArray(Printable[] Ps,
                       String separator);

Print an array of terms.

Parameters:

Ps - the terms to be printed.

separator - the string to print between terms.

print

public void print(Printable p);

Print a printable term.

Parameters:

p - the term to be printed.

printA

public void printA(Printable p);

Print a term as an `atom' (bracketed by default).

Parameters:

p - the term to be printed.

printB

public void printB(Printable p);

Print a bracketed term.

Parameters:

p - the term to be printed.

newLine

public void newLine();

Print a new line.

indent

public void indent();

Indent by one level.

outdent

public void outdent();

Undo one level of indentation.

close

public void close();

Close the output stream down.

Printer.html