[all packages]
[package ]
[class hierarchy]
[index]
public class LaTeX
(source file: LaTeX.java)
java.lang.Object
|
+----Printer
|
+----LaTeX
The pure class interface.
public class LaTeX
extends Printer
-
A printer which uses LaTeX control sequences to control the formatting
(useful for pretty-printing programs).
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/11

LaTeX(Printer)
-
Create a new printer.

close()
-
printArrow()
-
printBold(String)
-
printItalic(String)
-
printLBrace()
-
printNewLine()
-
printOtimes()
-
printRBrace()
-
printRawString(String)
-
printRoman(String)
-
printSpace()
-
printSubscript(Printable)
-
printTypewriter(String)
-

LaTeX
public LaTeX(Printer p);
-
Create a new printer.
- Parameters:
- p - where to print to.

printRawString
public void printRawString(String s);
printNewLine
public void printNewLine();
printRoman
public void printRoman(String s);
printItalic
public void printItalic(String s);
printBold
public void printBold(String s);
printTypewriter
public void printTypewriter(String s);
printSubscript
public void printSubscript(Printable p);
printSpace
public void printSpace();
printLBrace
public void printLBrace();
printRBrace
public void printRBrace();
printArrow
public void printArrow();
printOtimes
public void printOtimes();
close
public void close();
[all packages]
[package ]
[class hierarchy]
[index]
LaTeX.html