|
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 GenericFile | |
escjava.gui | |
escjava.reader | |
javafe.ast | |
javafe.filespace | |
javafe.genericfile | |
javafe.reader | |
javafe.tc | |
javafe.util |
Uses of GenericFile in escjava.gui |
Fields in escjava.gui declared as GenericFile | |
GenericFile |
GUI.GFCUTreeValue.gf
|
Methods in escjava.gui with parameters of type GenericFile | |
static javax.swing.tree.DefaultMutableTreeNode |
GUI.GFCUTreeValue.makeNode(GenericFile gf,
int s)
|
Constructors in escjava.gui with parameters of type GenericFile | |
GUI.GFCUTreeValue(GenericFile gf)
|
Uses of GenericFile in escjava.reader |
Methods in escjava.reader that return GenericFile | |
static GenericFile |
RefinementCachedReader.findRefined(java.lang.String[] pkgStrings,
CompilationUnit cu)
|
GenericFile |
EscTypeReader.findFirst(java.lang.String[] P,
java.lang.String T)
|
GenericFile |
EscTypeReader.findSrcFile(java.lang.String[] P,
java.lang.String filename)
|
GenericFile |
EscTypeReader.findBinFile(java.lang.String[] P,
java.lang.String filename)
|
GenericFile |
EscTypeReader.findType(java.lang.String[] P,
java.lang.String T)
|
Methods in escjava.reader with parameters of type GenericFile | |
CompilationUnit |
RefinementCachedReader.isAlreadyRead(GenericFile target)
* Caching methods: * * |
CompilationUnit |
RefinementCachedReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from target. |
CompilationUnit |
EscTypeReader.read(GenericFile f,
boolean avoidSpec)
|
Uses of GenericFile in javafe.ast |
Methods in javafe.ast that return GenericFile | |
GenericFile |
CompilationUnit.sourceFile()
|
Uses of GenericFile in javafe.filespace |
Methods in javafe.filespace that return GenericFile | |
GenericFile |
SlowQuery.findFile(java.lang.String[] P,
java.lang.String typename,
java.lang.String extension)
Attempt to locate the file typename+"." |
GenericFile |
SlowQuery.findFile(java.lang.String[] P,
java.lang.String filename)
|
GenericFile |
SlowQuery.findFile(java.lang.String[] P,
java.lang.String typename,
java.lang.String[] extensions)
|
abstract GenericFile |
Query.findFile(java.lang.String[] P,
java.lang.String typename,
java.lang.String extension)
Attempt to locate the file typename+"." |
abstract GenericFile |
Query.findFile(java.lang.String[] P,
java.lang.String filename)
|
abstract GenericFile |
Query.findFile(java.lang.String[] P,
java.lang.String typename,
java.lang.String[] extensions)
Locates a file with given package, typename, and one of the given extensions; the first directory on the search path containing a candidate file is used - within that directory, extensions near the beginning of the extensions Vector take precedence. |
Uses of GenericFile in javafe.genericfile |
Classes in javafe.genericfile that implement GenericFile | |
class |
NormalGenericFile
A NormalGenericFile represents a normal file ( File )
as a GenericFile. |
class |
UnopenableFile
Instances of UnopenableFile are GenericFile s that cannot
be opened. |
class |
ZipGenericFile
A ZipGenericFile represents a zipfile-entry file (java.util.zip.ZipEntry) as a GenericFile. |
Methods in javafe.genericfile that return GenericFile | |
GenericFile |
ZipGenericFile.getSibling(java.lang.String n)
Attempt to return a GenericFile that describes the file in the same "directory" as us that has the local name n . |
GenericFile |
UnopenableFile.getSibling(java.lang.String n)
|
GenericFile |
NormalGenericFile.getSibling(java.lang.String n)
|
GenericFile |
GenericFile.getSibling(java.lang.String n)
Attempt to return a GenericFile that describes the file in the same "directory" as us that has the local name n . |
Uses of GenericFile in javafe.reader |
Fields in javafe.reader declared as GenericFile | |
(package private) GenericFile |
ASTClassFileParser.inputFile
The input file being parsed. |
Methods in javafe.reader that return GenericFile | |
abstract GenericFile |
TypeReader.findType(java.lang.String[] P,
java.lang.String T)
Returns a (source or binary) file for the given type. |
GenericFile |
StandardTypeReader.findType(java.lang.String[] P,
java.lang.String T)
|
GenericFile |
StandardTypeReader.locateBinary(java.lang.String[] P,
java.lang.String[] N)
If a binary exists for the exact fully-qualified type P.N (e.g., no inheritance required), then return a GenericFile
representing that file. |
GenericFile |
StandardTypeReader.locateSource(java.lang.String[] P,
java.lang.String T,
boolean useSrcPtr)
If a source exists for the fully-qualified outside type P.T , then return a GenericFile representing
that file. |
Methods in javafe.reader with parameters of type GenericFile | |
abstract CompilationUnit |
TypeReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from *source file* target. |
CompilationUnit |
StandardTypeReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from
|
CompilationUnit |
SrcReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from *source* target. |
abstract CompilationUnit |
Reader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from target. |
protected java.lang.Object |
CachedReader.get(GenericFile target)
Lookup a non-null GenericFile in the cache. |
protected void |
CachedReader.put(GenericFile target,
CompilationUnit value)
Store information about a non-null GenericFile in the cache; this has no effect if the GenericFile has a null canonicalID. |
boolean |
CachedReader.isCached(GenericFile target)
Is the result of read on target cached for this Reader? |
void |
CachedReader.flushTarget(GenericFile target)
Flush the saved info (if any) for target for this Reader. |
CompilationUnit |
CachedReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from target. |
CompilationUnit |
BinReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from *binary* target. |
Constructors in javafe.reader with parameters of type GenericFile | |
ASTClassFileParser(GenericFile inputFile,
boolean includeBodies)
Parse a class into a new class parser. |
Uses of GenericFile in javafe.tc |
Methods in javafe.tc with parameters of type GenericFile | |
static CompilationUnit |
OutsideEnv.addSource(GenericFile source)
Attempt to add the package-member types contained in a source file to the package-member-types environment, returning the CompilationUnit , if any, found in that file.
|
Uses of GenericFile in javafe.util |
Fields in javafe.util declared as GenericFile | |
private GenericFile |
SubCorrelatedReader.file
|
private GenericFile |
FileCorrelatedReader.file
The GenericFile for this CorrelatedReader. |
Methods in javafe.util that return GenericFile | |
GenericFile |
SubCorrelatedReader.getFile()
Returns the file underlying this correlated reader. |
(package private) static GenericFile |
LocationManagerCorrelatedReader.streamIdToFile(int id)
Returns the GenericFile associated with stream id id , where id has previously been
returned by locToStreamId .
|
(package private) static GenericFile |
LocationManagerCorrelatedReader.locToFile(int loc)
Returns the GenericFile associated with location loc . |
static GenericFile |
Location.toFile(int loc)
Extracts the file corresponding to a location. |
static GenericFile |
Location.streamIdToFile(int id)
Returns the file associated with stream id id ,
where id has previously been returned by
toStreamId . |
GenericFile |
FilterCorrelatedReader.getFile()
Returns the file underlying this correlated reader. |
GenericFile |
FileCorrelatedReader.getFile()
Returns the file underlying this correlated reader. |
abstract GenericFile |
CorrelatedReader.getFile()
Returns the file underlying this correlated reader. |
Methods in javafe.util with parameters of type GenericFile | |
static int |
Location.createWholeFileLoc(GenericFile file)
Create a whole file location corresponding to the given GenericFile. |
(package private) static int |
FileCorrelatedReader.createWholeFileLoc(GenericFile file)
Create a whole file location for a given GenericFile. |
Constructors in javafe.util with parameters of type GenericFile | |
SubCorrelatedReader(GenericFile file,
byte[] buf,
int beforeBufLoc)
Creates a sub-reader. |
|
FileCorrelatedReader(GenericFile file)
Constructs a correlated input stream that reads its input from the specified GenericFile. |
|
FileCorrelatedReader(java.io.InputStream in,
GenericFile file)
Constructs a correlated input stream that reads its input from the specified input stream. |
|
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 |