sofya.tools
Class Coverage

java.lang.Object
  sofya.tools.Coverage

public final class Coverage
extends java.lang.Object

Computes coverage information for Java subjects traced by Sofya. Currently only basic block coverage is supported.

Version:

12/02/2005

Author:

Alex Kinneer

Constructor Summary

Coverage()

Method Summary

static void	main(java.lang.String[] argv)
static void	printCoverage(java.io.PrintWriter pw, java.lang.String thFile, boolean all)
static void	printCoverage(java.io.PrintWriter pw, java.lang.String thFile, boolean all, java.lang.String tag)

Methods inherited from class java.lang.Object

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

Constructor Detail

Coverage

public Coverage()

Method Detail

printCoverage

public static void printCoverage(java.io.PrintWriter pw,
                                 java.lang.String thFile,
                                 boolean all)
                          throws java.io.IOException

Throws:

java.io.IOException

printCoverage

public static void printCoverage(java.io.PrintWriter pw,
                                 java.lang.String thFile,
                                 boolean all,
                                 java.lang.String tag)
                          throws java.io.IOException

Throws:

java.io.IOException

main

public static void main(java.lang.String[] argv)