    001    /* Copyright 2000, 2001, Compaq Computer Corporation */
    002
    003    package escjava.prover;
    004
    005    /**
    006     * This checked exception is used to signal a dynamic "type error" in
    007     * the use of S-expressions.
    008     *
    009     * <p> <em>E.g.</em>, it is thrown if a non-integer is treated as an
    010     * integer, or an attempt is made to reference a non-existent element
    011     * of a list. </p>
    012     */
    013
    014    final public class SExpTypeError extends Exception {
    015      private static final long serialVersionUID = 5767797092888960711L;
    016    }