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

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(OutputStream o)

PrintWriter(OutputStream o, boolean b)

PrintWriter(Writer w)

PrintWriter(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(char[] ca)
void	print(double d)
void	print(float f)
void	print(int i)
void	print(Object o)
void	print(String s)
void	print(long i)
void	println()
void	println(boolean b)
void	println(char c)
void	println(char[] ca)
void	println(double d)
void	println(float f)
void	println(int i)
void	println(Object o)
void	println(String s)
void	println(long i)
protected  void	setError()
void	write(char[] ca)
void	write(char[] ca, int i, int j)
void	write(int i)
void	write(String s)
void	write(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

PrintWriter

public PrintWriter(Writer w)

PrintWriter

public PrintWriter(Writer w,
                   boolean b)

PrintWriter

public PrintWriter(OutputStream o)

PrintWriter

public PrintWriter(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(char[] ca,
                  int i,
                  int j)

write

public void write(char[] ca)

Overrides:

write in class Writer

write

public void write(String s,
                  int i,
                  int j)

Overrides:

write in class Writer

write

public void write(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(char[] ca)

print

public void print(String s)

print

public void print(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(char[] ca)

println

public void println(String s)

println

public void println(Object o)