-- TEST_GENERIC_COMPLEX_PRESCRIBED.ADA 
--          part 1 of multiple part test
-- This part tests prescribed values, range constraints and proper
-- raising of exceptions.
-- Additional parts test accuracy based on Peter Tang's techniques.
-- This version is for a system that does not implement signed zeros.

-- This is version 1.0, 9 September, 1996,
-- of a specification compliance test suite
-- for the Generic_Complex_Elementary_Functions package as specified in
-- ISO/IEC 13814:1996 Generic package of complex elementary functions
-- for Ada.

-- The ACVC Ada Compiler Validation Capability philosophy is intended to
-- be used. e.g. This is a test against a specification on a specific
-- implementation. A specific implementation means the combination of three
-- items : 1) a specific Ada compilation system, 2) a specific hardware
-- configuration and 3) a specific Generic Complex Elementary Functions
-- implementation. The specification is interpreted by the NRG
-- the same way ISO/IEC 8652:1987 is interpreted by the ARG.
-- (A minor update to this file has been made for ISO/IEC 8652:1995

-- Note to implementors: Once an initial release of this test suite is
-- released, there may be periodic updates. There is no guarantee that
-- passing any particular version implies passing another version.
-- This is the same philosophy as for ACVC.

--  When the specification says the domain is unbounded, then the test
--  suite checks for no exceptions being raised for FLOAT_TYPE'LARGE,
--  'SMALL their negatives, and possibly other values. Similarly for a
--  domain of X>0 or X>=0 'LARGE and 'SMALL are used. When there is
--  a note about "restricted domain" then the check for no exceptions is made by
--  replacing 'LARGE reduced by enough to be within the relative
--  error.

--  The functions are tested in the order the functions appear
--  in the specification. Required exceptions are tested.
--  Some tests where exceptions should not occur are tested.
--  Prescribed values required by the specification are tested.

--  This part of the test is itself generic. There are four instantiations
--  at the end. Only some instantiations will compile on any given compiler.
--  All instantiations that compile must pass the test in order to
--  achieve compliance. The instantiations are for FLOAT_TYPE being:
--  FLOAT and LONG_FLOAT.
--  The corresponding procedures that compile must be linked and executed are:
--  TEST_COMPLEX_PRESCRIBED
--  TEST_LONG_COMPLEX_PRESCRIBED

--  The compliance test must be compiled from this file, unmodified with
--  the following exclusions: If a compiler has not yet implemented
--  AI 387, then a global edit may be made to change CONSTRAINT_ERROR
--  to CONSTRAINT_ERROR | NUMERIC_ERROR .
--
-- If all "PASSED" messages are desired, uncomment all "-- PASSED" calls by
-- substituting "PASSED" for "-- PASSED". This causes thousands of lines
-- of output.

--  Please report problems or suggested additions to Jon Squire
--  Net mail  squire@cs.umbc.edu , phone (410)765-3748
 


generic
  type REAL is digits <>;
procedure TEST_GENERIC_COMPLEX_PRESCRIBED;