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    }