java.io
Class PrintWriter
java.lang.Object
java.io.Writer
java.io.PrintWriter
- Direct Known Subclasses:
- com.sun.tools.doclets.HtmlWriter
- public class PrintWriter
- extends Writer
Specifications inherited from class Object |
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this); |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
out
protected Writer out
- Specifications: non_null
PrintWriter
public PrintWriter(non_null Writer w)
PrintWriter
public PrintWriter(non_null Writer w,
boolean b)
PrintWriter
public PrintWriter(non_null OutputStream o)
PrintWriter
public PrintWriter(non_null OutputStream o,
boolean b)
flush
public void flush()
close
public void close()
checkError
public boolean checkError()
setError
protected void setError()
write
public void write(int i)
- Overrides:
write
in class Writer
write
public void write(non_null char[] ca,
int i,
int j)
write
public void write(non_null char[] ca)
- Overrides:
write
in class Writer
write
public void write(non_null String s,
int i,
int j)
- Overrides:
write
in class Writer
write
public void write(non_null String s)
- Overrides:
write
in class Writer
print
public void print(boolean b)
print
public void print(char c)
print
public void print(int i)
print
public void print(long i)
print
public void print(float f)
print
public void print(double d)
print
public void print(non_null char[] ca)
print
public void print(non_null String s)
print
public void print(non_null Object o)
println
public void println()
println
public void println(boolean b)
println
public void println(char c)
println
public void println(int i)
println
public void println(long i)
println
public void println(float f)
println
public void println(double d)
println
public void println(non_null char[] ca)
println
public void println(non_null String s)
println
public void println(non_null Object o)
JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.