org.jmlspecs.samples.reader
Class BufferedReader

java.lang.Object
  org.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

BufferedReader

public BufferedReader()

read

public int read()

Specified by:

read in interface Reader

refill

public abstract void refill()