[all packages]
[package ]
[class hierarchy]
[index]
public abstract class Printable
(source file: Printable.java)
java.lang.Object
|
+----Printable
The pure class interface.
public abstract class Printable
-
A class of printable terms.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/02

Printable()
-

debug()
-
Print out debugging information.
print(Printer)
-
How to print this term
printA(Printer)
-
Print the term as an atom (bracketed by default).
printB(Printer)
-
Print the term with brackets round it.
toString()
-
Convert the term to a string.

Printable
public Printable();

print
public abstract void print(Printer p);
-
How to print this term. This is the only method which needs to be
defined, all the others have default implementations.
- Parameters:
- p - where to print to.
debug
public void debug();
-
Print out debugging information.
printA
public void printA(Printer p);
-
Print the term as an atom (bracketed by default).
- Parameters:
- p - where to print to.
printB
public void printB(Printer p);
-
Print the term with brackets round it.
- Parameters:
- p - where to print to.
toString
public String toString();
-
Convert the term to a string.
- Returns:
- the result of printing the term into a string buffer,
then converting the string buffer back to a string.
- Overrides:
- toString in class Object
[all packages]
[package ]
[class hierarchy]
[index]
Printable.html