@(#)$Id: README,v 1.5 1997/07/31 17:33:49 leavens Exp $

In this directory are samples relating to a low-level specification
of integer lists.  The specifcation in question is found in the following file.
	intlist.h
This documents an exchange that took place on
the larch-interest mailing list in January, 1995.

By low-level, we mean that we're documenting an actual implementation.
The specification therefore does not use specification variables,
but the actual private data members as its model.
This may not be a good thing, since little if any variation in
implementations is permitted,
but it does show some of the power of Larch/C++.

This example may be useful for seeing how to manipulate pointers
and how to specify traits that work with state in Larch/C++.
See ToListTrait.lsl for the details.

The traits in the files listelem_Trait.lsl and listelem_Pre_Trait.lsl
would be automatically constructed by Larch/C++
for the class listelem in the file intlist.h.
Well, someday at least; we don't yet have a tool that does this.
But this gives an idea of the semantics.  Notice that the member
functions are also included in the abstract values.
These should not get in the way, and Larch/C++ has no way of knowing
that member functions aren't significant.