JML

java.io
Class PrintStream

java.lang.Object
  extended byjava.io.OutputStream
      extended byjava.io.FilterOutputStream
          extended byjava.io.PrintStream
All Implemented Interfaces:
Appendable, Closeable, Flushable

public class PrintStream
extends FilterOutputStream
implements Appendable, Closeable


Field Summary
private  boolean autoFlush
           
private  OutputStreamWriter charOut
           
private  boolean closing
           
private  Formatter formatter
           
private  BufferedWriter textOut
           
private  boolean trouble
           
 
Fields inherited from class java.io.FilterOutputStream
out
 
Constructor Summary
private PrintStream(boolean, OutputStream)
           
  PrintStream(File)
           
  PrintStream(File, String)
           
  PrintStream(OutputStream)
           
  PrintStream(OutputStream, boolean)
           
  PrintStream(OutputStream, boolean, String)
           
  PrintStream(String)
           
  PrintStream(String, String)
           
 
Method Summary
 PrintStream append(char)
           
 Appendable append(char)
           
 PrintStream append(CharSequence)
           
 Appendable append(CharSequence)
           
 PrintStream append(CharSequence, int, int)
           
 Appendable append(CharSequence, int, int)
           
 boolean checkError()
           
protected  void clearError()
           
 void close()
           
private  void ensureOpen()
           
 void flush()
           
 PrintStream format(String, Object[])
           
 PrintStream format(Locale, String, Object[])
           
private  void init(OutputStreamWriter)
           
private  void newLine()
           
 void print(boolean)
           
 void print(char)
           
 void print(char[])
           
 void print(double)
           
 void print(float)
           
 void print(int)
           
 void print(Object)
           
 void print(String)
           
 void print(long)
           
 PrintStream printf(String, Object[])
           
 PrintStream printf(Locale, String, Object[])
           
 void println()
           
 void println(boolean)
           
 void println(char)
           
 void println(char[])
           
 void println(double)
           
 void println(float)
           
 void println(int)
           
 void println(Object)
           
 void println(String)
           
 void println(long)
           
protected  void setError()
           
 void write(byte[], int, int)
           
private  void write(char[])
           
 void write(int)
           
private  void write(String)
           
 
Methods inherited from class java.io.FilterOutputStream
write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

trouble

private boolean trouble

closing

private boolean closing

formatter

private Formatter formatter

autoFlush

private boolean autoFlush

textOut

private BufferedWriter textOut

charOut

private OutputStreamWriter charOut
Constructor Detail

PrintStream

public PrintStream(OutputStream)

PrintStream

private PrintStream(boolean,
                    OutputStream)

PrintStream

public PrintStream(OutputStream,
                   boolean)

PrintStream

public PrintStream(OutputStream,
                   boolean,
                   String)
            throws UnsupportedEncodingException
Throws:
UnsupportedEncodingException

PrintStream

public PrintStream(String)
            throws FileNotFoundException
Throws:
FileNotFoundException

PrintStream

public PrintStream(String,
                   String)
            throws FileNotFoundException,
                   UnsupportedEncodingException
Throws:
FileNotFoundException
UnsupportedEncodingException

PrintStream

public PrintStream(File)
            throws FileNotFoundException
Throws:
FileNotFoundException

PrintStream

public PrintStream(File,
                   String)
            throws FileNotFoundException,
                   UnsupportedEncodingException
Throws:
FileNotFoundException
UnsupportedEncodingException
Method Detail

init

private void init(OutputStreamWriter)

ensureOpen

private void ensureOpen()
                 throws IOException
Throws:
IOException

flush

public void flush()
Specified by:
flush in interface Flushable
Overrides:
flush in class FilterOutputStream

close

public void close()
Specified by:
close in interface Closeable
Overrides:
close in class FilterOutputStream

checkError

public boolean checkError()

setError

protected void setError()

clearError

protected void clearError()

write

public void write(int)
Overrides:
write in class FilterOutputStream

write

public void write(byte[],
                  int,
                  int)
Overrides:
write in class FilterOutputStream

write

private void write(char[])

write

private void write(String)

newLine

private void newLine()

print

public void print(boolean)

print

public void print(char)

print

public void print(int)

print

public void print(long)

print

public void print(float)

print

public void print(double)

print

public void print(char[])

print

public void print(String)

print

public void print(Object)

println

public void println()

println

public void println(boolean)

println

public void println(char)

println

public void println(int)

println

public void println(long)

println

public void println(float)

println

public void println(double)

println

public void println(char[])

println

public void println(String)

println

public void println(Object)

printf

public transient PrintStream printf(String,
                                    Object[])

printf

public transient PrintStream printf(Locale,
                                    String,
                                    Object[])

format

public transient PrintStream format(String,
                                    Object[])

format

public transient PrintStream format(Locale,
                                    String,
                                    Object[])

append

public PrintStream append(CharSequence)
Specified by:
append in interface Appendable

append

public PrintStream append(CharSequence,
                          int,
                          int)
Specified by:
append in interface Appendable

append

public PrintStream append(char)
Specified by:
append in interface Appendable

append

public volatile Appendable append(char)
                           throws IOException
Specified by:
append in interface Appendable
Throws:
IOException

append

public volatile Appendable append(CharSequence,
                                  int,
                                  int)
                           throws IOException
Specified by:
append in interface Appendable
Throws:
IOException

append

public volatile Appendable append(CharSequence)
                           throws IOException
Specified by:
append in interface Appendable
Throws:
IOException

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.