-- CC3019B1.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.
--*
--  THIS IS GENERIC PACKAGE WHICH IS USED TO CHECK THE LEVEL OF
--  NESTED GENERICS SUPPORTED BY AN IMPLEMENTATION. IT IS USED
--  BY THE MAIN PROCEDURE, I.E., CC3019B2M.ADA.
--
-- *** THIS FILE MUST BE COMPILED AFTER CC3019B0.ADA HAS BEEN
-- *** COMPILED.
--
-- HISTORY:
--         EDWARD V. BERARD, 31 AUGUST 1990

WITH CC3019B0_LIST_CLASS ;

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 CC3019B1_STACK_CLASS IS
     
     TYPE STACK IS LIMITED PRIVATE ;
          
     OVERFLOW    : EXCEPTION ;
     UNDERFLOW   : EXCEPTION ;
          
     PROCEDURE PUSH (THIS_ELEMENT        : IN OUT ELEMENT ;
                     ON_TO_THIS_STACK    : IN OUT STACK) ;
                        
     PROCEDURE POP  (THIS_ELEMENT        : IN OUT ELEMENT ;
                     OFF_THIS_STACK      : IN OUT STACK) ;
                            
     PROCEDURE COPY  (THIS_STACK       : IN OUT STACK ;
                      TO_THIS_STACK    : IN OUT STACK) ;
                         
     PROCEDURE CLEAR (THIS_STACK       : IN OUT STACK) ;
     
     GENERIC
          
          WITH PROCEDURE PROCESS (THIS_ELEMENT    : IN  ELEMENT ;
                                  CONTINUE        : OUT BOOLEAN) ;
                                        
     PROCEDURE ITERATE (OVER_THIS_STACK    : IN STACK) ;
                              
     FUNCTION NUMBER_OF_ELEMENTS (ON_THIS_STACK    : IN STACK)
          RETURN NATURAL ;
          
     FUNCTION "=" (LEFT  : IN STACK ;
                   RIGHT : IN STACK) RETURN BOOLEAN ;
               
PRIVATE

     PACKAGE NEW_LIST_CLASS IS
          NEW CC3019B0_LIST_CLASS (ELEMENT => ELEMENT,
                                   ASSIGN  => ASSIGN,
                                   "="     => "=") ;
                                                      
     TYPE STACK IS NEW NEW_LIST_CLASS.LIST ;
          
END CC3019B1_STACK_CLASS ;
     
PACKAGE BODY CC3019B1_STACK_CLASS IS
     
     PROCEDURE PUSH (THIS_ELEMENT        : IN OUT ELEMENT ;
                     ON_TO_THIS_STACK    : IN OUT STACK) IS
                            
     BEGIN  -- PUSH
          
          NEW_LIST_CLASS.ADD (
               THIS_ELEMENT    => THIS_ELEMENT,
               TO_THIS_LIST    =>
                    NEW_LIST_CLASS.LIST (ON_TO_THIS_STACK)) ;
                                    
     EXCEPTION
     
          WHEN NEW_LIST_CLASS.OVERFLOW => RAISE OVERFLOW ;
                                    
     END PUSH ;
                            
     PROCEDURE POP  (THIS_ELEMENT        : IN OUT ELEMENT ;
                     OFF_THIS_STACK      : IN OUT STACK) IS
                            
     BEGIN  -- POP
          
          NEW_LIST_CLASS.DELETE (
               THIS_ELEMENT      => THIS_ELEMENT,
               FROM_THIS_LIST    =>
                         NEW_LIST_CLASS.LIST (OFF_THIS_STACK)) ;
                                       
     EXCEPTION
     
          WHEN NEW_LIST_CLASS.UNDERFLOW => RAISE UNDERFLOW ;
                                    
     END POP ;
                            
     PROCEDURE COPY  (THIS_STACK       : IN OUT STACK ;
                      TO_THIS_STACK    : IN OUT STACK) IS
                             
     BEGIN  -- COPY
          
          NEW_LIST_CLASS.COPY (
               THIS_LIST    => NEW_LIST_CLASS.LIST (THIS_STACK),
               TO_THIS_LIST => NEW_LIST_CLASS.LIST (TO_THIS_STACK)) ;
               
     END COPY ;
     
     PROCEDURE CLEAR (THIS_STACK        : IN OUT STACK) IS
     
     BEGIN  -- CLEAR
     
          NEW_LIST_CLASS.CLEAR (NEW_LIST_CLASS.LIST (THIS_STACK)) ;
          
     END CLEAR ;
     
     PROCEDURE ITERATE (OVER_THIS_STACK    : IN STACK) IS
     
          PROCEDURE STACK_ITERATE IS NEW NEW_LIST_CLASS.ITERATE
               (PROCESS => PROCESS) ;
               
     BEGIN  -- ITERATE
     
          STACK_ITERATE (NEW_LIST_CLASS.LIST (OVER_THIS_STACK)) ;
          
     END ITERATE ;

     FUNCTION NUMBER_OF_ELEMENTS (ON_THIS_STACK    : IN STACK)
          RETURN NATURAL IS
               
     BEGIN  -- NUMBER_OF_ELEMENTS
          
          RETURN NEW_LIST_CLASS.NUMBER_OF_ELEMENTS
               (IN_THIS_LIST => NEW_LIST_CLASS.LIST (ON_THIS_STACK)) ;
                    
     END NUMBER_OF_ELEMENTS ;
          
     FUNCTION "=" (LEFT  : IN STACK ;
                   RIGHT : IN STACK) RETURN BOOLEAN IS
     
     BEGIN  -- "="
     
          RETURN NEW_LIST_CLASS."=" (
               LEFT  => NEW_LIST_CLASS.LIST (LEFT),
               RIGHT => NEW_LIST_CLASS.LIST (RIGHT)) ;
                                       
     END "=" ;
               
END CC3019B1_STACK_CLASS ;