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

javafe
Class TestTool

java.lang.Object
  extended byjavafe.Tool
      extended byjavafe.FrontEndTool
          extended byjavafe.SrcTool
              extended byjavafe.TestTool
All Implemented Interfaces:
Listener

public class TestTool
extends SrcTool

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

TestTool

public TestTool()
Method Detail

name

public java.lang.String name()
Return the name of this tool. E.g., "ls" or "cp".

Used in usage and error messages.

Specified by:
name in class Tool

makeOptions

public Options makeOptions()
Description copied from class: SrcTool
* Main processing code: * *

Overrides:
makeOptions in class SrcTool

options

public final TestTool.Options options()

main

public static void main(java.lang.String[] args)
Start up an instance of this tool using command-line arguments 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.)


handleTD

public void handleTD(TypeDecl td)
This method is called on the TypeDecl of each outside type that SrcTool is to process.

Overrides:
handleTD in class SrcTool

getSuperClass

public TypeSig getSuperClass(TypeDecl td)
Attempt to fetch the 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

The ESC/Java2 Project Homepage