Subversion Repositories openrisc_2011-10-31

-- CC3019C0.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

--   THIS IS GENERIC PACKAGE WHICH IS USED TO CHECK THE LEVEL OF

--   NESTED GENERICS SUPPORTED BY AN IMPLEMENTATION.

--

-- HISTORY:

--         EDWARD V. BERARD, 31 AUGUST 1990

GENERIC

     TYPE ELEMENT IS LIMITED PRIVATE ;

     WITH PROCEDURE ASSIGN (SOURCE        : IN OUT ELEMENT ;

                            DESTINATION   : IN OUT ELEMENT) ;

     WITH FUNCTION "=" (LEFT  : IN ELEMENT ;

                        RIGHT : IN ELEMENT) RETURN BOOLEAN ;

PACKAGE CC3019C0_LIST_CLASS IS

     TYPE LIST IS LIMITED PRIVATE ;

     OVERFLOW    : EXCEPTION ;

     UNDERFLOW   : EXCEPTION ;

     PROCEDURE ADD    (THIS_ELEMENT        : IN OUT ELEMENT ;

                       TO_THIS_LIST        : IN OUT LIST) ;

     PROCEDURE DELETE (THIS_ELEMENT      : IN OUT ELEMENT ;

                       FROM_THIS_LIST    : IN OUT LIST) ;

     PROCEDURE COPY   (THIS_LIST           : IN OUT LIST ;

                       TO_THIS_LIST        : IN OUT LIST) ;

     PROCEDURE CLEAR  (THIS_LIST           : IN OUT LIST) ;

     GENERIC

          WITH PROCEDURE PROCESS (THIS_ELEMENT    : IN  ELEMENT ;

                                  CONTINUE        : OUT BOOLEAN) ;

     PROCEDURE ITERATE (OVER_THIS_LIST    : IN LIST) ;

     FUNCTION NUMBER_OF_ELEMENTS (IN_THIS_LIST : IN LIST)

          RETURN NATURAL ;

     FUNCTION "=" (LEFT  : IN LIST ;

                   RIGHT : IN LIST) RETURN BOOLEAN ;

PRIVATE

     TYPE LIST_TABLE IS ARRAY (POSITIVE RANGE 1 .. 10) OF ELEMENT ;

     TYPE LIST IS RECORD

          LENGTH        : NATURAL := 0 ;

          ACTUAL_LIST   : LIST_TABLE ;

     END RECORD ;

END CC3019C0_LIST_CLASS ;

PACKAGE BODY CC3019C0_LIST_CLASS IS

     PROCEDURE ADD    (THIS_ELEMENT        : IN OUT ELEMENT ;

                       TO_THIS_LIST        : IN OUT LIST) IS

     BEGIN  -- ADD

          IF TO_THIS_LIST.LENGTH >= 10 THEN

               RAISE OVERFLOW ;

          ELSE

               TO_THIS_LIST.LENGTH := TO_THIS_LIST.LENGTH + 1 ;

               ASSIGN (

                    SOURCE      => THIS_ELEMENT,

                    DESTINATION =>

                         TO_THIS_LIST.ACTUAL_LIST(TO_THIS_LIST.LENGTH));

          END IF ;

     END ADD ;

     PROCEDURE DELETE (THIS_ELEMENT      : IN OUT ELEMENT ;

                       FROM_THIS_LIST    : IN OUT LIST) IS

     BEGIN  -- DELETE

          IF FROM_THIS_LIST.LENGTH <= 0 THEN

               RAISE UNDERFLOW ;

          ELSE

               ASSIGN (

                    SOURCE      =>

                      FROM_THIS_LIST.ACTUAL_LIST(FROM_THIS_LIST.LENGTH),

                    DESTINATION => THIS_ELEMENT) ;

               FROM_THIS_LIST.LENGTH := FROM_THIS_LIST.LENGTH - 1 ;

          END IF ;

     END DELETE ;

     PROCEDURE COPY   (THIS_LIST           : IN OUT LIST ;

                       TO_THIS_LIST        : IN OUT LIST) IS

     BEGIN  -- COPY

          TO_THIS_LIST.LENGTH := THIS_LIST.LENGTH ;

          FOR INDEX IN TO_THIS_LIST.ACTUAL_LIST'RANGE LOOP

               ASSIGN (SOURCE      => THIS_LIST.ACTUAL_LIST (INDEX),

                       DESTINATION => TO_THIS_LIST.ACTUAL_LIST (INDEX));

          END LOOP ;

     END COPY ;

     PROCEDURE CLEAR  (THIS_LIST         : IN OUT LIST) IS

     BEGIN  -- CLEAR

          THIS_LIST.LENGTH := 0 ;

     END CLEAR ;

     PROCEDURE ITERATE (OVER_THIS_LIST    : IN LIST) IS

          CONTINUE : BOOLEAN := TRUE ;

          FINISHED : NATURAL := 0 ;

     BEGIN  -- ITERATE

          WHILE (CONTINUE = TRUE) AND (FINISHED < OVER_THIS_LIST.LENGTH)

               LOOP

                    FINISHED := FINISHED + 1 ;

                    PROCESS (THIS_ELEMENT =>

                                OVER_THIS_LIST.ACTUAL_LIST (FINISHED),

                             CONTINUE     => CONTINUE) ;

               END LOOP ;

     END ITERATE ;

     FUNCTION NUMBER_OF_ELEMENTS (IN_THIS_LIST : IN LIST)

          RETURN NATURAL IS

     BEGIN  -- NUMBER_OF_ELEMENTS

          RETURN IN_THIS_LIST.LENGTH ;

     END NUMBER_OF_ELEMENTS ;

     FUNCTION "=" (LEFT  : IN LIST ;

                   RIGHT : IN LIST) RETURN BOOLEAN IS

          RESULT : BOOLEAN := TRUE ;

          INDEX  : NATURAL := 0 ;

     BEGIN  -- "="

          IF LEFT.LENGTH /= RIGHT.LENGTH THEN

               RESULT := FALSE ;

          ELSE

               WHILE (INDEX < LEFT.LENGTH) AND RESULT LOOP

                    INDEX := INDEX + 1 ;

                    IF LEFT.ACTUAL_LIST (INDEX) /=

                       RIGHT.ACTUAL_LIST (INDEX) THEN

                        RESULT := FALSE ;

                    END IF ;

               END LOOP ;

          END IF ;

          RETURN RESULT ;

     END "=" ;

END CC3019C0_LIST_CLASS ;