Uses of Class
java.io.Writer

Packages that use Writer

com.sun.tools.doclets
com.sun.tools.doclets.standard
java.io	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).
org.jmlspecs.jmldoc.jmldoc_142
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.mjdoc.mjdoc_142	The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Uses of Writer in com.sun.tools.doclets

Subclasses of Writer in com.sun.tools.doclets

class	com.sun.tools.doclets.HtmlDocWriter
class	com.sun.tools.doclets.HtmlWriter

Uses of Writer in com.sun.tools.doclets.standard

Subclasses of Writer in com.sun.tools.doclets.standard

class	com.sun.tools.doclets.standard.AbstractPackageWriter
class	com.sun.tools.doclets.standard.AllClassesFrameWriter
class	com.sun.tools.doclets.standard.ClassWriter
class	com.sun.tools.doclets.standard.HtmlStandardWriter
class	com.sun.tools.doclets.standard.PackageFrameWriter
class	com.sun.tools.doclets.standard.PackageWriter
class	com.sun.tools.doclets.standard.SubWriterHolderWriter

Uses of Writer in java.io

Subclasses of Writer in java.io

class	FileWriter
class	OutputStreamWriter
class	PrintWriter
class	StringWriter

Fields in java.io declared as Writer

protected Writer

PrintWriter.out

Constructors in java.io with parameters of type Writer

PrintWriter(Writer w)

PrintWriter(Writer w, boolean b)

Uses of Writer in java.sql

Methods in java.sql that return Writer

abstract Writer

Clob.setCharacterStream(long)

Uses of Writer in org.jmlspecs.jmldoc.jmldoc_142

Subclasses of Writer in org.jmlspecs.jmldoc.jmldoc_142

class

JmldocClassWriter A derivative of a class in the javadoc doclet API, so as to be able to instantiate a MjdocClassWriter instead of a ClassWriter and a MjdocMethodSubWriter instead of a MethodSubWriter.

Uses of Writer in org.jmlspecs.jmlrac

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

RacPrettyPrinter(Writer writer, JmlModifier modUtil)
Constructs a pretty printer object for JML specifications

Uses of Writer in org.jmlspecs.jmlunit

Methods in org.jmlspecs.jmlunit with parameters of type Writer

void	TestClassGenerator.perform(Writer writer, JCompilationUnit cunit, JntOptions options) Generates a JML/JUnit test oracle class for the given compilation unit.

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

FancyTabbedPrintWriter(Writer writer)
Initialize this fancy tabbed print writer.

FancyTabbedPrintWriter(Writer writer, int tabSize)
Initialize this fancy tabbed print writer.

Uses of Writer in org.jmlspecs.racwrap

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

WrapperPrettyPrinter(Writer writer, JmlModifier modUtil)

OrigPrettyPrinter(Writer wr, JmlModifier modUtil)

Uses of Writer in org.multijava.mjc

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

MjcPrettyPrinter(Writer wr, ModifierUtility modUtil)
construct a pretty printer object for java code

Uses of Writer in org.multijava.mjdoc.mjdoc_142

Subclasses of Writer in org.multijava.mjdoc.mjdoc_142

class	MjdocAllClassesFrameWriter Generate the file with list of all the classes in this run.
class	MjdocClassWriter A derivative of a class in the javadoc doclet API, so as to be able to instantiate a MjdocClassWriter instead of a ClassWriter and a MjdocMethodSubWriter instead of a MethodSubWriter.
class	MjdocEMWriter This class takes care of writing an html page for the contents of a compilation unit that contains external methods rather than classes.
class	MjdocGFWriter This class takes care of writing html pages that document individual generic functions (a family of related external and internal methods).
class	MjdocMethodWriter This is just used as a common super class for MjdocEFWriter and MjdocGFWriter, both of which produce html pages containing a list of methods, but not as part of a class.
class	MjdocPackageFrameWriter Class to generate file for each package contents in the left-hand bottom frame.
class	MjdocPackageWriter A derivative of a class in the javadoc doclet API, so as to be able to instantiate a MjdocClassWriter instead of a ClassWriter and a MjdocMethodSubWriter instead of a MethodSubWriter.

Uses of Writer in org.multijava.util.compiler

Constructors in org.multijava.util.compiler with parameters of type Writer

TabbedPrintWriter(Writer writer)
construct a pretty printer object for java code

Uses of Writer in org.multijava.util.testing

Constructors in org.multijava.util.testing with parameters of type Writer

Main.SuiteWriter(Writer wr)