|
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.TestTool
TestTool
is an test class for SrcTool
and
its superclasses.
It just loads in files unless -superclasses
is
supplied, in which case it chases down each classes' superclass
chain.
Note: because this class is intended as a test class routine, the code for chasing superclass pointers is kludgey and does not always work correctly.
Nested Class Summary | |
class |
TestTool.Options
|
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 | |
TestTool()
|
Method Summary | |
TypeSig |
getSuperClass(TypeDecl td)
Attempt to fetch the TypeSig for a given
TypeDecl . |
void |
handleTD(TypeDecl td)
This method is called on the TypeDecl of each outside type that SrcTool is to process. |
static void |
main(java.lang.String[] args)
Start up an instance of this tool using command-line arguments args . |
Options |
makeOptions()
* Main processing code: * * |
java.lang.String |
name()
Return the name of this tool. |
TestTool.Options |
options()
|
Methods inherited from class javafe.SrcTool |
frontEndToolProcessing, handleAllCUs, handleCU, loadAllFiles, loadInputEntry, notify, postload, postprocess, preload, preprocess, resolveInputEntry, resolveList |
Methods inherited from class javafe.FrontEndTool |
clear, handleOptions, makePragmaParser, makePrettyPrint, makeStandardTypeReader, makeTypeCheck, processOptions, run, setup, 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 TestTool()
Method Detail |
public java.lang.String name()
Used in usage and error messages.
name
in class Tool
public Options makeOptions()
SrcTool
makeOptions
in class SrcTool
public final TestTool.Options options()
public static void main(java.lang.String[] args)
args
.
Note: this code needs to be copied verbatim to each
subclass of Tool
except with the name of the actual
subclass inserted after the new operator.
(This needs to be done because static methods cannot be inherited.)
public void handleTD(TypeDecl td)
handleTD
in class SrcTool
public TypeSig getSuperClass(TypeDecl td)
TypeSig
for a given
TypeDecl
. Returns null if none exists.
|
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 |