Package daikon.tools.compare

Class LogicalCompare

Object

LogicalCompare

public class LogicalCompare
extends Object

This is a standalone program that compares the invariants from two versions of (and/or runs of) a program, and determines using Simplify whether the invariants from one logically imply the invariants from the other. These are referred to below as the "test" and "application" invariants, and the conditions that are checked is that the each test precondition (ENTER point invariant) must be implied some combination of application preconditions, and that each application postcondition (EXIT point invariant) must be implied by some combination of test postconditions and application preconditions.

Field Summary

Fields

Modifier and Type	Field	Description
static Logger	debug

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

Method Detail

main

public static void main(String[] args)
                 throws FileNotFoundException,
                        IOException,
                        SimplifyError

Throws:

FileNotFoundException

IOException

SimplifyError

mainHelper

public static void mainHelper(String[] args)
                       throws FileNotFoundException,
                              IOException,
                              SimplifyError

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

Parameters:

args - command-line arguments, like those of main(java.lang.String[])

Throws:

FileNotFoundException

IOException

SimplifyError