finiteAutomata
Class FailedPrecondition

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          finiteAutomata.FailedPrecondition

All Implemented Interfaces:

java.io.Serializable

 class FailedPrecondition
extends java.lang.Error

A class of error indicating failed pre-condition.

Version:

2006-08-21

Author:

Duane A. Bailey (revised by Barbara Wahl, Fall 2007)

See Also:

Assert.pre(boolean, java.lang.String)

Field Summary

(package private) static long

serialVersionUID

Constructor Summary

FailedPrecondition(java.lang.String reason)
Constructs an Error indicating failure to meet a specified pre-condition.

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

FailedPrecondition

public FailedPrecondition(java.lang.String reason)

Constructs an Error indicating failure to meet a specified pre-condition.

Parameters:

reason - a String describing the pre-condition in English

Postcondition:

constructs a new failed pre-condition error