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

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


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

The ESC/Java2 Project Homepage