// @(#)$Id: charArray.lh,v 1.11 1997/06/03 21:37:26 leavens Exp $

// Interface specification of for the C++ type array of char.
// You can get the specification for a similar C++ type by changing "char"
// in what follows to the appropriate C++ type for the elements.

// The following uses clause is implicit in Larch/C++.
// You don't have to write it; it's included as an example of the Larch/C++
// implicit use of traits for C++ built-in types.
// (It may seem strange that it's the trait for pointers, but remember
// that a formal parameter array is really a pointer.)
/*
   uses char, MutableObj(char), Pointer(Obj, char), int;
*/

char& operator [] (char a[], int i);
//@ behavior {
//@   requires allocated(a, i);
//@   ensures returns => result = a[i];
//@ }

[Index]

HTML generated using lcpp2html.