daikon
Class UnionInvariants

Object
  UnionInvariants

public final class UnionInvariants
extends Object

UnionInvariants is a command-line tool that will read in one (or more) .inv files (possibly gzipped) and write their union into a new .inv file (possibly gzipped). Run with -h flag to view the command line syntax.

Currently, UnionInvariants works at program point granularity, so two inv files cannot have printable invariants at the same program point.

You can optionally use Simplify after combination in case you believe invariant context from other types will suppress some invariants. (This tool is also a nice way to run Simplify on a single inv file.)

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.
static void	union(PptMap collector, PptMap source) Union multiple PptMaps into one.

Methods inherited from class Object

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

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.TerminationMessage.

Throws:

Exception

See Also:

main(String[]), Daikon.TerminationMessage

union

public static void union(PptMap collector,
                         PptMap source)

Union multiple PptMaps into one.