File examples/README * Last update 2002-06-08 Examples from Peter Sestoft: Java Precisely, The MIT Press 2002. ISBN 0-262-69276-7. These files are from http://www.dina.kvl.dk/~sestoft/javaprecisely/ Java Precisely and its example programs come with no warranty of any kind, either expressed or implied. In no event shall I or the Royal Veterinary and Agricultural University or the IT University of Copenhagen be liable for any damage resulting from its use. The source code for Example 1 is in file Example1.java, and so on. Most examples are compiled and ready to run; running them requires Java Development Kit 1.3 or 1.4. For instance, to run the program from Example 5, unpack the example archive and type java Example5 Some example programs require additional command line argument; they will say so if invoked without command line arguments. The programs Example68 and Example 69 may be run with option -ea or -enableassertions (under JDK 1.4 or later).