Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## javafe
Class TestTool

    java.lang.Object
      javafe.Tool
          javafe.FrontEndTool
              javafe.SrcTool
                  javafe.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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage