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 }