home *** CD-ROM | disk | FTP | other *** search
- ------------------------------------------------------------------------------
- -- --
- -- GNAT RUNTIME COMPONENTS --
- -- --
- -- S Y S T E M . A S S E R T I O N S --
- -- --
- -- B o d y --
- -- --
- -- $Revision: 1.2 $ --
- -- --
- -- Copyright (c) 1992,1993,1994 NYU, All Rights Reserved --
- -- --
- -- The GNAT library is free software; you can redistribute it and/or modify --
- -- it under terms of the GNU Library General Public License as published by --
- -- the Free Software Foundation; either version 2, or (at your option) any --
- -- later version. The GNAT library is distributed in the hope that it will --
- -- be useful, but WITHOUT ANY WARRANTY; without even the implied warranty --
- -- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU --
- -- Library General Public License for more details. You should have --
- -- received a copy of the GNU Library General Public License along with --
- -- the GNAT library; see the file COPYING.LIB. If not, write to the Free --
- -- Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. --
- -- --
- ------------------------------------------------------------------------------
-
- package body System.Assertions is
-
- --------------------------
- -- Raise_Assert_Failure --
- --------------------------
-
- procedure Raise_Assert_Failure (Msg : String) is
- begin
- Assert_Msg (1 .. Msg'Length) := Msg;
- Assert_Msg_Length := Msg'Length;
- raise Assert_Failure;
- end Raise_Assert_Failure;
-
- end System.Assertions;
-