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

All Methods Static Methods Concrete Methods
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.
`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(String[]), but it never calls System.exit, so it is appropriate to be called progrmmatically.

Throws:

Exception

union

public static void union(PptMap collector,
                         PptMap source)

Union multiple PptMaps into one.

Parameters:: collector - is mutated; source - is unmodified (but is aliased into)