jdd.bdd.debug

Class BDDTraceSuite

java.lang.Object

jdd.bdd.debug.BDDTraceSuite

public class BDDTraceSuite
extends Object

 This class opens and runs a suite of BDD traces from a zip file.
 A trace file is assumed to have the '.trace' posfix. Any file with the 'README' posfix
 is assumed to be an information file and is dumped to stdout.

 

Constructor Summary

Constructors

Constructor and Description
BDDTraceSuite(String filename, int initial_size) filename is the name of zip file, initial_size is the suggested "base" for deciding the initial of the nodetable.

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

BDDTraceSuite

public BDDTraceSuite(String filename,
                     int initial_size)

filename is the name of zip file, initial_size is the suggested "base" for deciding the initial of the nodetable. if initial_size is -1, it is ignored and BDDTrace's default value is used

Method Detail

main

public static void main(String[] args)