ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

Uses of Class
javafe.reader.CachedReader

Packages that use CachedReader
escjava.reader   
javafe.reader   
 

Uses of CachedReader in escjava.reader
 

Subclasses of CachedReader in escjava.reader
 class RefinementCachedReader
          RefinementCachedReader caches compilation units that have been read, as does its super class.
 

Methods in escjava.reader with parameters of type CachedReader
static StandardTypeReader EscTypeReader.make(Query engine, Query srcEngine, CachedReader srcReader, CachedReader binReader)
          Create a EscTypeReader from a query engine, a source reader, and a binary reader.
 

Constructors in escjava.reader with parameters of type CachedReader
EscTypeReader(Query engine, Query srcEngine, CachedReader srcReader, CachedReader binReader)
          Create an ESCTypeReader from a query engine, a source reader, and a binary reader.
 

Uses of CachedReader in javafe.reader
 

Constructors in javafe.reader with parameters of type CachedReader
StandardTypeReader(Query engine, Query srcEngine, CachedReader srcReader, CachedReader binReader)
          Create a StandardTypeReader from a query engine, a source reader, and a binary reader.
 


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage