/*-------------------------Assertion.java-------------------------------
 *  
 *   Assertion.assert(test,message) checks to see if test succeeds.<br>
 *      If test fails, assert() emits message, and halts the program.<br>
 *
 * See README.TXT in this folder for installation notes.<br>
 *
 * @author Edwin J. Kay<br>
 * Copyright (c), 6 June 2001, for The Universal Computer.
 ----------------------------------------------------------------------*/

//package UComp;	//place class Assertion in package ucomp for general use


public class Assertion
{
  /** If test fails, assert() emits message, and halts the program.<br>
      An example from class Input:<br>
      Assertion.assert(ch>='0' && ch<='9',"Digit expected but '"+ch+"' found");
  */
  static public void assert(boolean test, String message)
  { if (!test)
    { System.err.println("Failed assertion: "+message);
      System.exit(1);
    }
  }
}