next up previous contents index
Next: TableExceptionType Up: Data Structures Previous: string   Contents   Index


TableException


Usage

throw TableException
try ...catch E in { E has TableExceptionType $=>$ ...}


Description

TableException is an exception type thrown by table access.



Manuel Bronstein 2004-06-28