Uses of Class
org.multijava.util.compiler.TabbedPrintWriter

Packages that use TabbedPrintWriter

org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Uses of TabbedPrintWriter in org.jmlspecs.jmlrac

Constructors in org.jmlspecs.jmlrac with parameters of type TabbedPrintWriter

RacPrettyPrinter(TabbedPrintWriter writer)
Constructs a pretty printer object for JML specifications

Uses of TabbedPrintWriter in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as TabbedPrintWriter

private TabbedPrintWriter

FancyTabbedPrintWriter.writer The writer to which the output is to be printed.

Uses of TabbedPrintWriter in org.jmlspecs.racwrap

Constructors in org.jmlspecs.racwrap with parameters of type TabbedPrintWriter

WrapperPrettyPrinter(TabbedPrintWriter writer)

Uses of TabbedPrintWriter in org.multijava.mjc

Fields in org.multijava.mjc declared as TabbedPrintWriter

protected TabbedPrintWriter

MjcPrettyPrinter.p

Constructors in org.multijava.mjc with parameters of type TabbedPrintWriter

MjcPrettyPrinter(TabbedPrintWriter p)
construct a pretty printer object for java code

Uses of TabbedPrintWriter in org.multijava.util.testing

Subclasses of TabbedPrintWriter in org.multijava.util.testing

(package private) class

Main.SuiteWriter