Computer Science/61b/Homework/hw3/TestHelper.java - Revision history

Lensovet: Lensovet moved page CS/61b/Homework/hw3/TestHelper.java to Computer Science/61b/Homework/hw3/TestHelper.java

2023-02-20T03:51:34Z

Lensovet moved page CS/61b/Homework/hw3/TestHelper.java to Computer Science/61b/Homework/hw3/TestHelper.java

Lensovet: moved CS 61b/Homework/hw3/TestHelper.java to CS/61b/Homework/hw3/TestHelper.java: fix cs 61b hierarchy

2010-11-14T06:00:19Z

moved CS 61b/Homework/hw3/TestHelper.java to CS/61b/Homework/hw3/TestHelper.java: fix cs 61b hierarchy

Lensovet at 20:04, 22 May 2007

2007-05-22T20:04:20Z

New page

{{code}}
/* TestHelper.java */

/**
* This class is based on code from Arnow/Dexter/Weiss. Its verify() method
* exits with an error message if an invariant fails to hold true.
*
* The purpose of this class is to provide a shorthand for writing and testing
* invariants in any program.
**/

public class TestHelper {

/**
* verify() checks an invariant and prints an error message if it fails.
* If invariant is true, this method does nothing. If invariant is false,
* the message is printed, followed by a dump of the program call stack.
*
* @param invariant the condition to be verified
* @param message the error message to be printed if the invariant fails to
* hold true.
**/

static void verify(boolean invariant, String message) {
if (!invariant) {
System.out.println("*** ERROR: " + message);
Thread.dumpStack();
}
}
}

← Older revision	Revision as of 03:51, 20 February 2023
(No difference)

← Older revision	Revision as of 06:00, 14 November 2010
(No difference)