Subversion Repositories openrisc_me

-- CC1226B.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, FOR A FORMAL NONLIMITED PRIVATE TYPE, THAT ALL ALLOWABLE

--     OPERATIONS ARE IMPLICITLY DECLARED.

-- HISTORY:

--     BCB 04/04/88  CREATED ORIGINAL TEST.

--     RJW 03/28/90  INITIALIZED PREVIOUSLY UNINITIALIZED VARIABLES.

--     LDC 09/19/90  INITALIZED NLPVAR & NLPVAR2 TO DIFFERENT VALUES,

--                   REMOVED USE CLAUSE.

--     PWN 01/31/95  REMOVED INCONSISTENCIES WITH ADA 9X.

WITH REPORT; USE REPORT;

WITH SYSTEM; USE SYSTEM;

PROCEDURE CC1226B IS

     TYPE DISCREC(DISC1 : INTEGER := 1;

                  DISC2 : BOOLEAN := FALSE) IS RECORD

          NULL;

     END RECORD;

     GENERIC

          TYPE NLP IS PRIVATE;

          TYPE NLPDISC(DISC1 : INTEGER;

                       DISC2 : BOOLEAN) IS PRIVATE;

          WITH PROCEDURE INITIALIZE (N : OUT NLPDISC);

          WITH FUNCTION INITIALIZE RETURN NLP;

          WITH FUNCTION INITIALIZE_2 RETURN NLP;

     PACKAGE P IS

          FUNCTION IDENT(X : NLP) RETURN NLP;

          FUNCTION IDENT_ADR(Y : ADDRESS) RETURN ADDRESS;

     END P;

     PACKAGE BODY P IS

          TYPE DER_NLP IS NEW NLP;

          NLPVAR : NLP := INITIALIZE_2;

          NLPVAR2, NLPVAR3 : NLP := INITIALIZE;

          DERNLP : DER_NLP := DER_NLP (INITIALIZE);

          NDVAR : NLPDISC(DISC1 => 5, DISC2 => TRUE);

          NLPVARADDRESS : ADDRESS;

          NLPSIZE : INTEGER;

          NLPBASESIZE : INTEGER;

          FUNCTION IDENT(X : NLP) RETURN NLP IS

               Z : NLP := INITIALIZE;

          BEGIN

               IF EQUAL(3,3) THEN

                    RETURN X;

               END IF;

               RETURN Z;

          END IDENT;

          FUNCTION IDENT_ADR(Y : ADDRESS) RETURN ADDRESS IS

               I : INTEGER;

               Z : ADDRESS := I'ADDRESS;

          BEGIN

               IF EQUAL(3,3) THEN

                    RETURN Y;

               END IF;

               RETURN Z;

          END IDENT_ADR;

     BEGIN

          TEST ("CC1226B", "CHECK, FOR A FORMAL NONLIMITED PRIVATE " &

                           "TYPE THAT ALL ALLOWABLE OPERATIONS ARE " &

                           "IMPLICITLY DECLARED");

          INITIALIZE (NDVAR);

          NLPVAR := NLPVAR2;

          IF NLPVAR /= NLPVAR2 THEN

               FAILED ("IMPROPER VALUE FROM ASSIGNMENT");

          END IF;

          IF NLPVAR NOT IN NLP THEN

               FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST");

          END IF;

          NLPVAR := NLP'(NLPVAR2);

          IF NLPVAR /= NLPVAR2 THEN

               FAILED ("IMPROPER RESULT FROM QUALIFICATION");

          END IF;

          NLPVAR := NLP(DERNLP);

          IF NLPVAR /= IDENT(NLP(DERNLP)) THEN

               FAILED ("IMPROPER RESULT FROM EXPLICIT CONVERSION");

          END IF;

          NLPSIZE := IDENT_INT(NLP'SIZE);

          IF NLPSIZE /= INTEGER(NLP'SIZE) THEN

               FAILED ("IMPROPER VALUE FOR NLP'SIZE");

          END IF;

          NLPVARADDRESS := NLPVAR'ADDRESS;

          IF NLPVAR'ADDRESS /= IDENT_ADR(NLPVARADDRESS) THEN

               FAILED ("IMPROPER VALUE FOR NLPVAR'ADDRESS");

          END IF;

          IF NDVAR.DISC1 /= IDENT_INT(5) THEN

               FAILED ("IMPROPER DISCRIMINANT VALUE - 1");

          END IF;

          IF NOT NDVAR.DISC2 THEN

               FAILED ("IMPROPER DISCRIMINANT VALUE - 2");

          END IF;

          IF NOT NDVAR'CONSTRAINED THEN

               FAILED ("IMPROPER VALUE FOR NDVAR'CONSTRAINED");

          END IF;

          NLPVAR := NLPVAR3;

          IF NOT (NLPVAR = IDENT(NLPVAR3)) THEN

               FAILED ("IMPROPER VALUE FROM EQUALITY OPERATION");

          END IF;

          IF NLPVAR /= IDENT(NLPVAR3) THEN

               FAILED ("IMPROPER VALUE FROM INEQUALITY OPERATION");

          END IF;

          RESULT;

     END P;

     PROCEDURE INITIALIZE (I : OUT DISCREC) IS

     BEGIN

          I := (5, TRUE);

     END INITIALIZE;

     FUNCTION INITIALIZE RETURN INTEGER IS

     BEGIN

          RETURN 5;

     END INITIALIZE;

     FUNCTION INITIALIZE_OTHER RETURN INTEGER IS

     BEGIN

          RETURN 3;

     END INITIALIZE_OTHER;

     PACKAGE PACK IS NEW P(INTEGER,

                           DISCREC,

                           INITIALIZE,

                           INITIALIZE,

                           INITIALIZE_OTHER);

BEGIN

     NULL;

END CC1226B;