JML

java.io
Class PrintWriter

java.lang.Object
  extended byjava.io.Writer
      extended byjava.io.PrintWriter
Direct Known Subclasses:
com.sun.tools.doclets.HtmlWriter

public class PrintWriter
extends Writer


Class Specifications

Specifications inherited from class Object
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Field Summary
protected  Writer out
           
 
Fields inherited from class java.io.Writer
lock
 
Constructor Summary
PrintWriter(non_null OutputStream o)
           
PrintWriter(non_null OutputStream o, boolean b)
           
PrintWriter(non_null Writer w)
           
PrintWriter(non_null Writer w, boolean b)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 boolean checkError()
           
 void close()
           
 void flush()
           
 void print(boolean b)
           
 void print(char c)
           
 void print(non_null char[] ca)
           
 void print(double d)
           
 void print(float f)
           
 void print(int i)
           
 void print(non_null Object o)
           
 void print(non_null String s)
           
 void print(long i)
           
 void println()
           
 void println(boolean b)
           
 void println(char c)
           
 void println(non_null char[] ca)
           
 void println(double d)
           
 void println(float f)
           
 void println(int i)
           
 void println(non_null Object o)
           
 void println(non_null String s)
           
 void println(long i)
           
protected  void setError()
           
 void write(non_null char[] ca)
           
 void write(non_null char[] ca, int i, int j)
           
 void write(int i)
           
 void write(non_null String s)
           
 void write(non_null String s, int i, int j)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

out

protected Writer out
Specifications: non_null
Constructor Detail

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)
Method Detail

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

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.