daikon.tools.gretel
Class CoverageStats

Object
  CoverageStats

public class CoverageStats
extends Object

Given a .gretel file and a list of source file names, produce a report of the line coverage on those files.

Constructor Summary

CoverageStats()

Method Summary

static void	main(String[] args)
static void	mainHelper(String[] args) This does the work of main, but it never calls System.exit, so it is appropriate to be called progrmmatically.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CoverageStats

public CoverageStats()

Method Detail

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception

mainHelper

public static void mainHelper(String[] args)
                       throws Exception

This does the work of main, but it never calls System.exit, so it is appropriate to be called progrmmatically. Termination of the program with a message to the user is indicated by throwing daikon.Daikon.TerminationMessage.

Throws:

Exception

See Also:

main(String[]), Daikon.TerminationMessage