-- --
-- S p e c --
-- --
--- --
--- Copyright (C) 2000-2001 Ada Core Technologies, Inc. --
+-- Copyright (C) 2000-2002 Ada Core Technologies, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- covered by the GNU Public License. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
--- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
+-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- --
------------------------------------------------------------------------------
-- This package provides an interface for raising predefined exceptions
--- with an exception message. It can be used from Pure units. This unit
--- is for internal use only, it is not generally available to applications.
+-- with an exception message. It can be used from Pure units.
+
+-- There is no prohibition in Ada that prevents exceptions being raised
+-- from within pure units. The raise statement is perfectly acceptable.
+
+-- However, it is not normally possible to raise an exception with a
+-- message because the routine Ada.Exceptions.Raise_Exception is not in
+-- a Pure unit. This is an annoying and unnecessary restrictiona and this
+-- package allows for raising the standard predefined exceptions at least.
package GNAT.Exceptions is
pragma Pure (Exceptions);
OSDN Git Service
