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.StandardTypeReader

Packages that use StandardTypeReader
escjava   
escjava.reader   
javafe   
javafe.reader   
 

Uses of StandardTypeReader in escjava
 

Methods in escjava that return StandardTypeReader
 StandardTypeReader Main.makeStandardTypeReader(java.lang.String path, java.lang.String sourcePath, PragmaParser P)
          Returns the Esc StandardTypeReader, EscTypeReader.
 

Uses of StandardTypeReader in escjava.reader
 

Subclasses of StandardTypeReader in escjava.reader
 class EscTypeReader
          An EscTypeReader is a StandardTypeReader extended to understand ".spec" files.
 

Methods in escjava.reader that return StandardTypeReader
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.
static StandardTypeReader EscTypeReader.make(Query Q, Query sourceQ, PragmaParser pragmaP, AnnotationHandler ah)
          Create a EscTypeReader from a non-null query engine and a pragma parser.
static StandardTypeReader EscTypeReader.make(java.lang.String path, java.lang.String srcPath, PragmaParser pragmaP, AnnotationHandler ah)
          Create a EscTypeReader using a given Java classpath for our underlying Java file space and a given pragma parser.
static StandardTypeReader EscTypeReader.make(PragmaParser pragmaP)
          Create a EscTypeReader using a the default Java classpath for our underlying Java file space and a given pragma parser.
static StandardTypeReader EscTypeReader.make()
          Create a EscTypeReader using the default Java classpath for our underlying Java file space and no pragma parser.
 

Uses of StandardTypeReader in javafe
 

Methods in javafe that return StandardTypeReader
 StandardTypeReader FrontEndTool.makeStandardTypeReader(java.lang.String path, java.lang.String sourcePath, PragmaParser P)
          Called to obtain the StandardTypeReader to be used for locating and reading in types.
 

Uses of StandardTypeReader in javafe.reader
 

Methods in javafe.reader that return StandardTypeReader
static StandardTypeReader StandardTypeReader.make(Query engine, Query srcEngine, Reader srcReader, Reader binReader)
          Create a StandardTypeReader from a query engine, a source reader, and a binary reader.
static StandardTypeReader StandardTypeReader.make(Query Q, Query sourceQ, PragmaParser pragmaP)
          Create a StandardTypeReader from a query engine and a pragma parser.
static StandardTypeReader StandardTypeReader.make(java.lang.String path, java.lang.String sourcePath, PragmaParser pragmaP)
          Create a StandardTypeReader using a given Java classpath for our underlying Java file space and a given pragma parser.
static StandardTypeReader StandardTypeReader.make(PragmaParser pragmaP)
          Create a StandardTypeReader using a the default Java classpath for our underlying Java file space and a given pragma parser.
static StandardTypeReader StandardTypeReader.make()
          Create a StandardTypeReader using the default Java classpath for our underlying Java file space and no pragma parser.
 


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