next up previous contents index
Next: ArrayExceptionType Up: Data Structures Previous: Array   Contents   Index


ArrayException


Usage

throw ArrayException
try ...catch E in { E has ArrayExceptionType $=>$ ...}


Description

ArrayException is an exception type thrown by array access.



Manuel Bronstein 2004-06-28