Arrayis the superclass of all arrays; it is an
public int length;
deferred int elementByteSize;
id initAsCopyOf id other;
other, and invoke
id (self) initCopy;
contentssince that is what we own.
id (self) initWith int n at pointer addr;
_builtin_.Any member All object;
Array, which is
_builtin_.Any memq All object;
member, but the element is identified on reference equality.
deferred (pointer, int) (address, number) pointerToElements (int, int) (start, len) pre start >= 0 && len >= -1 post number >= 0 && !number == !address;
addressof the first element of the receiving array in the range
(start, len), and the
numberof elements in that range.
void makeVanishingElementsPerform Invocation inv;
makeElementsPerform, but allow the element currently messaged to vanish from this array.