Aprove Utilites

AProVE Utilities

Collection Utilities

• CollectionMap (aprove.verification.oldframework.Utility.LinkedHashCollectionMap.java)

  A LinkedHashMap implementation which has collections as its values. It has two genereic parameters, one for the key and one for the content type of the collection. The parameter of the constructor of type Class<? extends Collection> sets the type of the collection. For example

  new LinkedHashCollectionMap<Integer,String>(LinkedList.class)

  creates a new map with Integers as keys and LinkedLists of Strings as values. The implemented methods are commented and should be self-explanatory.

  The default constructor creates a CollectionMap based on a LinkedHashSet.

• Pair, Triple, Quadrupel (aprove.verification.oldframework.Utility.Pair.java) (aprove.verification.oldframework.Utility.Triple.java) (aprove.verification.oldframework.Utility.Quadruple.java)

Very useful utilities to bunch a fix number (2, 3 or 4) of elements in one object. They can also be used to give a method the chance to return more than one element.

Multithreading Utilities

• MultithreadedExecutor (aprove.verification.oldframework.Utility.Multithread.MultithreadedExecutor.java)

  Framework for multithreaded work. You only need to specify your work and the framework does the rest for you.

• ExecHelper (aprove.solver.Engines)

  Whenever you want to run some external program which provides output both on STDOUT and STDERR, you might want to use this.