package finiteAutomata;
/**
 * A class of error indicating failed pre-condition.
 *
 * @version 2006-08-21
 * @author Duane A. Bailey (revised by Barbara Wahl, Fall 2007)
 * @see Assert#pre
 */
class FailedPrecondition extends Error
{
	final static long serialVersionUID = 0;
    /**
     * Constructs an Error indicating failure to meet a specified
     * pre-condition. 
     * @post constructs a new failed pre-condition error
     * @param reason a String describing the pre-condition in English
     */
    public FailedPrecondition(String reason)
    {
    	// call to superclass constructor (Error)
    	super("\nPrecondition that failed: " + reason);
    }
}