Package daikon.tools

Class InvariantChecker

Object

InvariantChecker

public class InvariantChecker
extends Object

InvariantChecker reads an invariant file and trace file. It prints errors for any invariants that are violated by the trace file.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	InvariantChecker.InvariantCheckProcessor

Field Summary

Fields

Modifier and Type	Field	Description
static Logger	debug
static Logger	debug_detail
static List<String>	dtrace_files

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_detail

public static final Logger debug_detail

dtrace_files

public static List<String> dtrace_files

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 - command-line arguments, like those of main(java.lang.String[])

Throws:

FileNotFoundException

StreamCorruptedException

OptionalDataException

IOException

ClassNotFoundException