|
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 |
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |