Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage