Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
@(#) $Id: README.dist,v 1.10 1997/06/09 22:30:43 leavens Exp $ This directory contains subdirectories with samples of Larch/C++ specifications, and their implementations in C++. The Makefile in this directory can be used to check all the specifications and to test Larch/C++. To do this, execute make or make checkallspecs Each subdirectory should have some subset of the following files: README -- description of the specs, commentary saying what they show Makefile -- can be used to check the specfications and compile code *.lh -- Larch/C++ specs in annotation form *.h -- header files with Larch/C++ specs embedded as annotations *.lcc -- Larch/C++ specs not in annotation form *.lsl -- traits *.C -- C++ implementations *.bse -- defines the protected and private base classes of class * *.pri -- defines protected and private members of class * The following samples are included. bank-accounts -- some simple class specifications with subtyping counter -- a counterexample (:->) about behavioral subtyping cpp_types -- interface specifications for some C++ built-in types this illustrates simple function specifications and especially the specification of overloaded operators graph -- from "A Quick Overview of Larch/C++" (the JOOP article) intlist -- an example of a low-level specification with pointers stack -- a simple bounded stack template class shapes -- from "An Overview of Larch/C++..." (the Kluwer book) manual -- everything in the "Larch/C++ Reference Manual" that is not found in ../lib (including all example traits that are not built-in traits).