home *** CD-ROM | disk | FTP | other *** search
/ Solo Programadores 22 / SOLO_22.iso / packages / win32ada / data.z / win32-assert.ads < prev    next >
Encoding:
Text File  |  1995-11-17  |  1.3 KB  |  34 lines
  1. -- $Source: /home/harp/1/proto/monoBANK/winnt/win32-assert.ads,v $ 
  2. -- $Revision: 1.4 $ $Date: 95/02/07 12:57:22 $ $Author: mg $ 
  3. -- See end of file for Copyright (c) information.
  4.  
  5. package Win32.Assert is
  6.  
  7.     -- to turn off assertions, make this False, or make
  8.     -- it a variable and change it during program execution.
  9.     DEBUG: constant Boolean := Standard.True;
  10.  
  11.     procedure Assert (
  12.         Condition   : Boolean;
  13.         Message     : String := "(no message)";
  14.         Source_File : String := "(no source file)";
  15.         Line_Number : Natural := 0);
  16.  
  17.     pragma Inline(Assert);
  18.  
  19. -------------------------------------------------------------------------------
  20. --
  21. -- THIS FILE AND ANY ASSOCIATED DOCUMENTATION IS FURNISHED "AS IS" WITHOUT 
  22. -- WARRANTY OF ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED 
  23. -- TO THE IMPLIED WARRANTIES OF MERCHANTABILITY AND/OR FITNESS FOR A PARTICULAR 
  24. -- PURPOSE.  The user assumes the entire risk as to the accuracy and the 
  25. -- use of this file.
  26. --
  27. -- Copyright (c) Intermetrics, Inc. 1995
  28. -- Royalty-free, unlimited, worldwide, non-exclusive use, modification, 
  29. -- reproduction and further distribution of this file is permitted.
  30. --
  31. -------------------------------------------------------------------------------
  32.  
  33. end Win32.Assert;
  34.