-- CC3017C.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 AN INSTANCE OF A GENERIC PROCEDURE MUST DECLARE A
--     PROCEDURE AND THAT AN INSTANCE OF A GENERIC FUNCTION MUST
--     DECLARE A FUNCTION. CHECK THAT SCALAR AND ACCESS PARAMETERS
--     ARE COPIED.
--
--     SUBTESTS ARE:
--         (A) SCALAR PARAMETERS TO PROCEDURES.
--         (B) SCALAR PARAMETERS TO FUNCTIONS.
--         (C) ACCESS PARAMETERS TO PROCEDURES.
--         (D) ACCESS PARAMETERS TO FUNCTIONS.

-- HISTORY:
--     EDWARD V. BERARD, 7 AUGUST 1990
--     CJJ 10/16/90  ADJUSTED LINES THAT WERE TOO LONG; REFORMATTED
--                   HEADER TO CONFORM TO ACVC STANDARDS.
--

WITH REPORT;
PROCEDURE CC3017C IS

BEGIN
     REPORT.TEST ("CC3017C", "CHECK THAT AN INSTANCE OF A GENERIC " &
                  "PROCEDURE MUST DECLARE A PROCEDURE AND THAT AN " &
                  "INSTANCE OF A GENERIC FUNCTION MUST DECLARE A " &
                  "FUNCTION. CHECK THAT SCALAR AND ACCESS PARAMETERS " &
                  "ARE COPIED");

     --------------------------------------------------

     SCALAR_TO_PROCS:
     
     DECLARE

--        (A) SCALAR PARAMETERS TO PROCEDURES.

          TYPE NUMBER IS RANGE 0 .. 120 ;
          VALUE : NUMBER ;
          E     : EXCEPTION ;

          GENERIC
          
            TYPE SCALAR_ITEM IS RANGE <> ;
            
          PROCEDURE P (P_IN     : IN SCALAR_ITEM ;
                       P_OUT     : OUT SCALAR_ITEM ;
                       P_IN_OUT : IN OUT SCALAR_ITEM) ;
                       
          PROCEDURE P (P_IN     : IN SCALAR_ITEM ;
                       P_OUT     : OUT SCALAR_ITEM ;
                       P_IN_OUT : IN OUT SCALAR_ITEM) IS

               STORE  : SCALAR_ITEM ;

          BEGIN  -- P

               STORE := P_IN;     -- SAVE VALUE OF P_IN AT PROC ENTRY.

               P_OUT := 10;
               IF (P_IN /= STORE) THEN
                    REPORT.FAILED ("ASSIGNMENT TO SCALAR OUT " &
                                   "PARAMETER CHANGES THE VALUE OF " &
                                   "INPUT PARAMETER");
                    STORE := P_IN;     -- RESET STORE FOR NEXT CASE.
               END IF;

               P_IN_OUT := P_IN_OUT + 100;
               IF (P_IN /= STORE) THEN
                    REPORT.FAILED ("ASSIGNMENT TO SCALAR IN OUT " &
                                   "PARAMETER CHANGES THE VALUE OF " &
                                   "INPUT PARAMETER");
                    STORE := P_IN;     -- RESET STORE FOR NEXT CASE.
               END IF;

               VALUE := VALUE + 1;
               IF (P_IN /= STORE) THEN
                    REPORT.FAILED ("ASSIGNMENT TO SCALAR GLOBAL " &
                                   "PARAMETER CHANGES THE VALUE OF " &
                                   "INPUT PARAMETER");
               END IF;

               RAISE E;  -- CHECK EXCEPTION HANDLING.
          END P;
          
          PROCEDURE NEW_P IS NEW P (SCALAR_ITEM => NUMBER) ;

     BEGIN  -- SCALAR_TO_PROCS
          VALUE := 0;   -- INITIALIZE VALUE SO VARIOUS CASES CAN BE DETECTED.
          
          NEW_P (P_IN     => VALUE,
                 P_OUT    => VALUE,
                 P_IN_OUT => VALUE);
          
          REPORT.FAILED ("EXCEPTION NOT RAISED - SCALARS TO PROCEDURES");
     EXCEPTION
          WHEN E =>
               IF (VALUE /= 1) THEN
                    CASE VALUE IS
                         WHEN 11  =>
                              REPORT.FAILED ("OUT ACTUAL SCALAR " &
                                             "PARAMETER CHANGED GLOBAL VALUE");
                         WHEN 101 =>
                              REPORT.FAILED ("IN OUT ACTUAL SCALAR " &
                                             "PARAMETER CHANGED GLOBAL VALUE");
                         WHEN 111 =>
                              REPORT.FAILED ("OUT AND IN OUT ACTUAL " &
                                             "SCALAR PARAMETERS CHANGED " &
                                             "GLOBAL VALUE");
                         WHEN OTHERS =>
                              REPORT.FAILED ("UNDETERMINED CHANGE TO " &
                                             "GLOBAL VALUE");
                    END CASE;
               END IF;
          WHEN OTHERS =>
              REPORT.FAILED ("WRONG EXCEPTION RAISED - SCALARS TO PROCEDURES");
     END SCALAR_TO_PROCS ;

     --------------------------------------------------

     SCALAR_TO_FUNCS:
     
     DECLARE

--        (B) SCALAR PARAMETERS TO FUNCTIONS.

          TYPE NUMBER IS RANGE 0 .. 101 ;
          FIRST  : NUMBER ;
          SECOND : NUMBER ;

          GENERIC
          
              TYPE ITEM IS RANGE <> ;
            
          FUNCTION F (F_IN : IN ITEM) RETURN ITEM ;
          
          FUNCTION F (F_IN : IN ITEM) RETURN ITEM IS

               STORE  : ITEM := F_IN;

          BEGIN  -- F

               FIRST := FIRST + 1;
               IF (F_IN /= STORE) THEN
                    REPORT.FAILED ("ASSIGNMENT TO SCALAR GLOBAL FUNCTION " &
                                   "PARAMETER CHANGES THE VALUE OF " &
                                   "INPUT PARAMETER");
               END IF;

               RETURN (100);
          END F;
          
          FUNCTION NEW_F IS NEW F (ITEM => NUMBER) ;

     BEGIN  -- SCALAR_TO_FUNCS
          FIRST  := 100 ;
          SECOND := NEW_F (FIRST) ;
     END SCALAR_TO_FUNCS ;

     --------------------------------------------------

     ACCESS_TO_PROCS:
     
     DECLARE

--        (C) ACCESS PARAMETERS TO PROCEDURES.

          TYPE MONTH_TYPE IS (JAN, FEB, MAR, APR, MAY, JUN, JUL, AUG,
                               SEP, OCT, NOV, DEC) ;
          TYPE DAY_TYPE IS RANGE 1 .. 31 ;
          TYPE YEAR_TYPE IS RANGE 1904 .. 2050 ;
          TYPE DATE IS RECORD
              MONTH : MONTH_TYPE ;
              DAY   : DAY_TYPE ;
              YEAR  : YEAR_TYPE ;
          END RECORD ;
          
          TYPE DATE_ACCESS IS ACCESS DATE ;
          DATE_POINTER : DATE_ACCESS ;
          
          E    : EXCEPTION;
          
          GENERIC
          
            TYPE ITEM IS PRIVATE ;
            TYPE ACCESS_ITEM IS ACCESS ITEM ;

          PROCEDURE P (P_IN     : IN     ACCESS_ITEM ;  
                       P_OUT    : OUT    ACCESS_ITEM ;
                       P_IN_OUT : IN OUT ACCESS_ITEM) ;

          PROCEDURE P (P_IN     : IN     ACCESS_ITEM ;  
                       P_OUT    : OUT    ACCESS_ITEM ;
                       P_IN_OUT : IN OUT ACCESS_ITEM) IS

               STORE  : ACCESS_ITEM ;

          BEGIN  -- P

               STORE := P_IN ;     -- SAVE VALUE OF P_IN AT PROC ENTRY.

               DATE_POINTER := NEW DATE'(YEAR  => 1990,
                                         DAY   => 7,
                                         MONTH => AUG) ;
               IF (P_IN /= STORE) THEN
                    REPORT.FAILED ("ASSIGNMENT TO ACCESS GLOBAL " &
                                   "PARAMETER CHANGES THE VALUE OF " &
                                   "INPUT PARAMETER");
                    STORE := P_IN;     -- RESET STORE FOR NEXT CASE.
               END IF;

               P_OUT := NEW ITEM ;
               IF (P_IN /= STORE) THEN
                    REPORT.FAILED ("ASSIGNMENT TO ACCESS OUT " &
                                   "PARAMETER CHANGES THE VALUE OF " &
                                   "INPUT PARAMETER");
                    STORE := P_IN;     -- RESET STORE FOR NEXT CASE.
               END IF;

               P_IN_OUT :=  NEW ITEM ;
               IF (P_IN /= STORE) THEN
                    REPORT.FAILED ("ASSIGNMENT TO ACCESS IN OUT " &
                                   "PARAMETER CHANGES THE VALUE OF " &
                                   "INPUT PARAMETER");
               END IF;

               RAISE E;  -- CHECK EXCEPTION HANDLING.
          END P ;
          
          PROCEDURE NEW_P IS NEW P (ITEM         => DATE,
                                    ACCESS_ITEM  => DATE_ACCESS) ;

     BEGIN  -- ACCESS_TO_PROCS
          DATE_POINTER := NEW DATE'(MONTH => DEC,
                                    DAY   => 25,
                                    YEAR  => 2000) ;
                                    
          NEW_P (P_IN       => DATE_POINTER,
                   P_OUT    => DATE_POINTER,
                   P_IN_OUT => DATE_POINTER) ;
                 
          REPORT.FAILED ("EXCEPTION NOT RAISED - ACCESS TO PROCEDURES");
     EXCEPTION
          WHEN E =>
               IF (DATE_POINTER.ALL /= (AUG, 7, 1990)) THEN
                    REPORT.FAILED ("OUT OR IN OUT ACTUAL PROCEDURE " &
                                   "PARAMETER VALUE CHANGED DESPITE " &
                                   "RAISED EXCEPTION");
               END IF;
          WHEN OTHERS =>
               REPORT.FAILED ("WRONG EXCEPTION RAISED - ACCESS TO PROCEDURES");
     END ACCESS_TO_PROCS ;

     --------------------------------------------------

     ACCESS_TO_FUNCS:
     
     DECLARE
     
--        (D) ACCESS PARAMETERS TO FUNCTIONS.

          TYPE MONTH_TYPE IS (JAN, FEB, MAR, APR, MAY, JUN, JUL, AUG,
                               SEP, OCT, NOV, DEC) ;
          TYPE DAY_TYPE IS RANGE 1 .. 31 ;
          TYPE YEAR_TYPE IS RANGE 1904 .. 2050 ;
          TYPE DATE IS RECORD
            MONTH : MONTH_TYPE ;
            DAY   : DAY_TYPE ;
            YEAR  : YEAR_TYPE ;
          END RECORD ;
          
          TYPE DATE_ACCESS IS ACCESS DATE ;
          DATE_POINTER : DATE_ACCESS ;
          NEXT_DATE    : DATE_ACCESS ;

          GENERIC
          
            TYPE ITEM IS PRIVATE ;
            TYPE ACCESS_ITEM IS ACCESS ITEM ;

          FUNCTION F (F_IN : IN ACCESS_ITEM) RETURN ACCESS_ITEM ;

          FUNCTION F (F_IN : IN ACCESS_ITEM) RETURN ACCESS_ITEM IS

               STORE  : ACCESS_ITEM := F_IN ;

          BEGIN  -- F

               DATE_POINTER := NEW DATE'(YEAR  => 1990,
                                            DAY   => 7,
                                         MONTH => AUG) ;
               IF (F_IN /= STORE) THEN
                    REPORT.FAILED ("ASSIGNMENT TO ACCESS GLOBAL FUNCTION " &
                                   "PARAMETER CHANGES THE VALUE OF " &
                                   "INPUT PARAMETER");
               END IF;

               RETURN (NULL);
          END F ;
          
          FUNCTION NEW_F IS NEW F (ITEM        => DATE,
                                   ACCESS_ITEM => DATE_ACCESS) ;

     BEGIN  -- ACCESS_TO_FUNCS
          DATE_POINTER := NULL ;
          NEXT_DATE    := NEW_F(F_IN => DATE_POINTER) ;
     END ACCESS_TO_FUNCS ;

     --------------------------------------------------

     REPORT.RESULT;

END CC3017C;