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 classPath, 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.