-- CC3605A.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 SOME DIFFERENCES BETWEEN THE FORMAL AND THE
--     ACTUAL SUBPROGRAMS DO NOT INVALIDATE A MATCH.
--          1)  CHECK DIFFERENT PARAMETER NAMES.
--          2)  CHECK DIFFERENT PARAMETER CONSTRAINTS.
--          3)  CHECK ONE PARAMETER CONSTRAINED AND THE OTHER
--               UNCONSTRAINED (WITH ARRAY, RECORD, ACCESS, AND
--               PRIVATE TYPES).
--          4)  CHECK PRESENCE OR ABSENCE OF AN EXPLICIT "IN" MODE
--               INDICATOR.
--          5)  DIFFERENT TYPE MARKS USED TO SPECIFY THE TYPE OF
--               PARAMETERS.

-- HISTORY:
--     LDC 10/04/88  CREATED ORIGINAL TEST.

PACKAGE CC3605A_PACK IS

     SUBTYPE INT IS INTEGER RANGE -100 .. 100;

     TYPE PRI_TYPE (SIZE : INT) IS PRIVATE;

     SUBTYPE PRI_CONST IS PRI_TYPE (2);

PRIVATE

     TYPE ARR_TYPE IS ARRAY (INTEGER RANGE <>) OF BOOLEAN;

     TYPE PRI_TYPE (SIZE : INT) IS
          RECORD
               SUB_A : ARR_TYPE (1 .. SIZE);
          END RECORD;

END CC3605A_PACK;


WITH REPORT;
USE  REPORT;
WITH CC3605A_PACK;
USE  CC3605A_PACK;

PROCEDURE CC3605A IS

     SUBTYPE ZERO_TO_TEN IS INTEGER
          RANGE IDENT_INT (0) .. IDENT_INT (10);

     SUBTYPE ONE_TO_FIVE IS INTEGER
          RANGE IDENT_INT (1) .. IDENT_INT (5);

     SUBPRG_ACT : BOOLEAN := FALSE;
BEGIN
     TEST
          ("CC3605A", "CHECK THAT SOME DIFFERENCES BETWEEN THE " &
                      "FORMAL AND THE ACTUAL PARAMETERS DO NOT " &
                      "INVALIDATE A MATCH");

----------------------------------------------------------------------
-- DIFFERENT PARAMETER NAMES
----------------------------------------------------------------------

     DECLARE

          PROCEDURE ACT_PROC (DIFF_NAME_PARM : ONE_TO_FIVE) IS
          BEGIN
               SUBPRG_ACT := TRUE;
          END ACT_PROC;

          GENERIC

               WITH PROCEDURE PASSED_PROC (PARM : ONE_TO_FIVE);

          PROCEDURE GEN_PROC;

          PROCEDURE GEN_PROC IS
          BEGIN
               PASSED_PROC (ONE_TO_FIVE'FIRST);
          END GEN_PROC;

          PROCEDURE INST_PROC IS NEW GEN_PROC (ACT_PROC);
     BEGIN
          INST_PROC;
          IF NOT SUBPRG_ACT THEN
               FAILED
                    ("DIFFERENT PARAMETER NAMES MADE MATCH INVALID");
          END IF;
     END;

----------------------------------------------------------------------
-- DIFFERENT PARAMETER CONSTRAINTS
----------------------------------------------------------------------

     DECLARE

          PROCEDURE ACT_PROC (PARM : ONE_TO_FIVE) IS
          BEGIN
               SUBPRG_ACT := TRUE;
          END ACT_PROC;

          GENERIC

               WITH PROCEDURE PASSED_PROC (PARM : ZERO_TO_TEN);

          PROCEDURE GEN_PROC;

          PROCEDURE GEN_PROC IS
          BEGIN
               PASSED_PROC (ONE_TO_FIVE'FIRST);
          END GEN_PROC;

          PROCEDURE INST_PROC IS NEW GEN_PROC (ACT_PROC);
     BEGIN
          SUBPRG_ACT := FALSE;
          INST_PROC;
          IF NOT SUBPRG_ACT THEN
               FAILED
                    ("DIFFERENT PARAMETER CONSTRAINTS MADE MATCH " &
                     "INVALID");
          END IF;
     END;

----------------------------------------------------------------------
-- ONE PARAMETER CONSTRAINED (ARRAY)
----------------------------------------------------------------------

     DECLARE

          TYPE ARR_TYPE IS ARRAY (INTEGER RANGE <>) OF BOOLEAN;

          SUBTYPE ARR_CONST IS ARR_TYPE (ONE_TO_FIVE'FIRST ..
               ONE_TO_FIVE'LAST);

          PASSED_PARM : ARR_CONST := (OTHERS => TRUE);

          PROCEDURE ACT_PROC (PARM : ARR_CONST) IS
          BEGIN
               SUBPRG_ACT := TRUE;
          END ACT_PROC;

          GENERIC

               WITH PROCEDURE PASSED_PROC (PARM : ARR_TYPE);

          PROCEDURE GEN_PROC;

          PROCEDURE GEN_PROC IS
          BEGIN
               PASSED_PROC (PASSED_PARM);
          END GEN_PROC;

          PROCEDURE INST_PROC IS NEW GEN_PROC (ACT_PROC);
     BEGIN
          SUBPRG_ACT := FALSE;
          INST_PROC;
          IF NOT SUBPRG_ACT THEN
               FAILED
                    ("ONE ARRAY PARAMETER CONSTRAINED MADE MATCH " &
                     "INVALID");
          END IF;
     END;

----------------------------------------------------------------------
-- ONE PARAMETER CONSTRAINED (RECORDS)
----------------------------------------------------------------------

     DECLARE

          TYPE REC_TYPE (BOL : BOOLEAN) IS
               RECORD
                    SUB_A : INTEGER;
                    CASE BOL IS
                         WHEN TRUE =>
                              DSCR_A : INTEGER;

                         WHEN FALSE =>
                              DSCR_B : BOOLEAN;

                    END CASE;
               END RECORD;

          SUBTYPE REC_CONST IS REC_TYPE (TRUE);

          PASSED_PARM : REC_CONST := (TRUE, 1, 2);

          PROCEDURE ACT_PROC (PARM : REC_CONST) IS
          BEGIN
               SUBPRG_ACT := TRUE;
          END ACT_PROC;

          GENERIC

               WITH PROCEDURE PASSED_PROC (PARM : REC_TYPE);

          PROCEDURE GEN_PROC;

          PROCEDURE GEN_PROC IS
          BEGIN
               PASSED_PROC (PASSED_PARM);
          END GEN_PROC;

          PROCEDURE INST_PROC IS NEW GEN_PROC (ACT_PROC);
     BEGIN
          SUBPRG_ACT := FALSE;
          INST_PROC;
          IF NOT SUBPRG_ACT THEN
               FAILED
                    ("ONE RECORD PARAMETER CONSTRAINED MADE MATCH " &
                     "INVALID");
          END IF;
     END;

----------------------------------------------------------------------
-- ONE PARAMETER CONSTRAINED (ACCESS)
----------------------------------------------------------------------

     DECLARE

          TYPE ARR_TYPE IS ARRAY (INTEGER RANGE <>) OF BOOLEAN;

          SUBTYPE ARR_CONST     IS ARR_TYPE (ONE_TO_FIVE'FIRST ..
               ONE_TO_FIVE'LAST);

          TYPE ARR_ACC_TYPE IS ACCESS ARR_TYPE;

          SUBTYPE ARR_ACC_CONST IS ARR_ACC_TYPE (1 .. 3);

          PASSED_PARM : ARR_ACC_TYPE := NULL;

          PROCEDURE ACT_PROC (PARM : ARR_ACC_CONST) IS
          BEGIN
               SUBPRG_ACT := TRUE;
          END ACT_PROC;

          GENERIC

               WITH PROCEDURE PASSED_PROC (PARM : ARR_ACC_TYPE);

          PROCEDURE GEN_PROC;

          PROCEDURE GEN_PROC IS
          BEGIN
               PASSED_PROC (PASSED_PARM);
          END GEN_PROC;

          PROCEDURE INST_PROC IS NEW GEN_PROC (ACT_PROC);
     BEGIN
          SUBPRG_ACT := FALSE;
          INST_PROC;
          IF NOT SUBPRG_ACT THEN
               FAILED
                    ("ONE ACCESS PARAMETER CONSTRAINED MADE MATCH " &
                     "INVALID");
          END IF;
     END;

----------------------------------------------------------------------
-- ONE PARAMETER CONSTRAINED (PRIVATE)
----------------------------------------------------------------------

     DECLARE
          PASSED_PARM : PRI_CONST;

          PROCEDURE ACT_PROC (PARM : PRI_CONST) IS
          BEGIN
               SUBPRG_ACT := TRUE;
          END ACT_PROC;

          GENERIC

               WITH PROCEDURE PASSED_PROC (PARM : PRI_TYPE);

          PROCEDURE GEN_PROC;

          PROCEDURE GEN_PROC IS
          BEGIN
               PASSED_PROC (PASSED_PARM);
          END GEN_PROC;

          PROCEDURE INST_PROC IS NEW GEN_PROC (ACT_PROC);
     BEGIN
          SUBPRG_ACT := FALSE;
          INST_PROC;
          IF NOT SUBPRG_ACT THEN
               FAILED
                    ("ONE PRIVATE PARAMETER CONSTRAINED MADE MATCH " &
                     "INVALID");
          END IF;
     END;

----------------------------------------------------------------------
-- PRESENCE (OR ABSENCE) OF AN EXPLICIT "IN" MODE
----------------------------------------------------------------------

     DECLARE

          PROCEDURE ACT_PROC (PARM : INTEGER) IS
          BEGIN
               SUBPRG_ACT := TRUE;
          END ACT_PROC;

          GENERIC

               WITH PROCEDURE PASSED_PROC (PARM : IN INTEGER);

          PROCEDURE GEN_PROC;

          PROCEDURE GEN_PROC IS
          BEGIN
               PASSED_PROC (1);
          END GEN_PROC;

          PROCEDURE INST_PROC IS NEW GEN_PROC (ACT_PROC);
     BEGIN
          SUBPRG_ACT := FALSE;
          INST_PROC;
          IF NOT SUBPRG_ACT THEN
               FAILED
                     ("PRESENCE OF AN EXPLICIT 'IN' MODE MADE MATCH " &
                     "INVALID");
          END IF;
     END;

----------------------------------------------------------------------
-- DIFFERENT TYPE MARKS
----------------------------------------------------------------------

     DECLARE

          SUBTYPE MARK_1_TYPE IS INTEGER;

          SUBTYPE MARK_2_TYPE IS INTEGER;

          PROCEDURE ACT_PROC (PARM1 : IN MARK_1_TYPE) IS
          BEGIN
               SUBPRG_ACT := TRUE;
          END ACT_PROC;

          GENERIC

               WITH PROCEDURE PASSED_PROC (PARM2 : MARK_2_TYPE);

          PROCEDURE GEN_PROC;

          PROCEDURE GEN_PROC IS
          BEGIN
               PASSED_PROC (1);
          END GEN_PROC;

          PROCEDURE INST_PROC IS NEW GEN_PROC (ACT_PROC);
     BEGIN
          SUBPRG_ACT := FALSE;
          INST_PROC;
          IF NOT SUBPRG_ACT THEN
               FAILED ("DIFFERENT TYPE MARKS MADE MATCH INVALID");
          END IF;
     END;
     RESULT;
END CC3605A;