Package daikon

Class MergeInvariants

Object

MergeInvariants

public final class MergeInvariants
extends Object

Merges invariants from multiple invariant files into a single invariant file. It does this by forming a hierarchy over the ppts from each invariant file and using the normal hierarchy merging code to merge the invariants.

The ppts from each invariant file are merged to create a single ppt map that contains the ppts from all of the files. At each leaf of the merged map, a hierarchy is formed to the ppts from each of the input files.

Field Summary

Fields

Modifier and Type	Field	Description
static Logger	debug	Debug logger.
static Logger	debugProgress	Progress logger.
static @Nullable File	output_inv_file	The file in which to produce output; if null, the results are printed.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)
static void	mainHelper(String[] args)	This does the work of main(String[]), 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

Field Detail

debug

public static final Logger debug

Debug logger.

debugProgress

public static final Logger debugProgress

Progress logger.

output_inv_file

public static @Nullable File output_inv_file

The file in which to produce output; if null, the results are printed.

Method Detail

main

public static void main(String[] args)
                 throws FileNotFoundException,
                        StreamCorruptedException,
                        OptionalDataException,
                        IOException,
                        ClassNotFoundException

Throws:

FileNotFoundException

StreamCorruptedException

OptionalDataException

IOException

ClassNotFoundException

mainHelper

public static void mainHelper(String[] args)
                       throws FileNotFoundException,
                              StreamCorruptedException,
                              OptionalDataException,
                              IOException,
                              ClassNotFoundException

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

Parameters:

args - the command-line arguments

Throws:

FileNotFoundException - if a file cannot be found

StreamCorruptedException - if a stream is corrupted

OptionalDataException - if there is a serialization problem

IOException - if there is trouble with I/O

ClassNotFoundException - if a class cannot be found