JML

java.io
Class BufferedReader

java.lang.Object
  extended byjava.io.Reader
      extended byjava.io.BufferedReader

public class BufferedReader
extends Reader


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
private  char[] cb
           
private static int defaultCharBufferSize
           
private static int defaultExpectedLineLength
           
private  Reader in
           
private static int INVALIDATED
           
private  int markedChar
           
private  boolean markedSkipLF
           
private  int nChars
           
private  int nextChar
           
private  int readAheadLimit
           
private  boolean skipLF
           
private static int UNMARKED
           
 
Fields inherited from class java.io.Reader
lock
 
Constructor Summary
BufferedReader(Reader)
           
BufferedReader(Reader, int)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 void close()
           
private  void ensureOpen()
           
private  void fill()
           
 void mark(int)
           
 boolean markSupported()
           
 int read()
           
 int read(char[], int, int)
           
private  int read1(char[], int, int)
           
 String readLine()
           
(package private)  String readLine(boolean)
           
 boolean ready()
           
 void reset()
           
 long skip(long)
           
 
Methods inherited from class java.io.Reader
read
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

markedChar

private int markedChar

nChars

private int nChars

in

private Reader in

INVALIDATED

private static final int INVALIDATED

nextChar

private int nextChar

cb

private char[] cb

readAheadLimit

private int readAheadLimit

defaultExpectedLineLength

private static int defaultExpectedLineLength

defaultCharBufferSize

private static int defaultCharBufferSize

skipLF

private boolean skipLF

markedSkipLF

private boolean markedSkipLF

UNMARKED

private static final int UNMARKED
Constructor Detail

BufferedReader

public BufferedReader(Reader)

BufferedReader

public BufferedReader(Reader,
                      int)
Method Detail

read

public int read()
         throws IOException
Overrides:
read in class Reader
Throws:
IOException

close

public void close()
           throws IOException
Throws:
IOException

ensureOpen

private void ensureOpen()
                 throws IOException
Throws:
IOException

fill

private void fill()
           throws IOException
Throws:
IOException

reset

public void reset()
           throws IOException
Overrides:
reset in class Reader
Throws:
IOException

markSupported

public boolean markSupported()
Overrides:
markSupported in class Reader

ready

public boolean ready()
              throws IOException
Overrides:
ready in class Reader
Throws:
IOException

mark

public void mark(int)
          throws IOException
Overrides:
mark in class Reader
Throws:
IOException

skip

public long skip(long)
          throws IOException
Overrides:
skip in class Reader
Throws:
IOException

read

public int read(char[],
                int,
                int)
         throws IOException
Throws:
IOException

read1

private int read1(char[],
                  int,
                  int)
           throws IOException
Throws:
IOException

readLine

public String readLine()
                throws IOException
Throws:
IOException

readLine

String readLine(boolean)
          throws IOException
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.