ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

escjava.prover
Class SExpTypeError

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byescjava.prover.SExpTypeError
All Implemented Interfaces:
java.io.Serializable

public final class SExpTypeError
extends java.lang.Exception

This checked exception is used to signal a dynamic "type error" in the use of S-expressions.

E.g., it is thrown if a non-integer is treated as an integer, or an attempt is made to reference a non-existent element of a list.

See Also:
Serialized Form

Field Summary
private static long serialVersionUID
           
 
Fields inherited from class java.lang.Throwable
 
Constructor Summary
SExpTypeError()
           
 
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

private static final long serialVersionUID
See Also:
Constant Field Values
Constructor Detail

SExpTypeError

public SExpTypeError()

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage