@(#)$Id: objectives.txt,v 1.2 1994/09/26 03:59:31 leavens Exp $

The objectives of this exercise are to help you learn about:

how formally document C++ code
how to use the built-in Larch/C++ trait for C++ strings
how to deal with pointers in specifications


The extra exercises help you learn about:

specification of string library functions
why states need to be treated explicitly in Larch/C++
how to specify functions with exceptions and printing