|
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.SrcTool
javafe.PrintSpec
PrintSpec
print specs for class files.
Nested Class Summary | |
(package private) class |
PrintSpec.PrintSpecPrettyPrint
* Keeping track of loaded CompilationUnits: * * |
Field Summary |
Fields inherited from class javafe.SrcTool |
loaded |
Fields inherited from class javafe.FrontEndTool |
compositeClassPath, compositeSourcePath |
Fields inherited from class javafe.Tool |
badUsageExitCode, errorExitCode, okExitCode, options, outOfMemoryExitCode |
Constructor Summary | |
PrintSpec()
|
Method Summary | |
java.lang.String |
FQNname(java.lang.String s)
|
java.lang.String[] |
FQNpackage(java.lang.String s)
|
void |
frontEndToolProcessing(java.util.ArrayList args)
Main processing loop for SrcTool . |
void |
loadAndPrintSpec(java.lang.String s)
|
static void |
main(java.lang.String[] args)
* Main processing code: * * |
private java.lang.String |
makeDirTree(java.lang.String[] P)
|
java.lang.String |
name()
Return the non-null name of this tool. |
void |
setup()
|
Methods inherited from class javafe.SrcTool |
handleAllCUs, handleCU, handleTD, loadAllFiles, loadInputEntry, makeOptions, notify, postload, postprocess, preload, preprocess, resolveInputEntry, resolveList |
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 |
Constructor Detail |
public PrintSpec()
Method Detail |
public java.lang.String name()
Tool
name
in class Tool
public void setup()
setup
in class FrontEndTool
public static void main(java.lang.String[] args)
public java.lang.String[] FQNpackage(java.lang.String s)
public java.lang.String FQNname(java.lang.String s)
private java.lang.String makeDirTree(java.lang.String[] P)
public void loadAndPrintSpec(java.lang.String s)
public final void frontEndToolProcessing(java.util.ArrayList args)
SrcTool
SrcTool
.
The remaining arguments are args[offset]
,
args[offset+1]
, ...
This method calls preload, loadAllFiles, postload, preprocess, handleAllCU, postprocess.
frontEndToolProcessing
in class SrcTool
|
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 |