|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavafe.Tool
javafe.FrontEndTool
javafe.CopyLoaded
Field Summary | |
java.util.Vector |
argumentFileNames
|
private java.io.PrintWriter |
libIndirectWriter
|
java.util.Vector |
loaded
* Keeping track of loaded CompilationUnits: * * |
java.util.Vector |
progIndirectFiles
|
private java.io.PrintWriter |
progIndirectWriter
|
Fields inherited from class javafe.FrontEndTool |
compositeClassPath, compositeSourcePath |
Fields inherited from class javafe.Tool |
badUsageExitCode, errorExitCode, okExitCode, options, outOfMemoryExitCode |
Constructor Summary | |
CopyLoaded()
|
Method Summary | |
private void |
copySourceFile(java.lang.String original,
java.lang.String newName)
Copy the source file original into the file newName. |
java.lang.String[] |
directoryPackage(java.lang.String dir)
|
java.lang.String |
fileNameName(java.lang.String s)
|
java.lang.String[] |
fileNamePackage(java.lang.String file)
|
private java.lang.String[] |
fillArray(java.util.StringTokenizer st,
int len)
|
java.lang.String |
FQNname(java.lang.String s)
|
java.lang.String[] |
FQNpackage(java.lang.String s)
|
void |
frontEndToolProcessing(java.util.ArrayList args)
Perform any front-end-tool-specific processing. |
void |
handleCU(CompilationUnit cu)
Process each CU's type decls. |
void |
handleTD(TypeDecl td)
Called from handleCU on each TypeDecl from the CU's loaded from the program files. |
static void |
main(java.lang.String[] args)
* Main processing code: * * |
private java.lang.String |
makeDirPath(java.lang.String[] P)
|
private java.lang.String |
makeDirTree(java.lang.String root,
java.lang.String[] P)
|
Options |
makeOptions()
Called to create a new Options object. |
java.lang.String |
name()
Return the non-null name of this tool. |
void |
notify(CompilationUnit justLoaded)
Each time a CompilationUnit is loaded by
OutsideEnv , this routine in the current
Listener (see OutsideEnv.setListener )
is called with the newly-loaded
CompilationUnit . |
CopyLoadedOptions |
options()
|
private java.lang.String |
packageDirForFile(CompilationUnit cu)
|
void |
printSpec(java.lang.String s)
Prints the spec file for the FQN s. |
private boolean |
processTD(TypeDecl td)
Typecheck a TypeDecl; return true if we had to abort. |
void |
setup()
|
Methods inherited from class javafe.FrontEndTool |
clear, handleOptions, makePragmaParser, makePrettyPrint, makeStandardTypeReader, makeTypeCheck, processOptions, run, setupPaths |
Methods inherited from class javafe.Tool |
badOptionUsage, currentTime, spaceUsed, timeUsed, usage |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private java.io.PrintWriter libIndirectWriter
private java.io.PrintWriter progIndirectWriter
public final java.util.Vector progIndirectFiles
public final java.util.Vector argumentFileNames
public java.util.Vector loaded
Constructor Detail |
public CopyLoaded()
Method Detail |
public java.lang.String name()
Tool
name
in class Tool
public void setup()
setup
in class FrontEndTool
private java.lang.String packageDirForFile(CompilationUnit cu)
public void notify(CompilationUnit justLoaded)
Listener
CompilationUnit
is loaded by
OutsideEnv
, this routine in the current
Listener
(see OutsideEnv.setListener
)
is called with the newly-loaded
CompilationUnit
.
The passed CompilationUnit
will already have
the sig
fields of its direct TypeDecl
s
adjusted. (See the class comments for
OutsideEnv
).
notify
in interface Listener
public static void main(java.lang.String[] args)
public Options makeOptions()
FrontEndTool
Options
object.
makeOptions
in class FrontEndTool
public CopyLoadedOptions options()
public java.lang.String[] FQNpackage(java.lang.String s)
public java.lang.String FQNname(java.lang.String s)
public java.lang.String[] fileNamePackage(java.lang.String file)
public java.lang.String fileNameName(java.lang.String s)
public java.lang.String[] directoryPackage(java.lang.String dir)
private java.lang.String[] fillArray(java.util.StringTokenizer st, int len)
private java.lang.String makeDirTree(java.lang.String root, java.lang.String[] P)
private java.lang.String makeDirPath(java.lang.String[] P)
public void printSpec(java.lang.String s)
public final void frontEndToolProcessing(java.util.ArrayList args)
FrontEndTool
The remaining arguments are args[offset]
,
args[offset+1]
, ...
frontEndToolProcessing
in class FrontEndTool
private void copySourceFile(java.lang.String original, java.lang.String newName)
public void handleCU(CompilationUnit cu)
public void handleTD(TypeDecl td)
private boolean processTD(TypeDecl td)
Precondition: td is not from a binary file.
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |