home *** CD-ROM | disk | FTP | other *** search
/ Solo Programadores 22 / SOLO_22.iso / packages / win32ada / data.z / test_assert.adb < prev    next >
Encoding:
Text File  |  1995-12-07  |  1.2 KB  |  35 lines
  1. -- $Source: /home/harp/1/proto/monoBANK/winnt/test_ass.adb,v $ 
  2. -- $Revision: 1.2 $ $Date: 95/02/02 15:50:56 $ $Author: mg $ 
  3. -------------------------------------------------------------------------------
  4. --
  5. -- THIS FILE AND ANY ASSOCIATED DOCUMENTATION IS FURNISHED "AS IS" WITHOUT 
  6. -- WARRANTY OF ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED 
  7. -- TO THE IMPLIED WARRANTIES OF MERCHANTABILITY AND/OR FITNESS FOR A PARTICULAR 
  8. -- PURPOSE.  The user assumes the entire risk as to the accuracy and the 
  9. -- use of this file.
  10. --
  11. -- Copyright (c) Intermetrics, Inc. 1995
  12. -- Royalty-free, unlimited, worldwide, non-exclusive use, modification, 
  13. -- reproduction and further distribution of this file is permitted.
  14. --
  15. -------------------------------------------------------------------------------
  16.  
  17.  
  18. with Win32.Assert;
  19. with Text_IO; use Text_IO;
  20.  
  21. procedure Test_Assert is
  22.     I, J: Integer;
  23. begin
  24.     New_Line;
  25.     Put_Line("(Supposed to succeed)");
  26.     Win32.Assert.Assert(I=I);
  27.     I := 1;
  28.     Put_Line("(Supposed to succeed)");
  29.     Win32.Assert.Assert(I=1, "I=1", "this file", 10);
  30.     I := 5;
  31.     J := I+1;
  32.     Put_Line("(Supposed to fail)");
  33.     Win32.Assert.Assert(I=J, "I=J", "this file", 14);
  34. end Test_Assert;
  35.