Subversion Repositories openrisc_me

-- C87B39A.ADA

--                             Grant of Unlimited Rights

--

--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,

--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 

--     unlimited rights in the software and documentation contained herein.

--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 

--     this public release, the Government intends to confer upon all 

--     recipients unlimited rights  equal to those held by the Government.  

--     These rights include rights to use, duplicate, release or disclose the 

--     released technical data and computer software in whole or in part, in 

--     any manner and for any purpose whatsoever, and to have or permit others 

--     to do so.

--

--                                    DISCLAIMER

--

--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR

--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 

--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE

--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 

--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A

--     PARTICULAR PURPOSE OF SAID MATERIAL.

--*

-- CHECK THAT:

--   A) AN OVERLOADED CALL CAN BE RESOLVED BECAUSE AN ALLOCATOR RETURNS

--      AN ACCESS TYPE WHOSE DESIGNATED TYPE IS THE TYPE REFERRED TO IN

--      THE ALLOCATOR.

--

--   B) IF THE NAME OF THE DESIGNATED TYPE IN AN ALLOCATOR DOES NOT

--      UNIQUELY DETERMINE THE ACCESS TYPE OF AN ALLOCATOR, THE CONTEXT

--      MUST DETERMINE THE TYPE.

-- JBG 1/30/84

WITH REPORT; USE REPORT;

PROCEDURE C87B39A IS

     TYPE S IS (M, F);

     TYPE R (D : S) IS

          RECORD NULL; END RECORD;

     SUBTYPE M1 IS R(M);

     SUBTYPE M2 IS R(M);

     TYPE ACC_M1 IS ACCESS M1;

     TYPE ACC_M2 IS ACCESS M2;

     TYPE ACC_BOOL IS ACCESS BOOLEAN;

     TYPE ACC_ACC_M1 IS ACCESS ACC_M1;

     TYPE WHICH IS (IS_M1, IS_M2, IS_BOOL);

     PROCEDURE P (X : ACC_M1; RESOLUTION : WHICH) IS

     BEGIN

          IF RESOLUTION /= IS_M1 THEN

               FAILED ("INCORRECT RESOLUTION -- ACC_M1");

          END IF;

     END P;    -- ACC_M1

     PROCEDURE P (X : ACC_M2; RESOLUTION : WHICH) IS

     BEGIN

          IF RESOLUTION /= IS_M2 THEN

               FAILED ("INCORRECT RESOLUTION -- ACC_M2");

          END IF;

     END P;    -- ACC_M2

     PROCEDURE P (X : ACC_BOOL; RESOLUTION : WHICH) IS

     BEGIN

          IF RESOLUTION /= IS_BOOL THEN

               FAILED ("INCORRECT RESOLUTION -- ACC_BOOL");

          END IF;

     END P;    -- ACC_BOOL

     PROCEDURE P (X : ACC_ACC_M1; RESOLUTION : WHICH) IS

     BEGIN

          FAILED ("INCORRECT RESOLUTION -- ACC_ACC_M1");

     END P;    -- ACC_ACC_M1

     PROCEDURE Q (X : ACC_M1) IS

     BEGIN

          NULL;

     END Q;    -- ACC_M1

     PROCEDURE Q (X : ACC_BOOL) IS

     BEGIN

          FAILED ("INCORRECT RESOLUTION -- ACC_BOOL: Q");

     END Q;    -- ACC_BOOL

BEGIN

     TEST ("C87B39A", "OVERLOADING RESOLUTION FOR ALLOCATORS");

     P (ACC_M1'(NEW R(M)), IS_M1);    -- B

     P (ACC_M2'(NEW M1), IS_M2);      -- B

     P (NEW BOOLEAN'(TRUE), IS_BOOL); -- A

     Q (NEW M2);              -- A

     Q (NEW M1);              -- A

     Q (NEW R(M));            -- A

     Q (NEW R'(D => M));      -- A

     RESULT;

END C87B39A;