Uses of Class
java.io.PrintStream

Packages that use PrintStream

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.sql	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.jmlrac.runtime	Classes for use during runtime assertion checking for code compiled with JML's runtime assertion checking compiler (jmlc).
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.relaxed.runtime
org.multijava.relaxed.util
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Uses of PrintStream in java.lang

Fields in java.lang declared as PrintStream

static PrintStream	System.out
static PrintStream	System.err

Methods in java.lang with parameters of type PrintStream

void	Throwable.printStackTrace(PrintStream s)
(package private) void	ThreadGroup.list(PrintStream, int)
static void	System.setOut(PrintStream o)
static void	System.setErr(PrintStream e)

Uses of PrintStream in java.sql

Methods in java.sql that return PrintStream

static PrintStream

DriverManager.getLogStream()

Methods in java.sql with parameters of type PrintStream

static void

DriverManager.setLogStream(PrintStream out)

Uses of PrintStream in java.util

Methods in java.util with parameters of type PrintStream

void	Properties.list(PrintStream)

Uses of PrintStream in org.jmlspecs.jmlrac.runtime

Methods in org.jmlspecs.jmlrac.runtime with parameters of type PrintStream

static void

JMLChecker.reportCoverage(PrintStream writer)

Uses of PrintStream in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as PrintStream

private PrintStream

JMLTestRunner.JmlResultPrinter.writer

Constructors in org.jmlspecs.jmlunit with parameters of type PrintStream

JMLTestRunner(PrintStream writer)
Constructs a JMLTestRunner using the given stream for all the output.

JMLTestRunner.JmlResultPrinter(PrintStream writer)

Uses of PrintStream in org.jmlspecs.racwrap

Fields in org.jmlspecs.racwrap declared as PrintStream

PrintStream	InterfacePrinter.out
PrintStream	FactoryPrinter.out

Methods in org.jmlspecs.racwrap that return PrintStream

PrintStream

Main.createTempFile(JmlCompilationUnit cunit, String filename)

Methods in org.jmlspecs.racwrap with parameters of type PrintStream

static void

Util.printParams(PrintStream out, JFormalParameter[] params)

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

InterfacePrinter(PrintStream out)
Constructor.

FactoryPrinter(PrintStream out)
Constructor.

Uses of PrintStream in org.multijava.mjc

Fields in org.multijava.mjc declared as PrintStream

private static PrintStream	Debug.out
static PrintStream	Debug.stderr A cache of System.err so we can hack around code that uses System.setErr()

Methods in org.multijava.mjc with parameters of type PrintStream

static void

Debug.initialize(boolean debug, PrintStream out) Resets the debug reporting methods.

Uses of PrintStream in org.multijava.relaxed.runtime

Methods in org.multijava.relaxed.runtime with parameters of type PrintStream

void	RMJClassLoader.printClassReport(PrintStream strm)

Uses of PrintStream in org.multijava.relaxed.util

Fields in org.multijava.relaxed.util declared as PrintStream

private static PrintStream

RMJDebug.strm

Uses of PrintStream in org.multijava.util.testing

Fields in org.multijava.util.testing declared as PrintStream

private static PrintStream	Utils.pso A cached value of the usual System out stream.
private static PrintStream	Utils.pse A cached value of the usual System err stream.

Methods in org.multijava.util.testing with parameters of type PrintStream

static void

Utils.setStreams(PrintStream ps) Redirects System.out and System.err to the given PrintStream.