[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

Constuctor Index

O LaTeX(Printer)
Create a new printer.

Methods

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

Constructors

O LaTeX
public LaTeX(Printer p);
Create a new printer.

Parameters:
p - where to print to.

Methods

O printRawString
public void printRawString(String s);

O printNewLine

public void printNewLine();

O printRoman

public void printRoman(String s);

O printItalic

public void printItalic(String s);

O printBold

public void printBold(String s);

O printTypewriter

public void printTypewriter(String s);

O printSubscript

public void printSubscript(Printable p);

O printSpace

public void printSpace();

O printLBrace

public void printLBrace();

O printRBrace

public void printRBrace();

O printArrow

public void printArrow();

O printOtimes

public void printOtimes();

O close

public void close();

[all packages] [package ] [class hierarchy] [index]
LaTeX.html