java.io
Class Reader

java.lang.Object
  java.io.Reader

Direct Known Subclasses:

BufferedReader, InputStreamReader

public abstract class Reader

extends Object

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
[spec_public] protected  Object	lock

 

Constructor Summary
protected	Reader()
protected	Reader(non_null Object Param0)

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

Method Summary
abstract  void	close()
void	mark(int Param0)
boolean	markSupported()
int	read()
int	read(non_null char[] Param0)
abstract  int	read(non_null char[] Param0, int Param1, int Param2)
boolean	ready()
void	reset()
long	skip(long Param0)

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

lock

protected Object lock

Specifications: spec_public

Reader

protected Reader()

Reader

protected Reader(non_null Object Param0)

read

public int read()
         throws IOException

Throws:

IOException

Specifications:

signals_only java.lang.ArrayStoreException, java.io.IOException;

close

public abstract void close()
                    throws IOException

Throws:

IOException

reset

public void reset()
           throws IOException

Throws:

IOException

markSupported

public boolean markSupported()

ready

public boolean ready()
              throws IOException

Throws:

IOException

mark

public void mark(int Param0)
          throws IOException

Throws:

IOException

skip

public long skip(long Param0)
          throws IOException

Throws:

IOException

read

public int read(non_null char[] Param0)
         throws IOException

Throws:

IOException

read

public abstract int read(non_null char[] Param0,
                         int Param1,
                         int Param2)
                  throws IOException

Throws:

IOException

Specifications:

signals_only java.lang.ArrayStoreException, java.io.IOException;