home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / cplus / 11450 < prev    next >
Encoding:
Internet Message Format  |  1992-07-23  |  1.1 KB
  1. Path: sparky!uunet!paladin.american.edu!darwin.sura.net!wupost!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!att!drutx!abasin!weh
  2. From: weh@abasin.dr.att.com (William E. Hopkins)
  3. Newsgroups: comp.lang.c++
  4. Subject: reference to C++ assertion macro package?
  5. Keywords: C++, assertions, precondition, postcondition, invariants
  6. Message-ID: <18608@drutx.ATT.COM>
  7. Date: 23 Jul 92 20:12:09 GMT
  8. Sender: news@drutx.ATT.COM
  9. Organization: AT&T Bell Laboratories
  10. Lines: 14
  11.  
  12. I can't recall the reference to an article I read that described a macro
  13. package that provided assertions for C++ in the flavor of what is in
  14. Eiffel (can I write ``Eiffel'' in this newsgroup, or should I use
  15. ``*ffel'', ``eye-full'', ``I fell'', or some other appropriate code?).
  16.  
  17. My recollection is that the package was called A++.  I thought I saw it in
  18. some C++ Conference proceedings, but it isn't in the ones I have here.
  19. I also couldn't find it via a rather broad-based electronic search.
  20.  
  21. I would also appreciate any pointer for obtaining the package itself.
  22.  
  23.     Thanks in advance!
  24.  
  25.             Bill Hopkins
  26.