Paul D. Stachour:
[...]
>As for ignorance, I recently took a class in "object-oriented testing"
>by an individual who has a good reputation for knowing what OO testing
>is all about.  A good part of his presentation was in what circumstances,
>and how to write readable, maintainable, efficient assertions for ensuring
>the correctness of an object abstraction.  He did *not* know that Ada
>already does, in the language, checking for all of the assertions
>in the first 1/2 of his examples.  Nor that it does 7 of the 11 in the
>second set of examples.

Do you still have the examples?  Could you post them here?

>Yes, I too have found diffculty in communicating with libraies/
>components/abstractions/Operating Systems that think that
>"all the world's an int".  It is a royal pain to have a
>really good abstraction, and not be able to use it due to the
>low-level od the library calls.
>
>I also felt / fell this way about calls to the OS in every langugae
>on every OS I've ever used (except Multics and PL/I, where OS calls
>were subroutine calls with the full power of the programming language).

You should have seen me when I started learning UNIX to support Apex after
having spent several years working with the R1000, where the OS was Ada, and
there was no command-line, rather, there was a "command window" which was an
Ada declare block--no JCL, no shell scripts, no .BAT files, just 100% Ada!
Boy was I disappointed...

Gene Ouye <[log in to unmask]>