JML

org.jmlspecs.samples.reader
Class BufferedReader

java.lang.Object
  extended byorg.jmlspecs.samples.reader.BufferedReader
All Implemented Interfaces:
Reader
Direct Known Subclasses:
BlankReader

public abstract class BufferedReader
extends Object
implements Reader

Buffered readers.

Author:
Arnd Poetzsch-Heffter from an example by K. Rustan M. Leino and Greg Nelson, in Data abstraction and information hiding, ACM Transactions on Programming Languages and Systems, Volume 24, number 5, pp. 491-553, September 2002.

Field Summary
protected  char[] buff
           
protected  int cur
           
protected  int hi
           
protected  int lo
           
 
Constructor Summary
BufferedReader()
           
 
Method Summary
 int read()
           
abstract  void refill()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.jmlspecs.samples.reader.Reader
close
 

Field Detail

lo

protected int lo

hi

protected int hi

cur

protected int cur

buff

protected char[] buff
Constructor Detail

BufferedReader

public BufferedReader()
Method Detail

read

public int read()
Specified by:
read in interface Reader

refill

public abstract void refill()

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.