-- 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;