Subversion Repositories openrisc_me

-- CD2B11A.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.

--*

-- OBJECTIVE:

--     CHECK THAT IF A COLLECTION SIZE SPECIFICATION CAN BE GIVEN FOR AN

--     ACCESS TYPE, THEN OPERATIONS ON VALUES OF THE ACCESS TYPE ARE NOT

--     AFFECTED.

-- HISTORY:

--     BCB 11/01/88  CREATED ORIGINAL TEST.

--     RJW 05/17/89  CHANGED FROM '.DEP' TEST TO '.ADA' TEST.

--                   ADDED CHECK FOR UNCHECKED_DEALLOCATION.

WITH REPORT;  USE REPORT;

WITH SYSTEM;

WITH UNCHECKED_DEALLOCATION;

PROCEDURE CD2B11A IS

     BASIC_SIZE : CONSTANT := 1024;

     TYPE MAINTYPE IS ARRAY (INTEGER RANGE <>) OF INTEGER;

     TYPE ACC_TYPE IS ACCESS MAINTYPE;

     SUBTYPE ACC_RANGE IS ACC_TYPE (1 .. 3);

     FOR ACC_TYPE'STORAGE_SIZE USE BASIC_SIZE;

     TYPE RECORD_TYPE IS RECORD

          COMP : ACC_TYPE;

     END RECORD;

     CHECK_TYPE1 : ACC_TYPE;

     CHECK_TYPE2 : ACC_TYPE;

     CHECK_TYPE3 : ACC_TYPE(1..3);

     CHECK_ARRAY : ARRAY (1..2) OF ACC_TYPE;

     CHECK_RECORD1 : RECORD_TYPE;

     CHECK_RECORD2 : RECORD_TYPE;

     CHECK_PARAM1 : ACC_TYPE;

     CHECK_PARAM2 : ACC_TYPE;

     CHECK_NULL : ACC_TYPE := NULL;

     PROCEDURE PROC (ACC1,ACC2 : IN OUT ACC_TYPE) IS

     BEGIN

          IF (ACC1.ALL /= ACC2.ALL) THEN

               FAILED ("INCORRECT VALUES FOR DESIGNATED OBJECTS " &

                       "- 1");

          END IF;

          IF EQUAL (3,3) THEN

               ACC2 := ACC1;

          END IF;

          IF ACC2 /= ACC1 THEN

               FAILED ("INCORRECT RESULTS FOR RELATIONAL OPERATORS " &

                       "-1");

          END IF;

          IF (ACC1 IN ACC_RANGE) THEN

               FAILED ("INCORRECT RESULTS FOR MEMBERSHIP TEST - 1");

          END IF;

     END PROC;

BEGIN

     TEST ("CD2B11A", "CHECK THAT IF A COLLECTION SIZE SPECIFICATION " &

                      "CAN BE GIVEN FOR AN ACCESS TYPE, THEN " &

                      "OPERATIONS ON VALUES OF THE ACCESS TYPE ARE " &

                      "NOT AFFECTED");

     CHECK_PARAM1 := NEW MAINTYPE'(25,35,45);

     CHECK_PARAM2 := NEW MAINTYPE'(25,35,45);

     PROC (CHECK_PARAM1,CHECK_PARAM2);

     IF ACC_TYPE'STORAGE_SIZE < BASIC_SIZE THEN

          FAILED ("INCORRECT VALUE FOR ACCESS TYPE STORAGE_SIZE");

     END IF;

     CHECK_TYPE1 := NEW MAINTYPE'(25,35,45);

     CHECK_TYPE2 := NEW MAINTYPE'(25,35,45);

     CHECK_TYPE3 := NEW MAINTYPE'(1 => 1,2 => 2,3 => 3);

     CHECK_ARRAY (1) := NEW MAINTYPE'(25,35,45);

     CHECK_ARRAY (2) := NEW MAINTYPE'(25,35,45);

     CHECK_RECORD1.COMP := NEW MAINTYPE'(25,35,45);

     CHECK_RECORD2.COMP := NEW MAINTYPE'(25,35,45);

     IF (CHECK_TYPE1.ALL /= CHECK_TYPE2.ALL) THEN

          FAILED ("INCORRECT VALUES FOR DESIGNATED OBJECTS - 2");

     END IF;

     IF EQUAL (3,3) THEN

          CHECK_TYPE2 := CHECK_TYPE1;

     END IF;

     IF CHECK_TYPE2 /= CHECK_TYPE1 THEN

          FAILED ("INCORRECT RESULTS FOR RELATIONAL OPERATORS - 2");

     END IF;

     IF (CHECK_TYPE1 IN ACC_RANGE) THEN

          FAILED ("INCORRECT RESULTS FOR MEMBERSHIP TEST - 2");

     END IF;

     IF (CHECK_ARRAY (1).ALL /= CHECK_ARRAY (2).ALL) THEN

          FAILED ("INCORRECT VALUES FOR DESIGNATED OBJECTS - 3");

     END IF;

     IF EQUAL (3,3) THEN

          CHECK_ARRAY (2) := CHECK_ARRAY (1);

     END IF;

     IF CHECK_ARRAY (2) /= CHECK_ARRAY (1) THEN

          FAILED ("INCORRECT RESULTS FOR RELATIONAL OPERATORS - 3");

     END IF;

     IF (CHECK_ARRAY (1) IN ACC_RANGE) THEN

          FAILED ("INCORRECT RESULTS FOR MEMBERSHIP TEST - 3");

     END IF;

     IF (CHECK_RECORD1.COMP.ALL /= CHECK_RECORD2.COMP.ALL) THEN

          FAILED ("INCORRECT VALUES FOR DESIGNATED OBJECTS - 4");

     END IF;

     IF EQUAL (3,3) THEN

          CHECK_RECORD2 := CHECK_RECORD1;

     END IF;

     IF CHECK_RECORD2 /= CHECK_RECORD1 THEN

          FAILED ("INCORRECT RESULTS FOR RELATIONAL OPERATORS - 4");

     END IF;

     IF (CHECK_RECORD1.COMP IN ACC_RANGE) THEN

          FAILED ("INCORRECT RESULTS FOR MEMBERSHIP TEST - 4");

     END IF;

     IF CHECK_TYPE3'FIRST /= IDENT_INT (1) THEN

          FAILED ("INCORRECT VALUE FOR CHECK_TYPE3'FIRST");

     END IF;

     IF CHECK_TYPE3'LAST /= IDENT_INT (3) THEN

          FAILED ("INCORRECT VALUE FOR CHECK_TYPE3'LAST");

     END IF;

     DECLARE

          TYPE ACC_CHAR IS ACCESS CHARACTER;

          FOR ACC_CHAR'STORAGE_SIZE USE 128;

          LIMIT : INTEGER :=

           (ACC_CHAR'STORAGE_SIZE * SYSTEM.STORAGE_UNIT)/CHARACTER'SIZE;

          ACC_ARRAY : ARRAY (1 .. LIMIT + 1) OF ACC_CHAR;

          PLACE : INTEGER;

          PROCEDURE FREE IS

               NEW UNCHECKED_DEALLOCATION (CHARACTER, ACC_CHAR);

     BEGIN

          FOR I IN ACC_ARRAY'RANGE LOOP

               ACC_ARRAY (IDENT_INT (I)) :=

                    NEW CHARACTER'

                         (IDENT_CHAR ((CHARACTER'VAL (I MOD 128))));

               PLACE := I;

          END LOOP;

          FAILED ("NO EXCEPTION RAISED WHEN COLLECTION SIZE EXCEEDED");

     EXCEPTION

          WHEN STORAGE_ERROR =>

               BEGIN

                    FOR I IN 1 .. PLACE LOOP

                         IF I MOD 2 = 0 THEN

                              FREE (ACC_ARRAY (IDENT_INT (I)));

                         END IF;

                    END LOOP;

                    FOR I IN 1 .. PLACE LOOP

                         IF I MOD 2 = 1 AND THEN

                            IDENT_CHAR (ACC_ARRAY (I).ALL) /=

                            CHARACTER'VAL (I MOD IDENT_INT (128)) THEN

                              FAILED ("INCORRECT VALUE IN ARRAY");

                         END IF;

                    END LOOP;

               END;

          WHEN OTHERS =>

               FAILED ("WRONG EXCEPTION RAISED");

     END;

     RESULT;

END CD2B11A;