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 Interface
javafe.genericfile.GenericFile

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 source file target.
`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.

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