Subversion Repositories openrisc

-- C74203A.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 MEMBERSHIP TESTS, QUALIFICATION, AND EXPLICIT

--     CONVERSION ARE AVAILABLE FOR LIMITED AND NON-LIMITED PRIVATE

--     TYPES.  INCLUDE TYPES WITH DISCRIMINANTS AND TYPES

--     WITH LIMITED COMPONENTS.

-- HISTORY:

--     BCB 03/10/88  CREATED ORIGINAL TEST.

WITH REPORT; USE REPORT;

PROCEDURE C74203A IS

     PACKAGE PP IS

          TYPE LIM IS LIMITED PRIVATE;

          PROCEDURE INIT (Z1 : OUT LIM; Z2 : INTEGER);

          TYPE A IS PRIVATE;

          SUBTYPE SUBA IS A;

          A1 : CONSTANT A;

          TYPE B IS LIMITED PRIVATE;

          B1 : CONSTANT B;

          TYPE C IS PRIVATE;

          C1 : CONSTANT C;

          TYPE D IS LIMITED PRIVATE;

          D1 : CONSTANT D;

          TYPE E (DISC1 : INTEGER := 5) IS PRIVATE;

          SUBTYPE SUBE IS E;

          E1 : CONSTANT E;

          TYPE F (DISC2 : INTEGER := 15) IS LIMITED PRIVATE;

          F1 : CONSTANT F;

          TYPE G (DISC3 : INTEGER) IS PRIVATE;

          G1 : CONSTANT G;

          TYPE H (DISC4 : INTEGER) IS LIMITED PRIVATE;

          H1 : CONSTANT H;

          TYPE I IS RECORD

               COMPI : LIM;

          END RECORD;

          SUBTYPE SUBI IS I;

          TYPE J IS ARRAY(1..5) OF LIM;

          SUBTYPE SUBJ IS J;

          TYPE S1 IS (VINCE, TOM, PHIL, JODIE, ROSA, TERESA);

          TYPE S2 IS (THIS, THAT, THESE, THOSE, THEM);

          TYPE S3 IS RANGE 1 .. 100;

          TYPE S4 IS RANGE 1 .. 100;

     PRIVATE

          TYPE LIM IS RANGE 1 .. 100;

          TYPE A IS (RED, BLUE, GREEN, YELLOW, BLACK, WHITE);

          A1 : CONSTANT A := BLUE;

          TYPE B IS (ONE, TWO, THREE, FOUR, FIVE, SIX);

          B1 : CONSTANT B := THREE;

          TYPE C IS RANGE 1 .. 100;

          C1 : CONSTANT C := 50;

          TYPE D IS RANGE 1 .. 100;

          D1 : CONSTANT D := 50;

          TYPE E (DISC1 : INTEGER := 5) IS RECORD

               COMPE : S1;

          END RECORD;

          E1 : CONSTANT E := (DISC1 => 5, COMPE => TOM);

          TYPE F (DISC2 : INTEGER := 15) IS RECORD

               COMPF : S2;

          END RECORD;

          F1 : CONSTANT F := (DISC2 => 15, COMPF => THAT);

          TYPE G (DISC3 : INTEGER) IS RECORD

               COMPG : S3;

          END RECORD;

          G1 : CONSTANT G := (DISC3 => 25, COMPG => 50);

          TYPE H (DISC4 : INTEGER) IS RECORD

               COMPH : S4;

          END RECORD;

          H1 : CONSTANT H := (DISC4 => 30, COMPH => 50);

     END PP;

     USE PP;

     AVAR : SUBA := A1;

     EVAR : SUBE := E1;

     IVAR : SUBI;

     JVAR : SUBJ;

     PACKAGE BODY PP IS

          PROCEDURE INIT (Z1 : OUT LIM; Z2 : INTEGER) IS

          BEGIN

               Z1 := LIM (Z2);

          END INIT;

     BEGIN

          NULL;

     END PP;

     PROCEDURE QUAL_PRIV (W : A) IS

     BEGIN

          NULL;

     END QUAL_PRIV;

     PROCEDURE QUAL_LIM_PRIV (X : B) IS

     BEGIN

          NULL;

     END QUAL_LIM_PRIV;

     PROCEDURE EXPL_CONV_PRIV_1 (Y : C) IS

     BEGIN

          NULL;

     END EXPL_CONV_PRIV_1;

     PROCEDURE EXPL_CONV_LIM_PRIV_1 (Z : D) IS

     BEGIN

          NULL;

     END EXPL_CONV_LIM_PRIV_1;

     PROCEDURE EXPL_CONV_PRIV_2 (Y2 : G) IS

     BEGIN

          NULL;

     END EXPL_CONV_PRIV_2;

     PROCEDURE EXPL_CONV_LIM_PRIV_2 (Z2 : H) IS

     BEGIN

          NULL;

     END EXPL_CONV_LIM_PRIV_2;

     PROCEDURE EXPL_CONV_PRIV_3 (Y3 : I) IS

     BEGIN

          NULL;

     END EXPL_CONV_PRIV_3;

     PROCEDURE EXPL_CONV_PRIV_4 (Y4 : J) IS

     BEGIN

          NULL;

     END EXPL_CONV_PRIV_4;

BEGIN

     TEST ("C74203A", "CHECK THAT MEMBERSHIP TESTS, QUALIFICATION, " &

                      "AND EXPLICIT CONVERSION ARE AVAILABLE FOR " &

                      "LIMITED AND NON-LIMITED PRIVATE TYPES.  " &

                      "INCLUDE TYPES WITH DISCRIMINANTS AND " &

                      "TYPES WITH LIMITED COMPONENTS");

     INIT (IVAR.COMPI, 50);

     FOR K IN IDENT_INT (1) .. IDENT_INT (5) LOOP

          INIT (JVAR(K), 25);

     END LOOP;

     IF NOT (AVAR IN A) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &

                  "PRIVATE TYPE - 1");

     END IF;

     IF (AVAR NOT IN A) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &

                  "PRIVATE TYPE - 1");

     END IF;

     IF NOT (B1 IN B) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &

                  "LIMITED PRIVATE TYPE - 1");

     END IF;

     IF (B1 NOT IN B) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &

                  "LIMITED PRIVATE TYPE - 1");

     END IF;

     QUAL_PRIV (A'(AVAR));

     QUAL_LIM_PRIV (B'(B1));

     EXPL_CONV_PRIV_1 (C(C1));

     EXPL_CONV_LIM_PRIV_1 (D(D1));

     IF NOT (EVAR IN E) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &

                  "PRIVATE TYPE - 2");

     END IF;

     IF (EVAR NOT IN E) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &

                  "PRIVATE TYPE - 2");

     END IF;

     IF NOT (F1 IN F) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &

                  "LIMITED PRIVATE TYPE - 2");

     END IF;

     IF (F1 NOT IN F) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &

                  "LIMITED PRIVATE TYPE - 2");

     END IF;

     EXPL_CONV_PRIV_2 (G(G1));

     EXPL_CONV_LIM_PRIV_2 (H(H1));

     IF NOT (IVAR IN I) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &

                  "PRIVATE TYPE - 3");

     END IF;

     IF (IVAR NOT IN I) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &

                  "PRIVATE TYPE - 3");

     END IF;

     EXPL_CONV_PRIV_3 (I(IVAR));

     IF NOT (JVAR IN J) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &

                  "PRIVATE TYPE - 4");

     END IF;

     IF (JVAR NOT IN J) THEN

          FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &

                  "PRIVATE TYPE - 4");

     END IF;

     EXPL_CONV_PRIV_4 (J(JVAR));

     RESULT;

END C74203A;