Subversion Repositories openrisc

-- CC1227A.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, WHEN DERIVING FROM A FORMAL TYPE, THAT ALL THE PREDEFINED

--     OPERATIONS ASSOCIATED WITH THE CLASS OF THE FORMAL TYPE ARE

--     DECLARED FOR THE DERIVED TYPE.

-- HISTORY:

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

WITH REPORT; USE REPORT;

WITH SYSTEM; USE SYSTEM;

PROCEDURE CC1227A IS

     GENERIC

          TYPE FORM IS RANGE <>;

     PACKAGE P IS

          TYPE DER_FORM IS NEW FORM;

          FUNCTION IDENT_DER(X : DER_FORM) RETURN DER_FORM;

          FUNCTION IDENT_ADR(Y : ADDRESS) RETURN ADDRESS;

     END P;

     PACKAGE BODY P IS

          DER_VAR : DER_FORM;

          DER_FORM_BASE_FIRST : DER_FORM;

          DER_FORM_FIRST : DER_FORM;

          DER_FORM_LAST : DER_FORM;

          DER_FORM_SIZE : DER_FORM;

          DER_FORM_WIDTH : DER_FORM;

          DER_FORM_POS : DER_FORM;

          DER_FORM_VAL : DER_FORM;

          DER_FORM_SUCC : DER_FORM;

          DER_FORM_PRED : DER_FORM;

          DER_FORM_IMAGE : STRING(1..5);

          DER_FORM_VALUE : DER_FORM;

          DER_VAR_SIZE : DER_FORM;

          DER_VAR_ADDRESS : ADDRESS;

          DER_EQUAL, DER_UNEQUAL : DER_FORM;

          DER_GREATER : DER_FORM;

          DER_MOD, DER_REM : DER_FORM;

          DER_ABS, DER_EXP : DER_FORM;

          INT : INTEGER := 5;

          FUNCTION IDENT_DER(X : DER_FORM) RETURN DER_FORM IS

          BEGIN

               IF EQUAL(3,3) THEN

                    RETURN X;

               END IF;

               RETURN 0;

          END IDENT_DER;

          FUNCTION IDENT_ADR(Y : ADDRESS) RETURN ADDRESS IS

               X : DER_FORM;

          BEGIN

               IF EQUAL(3,3) THEN

                    RETURN Y;

               END IF;

               RETURN X'ADDRESS;

          END IDENT_ADR;

     BEGIN

          TEST ("CC1227A", "CHECK, WHEN DERIVING FROM A FORMAL TYPE, " &

                           "THAT ALL THE PREDEFINED OPERATIONS " &

                           "ASSOCIATED WITH THE CLASS OF THE FORMAL " &

                           "TYPE ARE DECLARED FOR THE DERIVED TYPE");

          DER_VAR := IDENT_DER(1);

          IF DER_VAR /= 1 THEN

               FAILED ("IMPROPER VALUE FROM ASSIGNMENT OPERATION");

          END IF;

          IF DER_VAR NOT IN DER_FORM THEN

               FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST");

          END IF;

          DER_VAR := DER_FORM'(2);

          IF DER_VAR /= IDENT_DER(2) THEN

               FAILED ("IMPROPER RESULT FROM QUALIFICATION");

          END IF;

          DER_VAR := DER_FORM(INT);

          IF DER_VAR /= IDENT_DER(5) THEN

               FAILED ("IMPROPER RESULT FROM EXPLICIT CONVERSION - " &

                       "INTEGER");

          END IF;

          DER_VAR := DER_FORM(3.0);

          IF DER_VAR /= IDENT_DER(3) THEN

               FAILED ("IMPROPER RESULT FROM EXPLICIT CONVERSION - " &

                        "FLOAT");

          END IF;

          DER_VAR := 1_000;

          IF DER_VAR /= IDENT_DER(1000) THEN

               FAILED ("IMPROPER RESULT FROM IMPLICIT CONVERSION");

          END IF;

          DER_FORM_BASE_FIRST := DER_FORM'BASE'FIRST;

          DER_FORM_FIRST := DER_FORM'FIRST;

          IF DER_FORM_BASE_FIRST /= IDENT_DER(DER_FORM_FIRST) THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'BASE'FIRST");

          END IF;

          IF DER_FORM_FIRST /= IDENT_DER(DER_FORM'FIRST) THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'FIRST");

          END IF;

          DER_FORM_LAST := DER_FORM'LAST;

          IF DER_FORM_LAST /= IDENT_DER(DER_FORM'LAST) THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'LAST");

          END IF;

          DER_FORM_SIZE := DER_FORM(DER_FORM'SIZE);

          IF DER_FORM_SIZE /= IDENT_DER(DER_FORM(DER_FORM'SIZE)) THEN

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

          END IF;

          DER_FORM_WIDTH := DER_FORM(DER_FORM'WIDTH);

          IF DER_FORM_WIDTH /= IDENT_DER(DER_FORM(DER_FORM'WIDTH)) THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'WIDTH");

          END IF;

          DER_FORM_POS := DER_FORM(DER_FORM'POS(DER_VAR));

          IF DER_FORM_POS /= IDENT_DER(DER_FORM(DER_FORM'POS(DER_VAR)))

               THEN FAILED ("IMPROPER VALUE FOR DER_FORM'POS(DER_VAR)");

          END IF;

          DER_FORM_VAL := DER_FORM'VAL(DER_VAR);

          IF DER_FORM_VAL /= IDENT_DER(DER_FORM'VAL(DER_VAR)) THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'VAL(DER_VAR)");

          END IF;

          DER_FORM_SUCC := DER_FORM'SUCC(DER_VAR);

          IF DER_FORM_SUCC /= IDENT_DER(DER_FORM'SUCC(DER_VAR)) THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'SUCC(DER_VAR)");

          END IF;

          DER_FORM_PRED := DER_FORM'PRED(DER_VAR);

          IF DER_FORM_PRED /= IDENT_DER(DER_FORM'PRED(DER_VAR)) THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'PRED(DER_VAR)");

          END IF;

          DER_FORM_IMAGE := DER_FORM'IMAGE(DER_VAR);

          IF DER_FORM_IMAGE(2..5) /= "1000" THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'IMAGE(DER_VAR)");

          END IF;

          DER_FORM_VALUE := DER_FORM'VALUE(DER_FORM_IMAGE);

          IF DER_FORM_VALUE /= IDENT_DER(1000) THEN

               FAILED ("IMPROPER VALUE FOR DER_FORM'VALUE" &

                       "(DER_FORM_IMAGE)");

          END IF;

          DER_VAR_SIZE := DER_FORM(DER_VAR'SIZE);

          IF DER_VAR_SIZE /= IDENT_DER(DER_FORM(DER_VAR'SIZE)) THEN

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

          END IF;

          DER_VAR_ADDRESS := DER_VAR'ADDRESS;

          IF DER_VAR_ADDRESS /= IDENT_ADR(DER_VAR'ADDRESS) THEN

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

          END IF;

          DER_EQUAL := IDENT_DER(1000);

          IF DER_VAR /= DER_EQUAL THEN

               FAILED ("IMPROPER RESULT FROM INEQUALITY OPERATOR");

          END IF;

          DER_UNEQUAL := IDENT_DER(500);

          IF DER_VAR = DER_UNEQUAL THEN

               FAILED ("IMPROPER RESULT FROM EQUALITY OPERATOR");

          END IF;

          IF DER_VAR < DER_UNEQUAL THEN

               FAILED ("IMPROPER RESULT FROM LESS THAN OPERATOR");

          END IF;

          IF DER_VAR <= DER_UNEQUAL THEN

               FAILED ("IMPROPER RESULT FROM LESS THAN OR EQUAL TO " &

                       "OPERATOR");

          END IF;

          DER_GREATER := IDENT_DER(1500);

          IF DER_VAR > DER_GREATER THEN

               FAILED ("IMPROPER RESULT FROM GREATER THAN OPERATOR");

          END IF;

          IF DER_VAR >= DER_GREATER THEN

               FAILED ("IMPROPER RESULT FROM GREATER THAN OR EQUAL " &

                       "TO OPERATOR");

          END IF;

          DER_VAR := DER_VAR + DER_EQUAL;

          IF DER_VAR /= IDENT_DER(2000) THEN

               FAILED ("IMPROPER RESULT FROM ADDITION OPERATOR");

          END IF;

          DER_VAR := DER_VAR - DER_EQUAL;

          IF DER_VAR /= IDENT_DER(1000) THEN

               FAILED ("IMPROPER RESULT FROM SUBTRACTION OPERATOR");

          END IF;

          DER_VAR := DER_VAR * IDENT_DER(2);

          IF DER_VAR /= IDENT_DER(2000) THEN

               FAILED ("IMPROPER RESULT FROM MULTIPLICATION OPERATOR");

          END IF;

          DER_VAR := DER_VAR / IDENT_DER(2);

          IF DER_VAR /= IDENT_DER(1000) THEN

               FAILED ("IMPROPER RESULT FROM DIVISION OPERATOR");

          END IF;

          DER_MOD := DER_GREATER MOD DER_VAR;

          IF DER_MOD /= IDENT_DER(500) THEN

               FAILED ("IMPROPER RESULT FROM MOD OPERATOR");

          END IF;

          DER_REM := DER_GREATER REM DER_VAR;

          IF DER_REM /= IDENT_DER(500) THEN

               FAILED ("IMPROPER RESULT FROM REM OPERATOR");

          END IF;

          DER_ABS := ABS(IDENT_DER(-1500));

          IF DER_ABS /= IDENT_DER(DER_GREATER) THEN

               FAILED ("IMPROPER RESULT FROM ABS OPERATOR");

          END IF;

          DER_EXP := IDENT_DER(2) ** IDENT_INT(2);

          IF DER_EXP /= IDENT_DER(4) THEN

               FAILED ("IMPROPER RESULT FROM EXPONENTIATION OPERATOR");

          END IF;

          RESULT;

     END P;

     PACKAGE PACK IS NEW P(INTEGER);

BEGIN

     NULL;

END CC1227A;