next up previous contents index
Next: DataStructureType Up: Data Structures Previous: CheckingList   Contents   Index


CheckingMemoryBlock


Usage

import from CheckingMemoryBlock


Description

CheckingMemoryBlock provides packed arrays of bytes, $0$-indexed and with bound checking.


Exports

ArrayType(Byte, PrimitiveMemoryBlock)


Remarks

The functions apply and set! throw the exception ArrayException when attempting to access a memory block out of its bounds.



Manuel Bronstein 2004-06-28