-- CB20006.A
--
--                             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 exceptions are raised and properly handled (including 
--      propagation by reraise) in protected operations.
--
-- TEST DESCRIPTION:
--      Declare a package with a protected type, including protected operation
--      declarations and private data, simulating a counting semaphore.
--      In the main procedure, perform calls on protected operations 
--      of the protected object designed to induce the raising of exceptions.
--
--      The exceptions raised are to be initially handled in the protected
--      operations, but this handling involves the reraise of the exception
--      and the propagation of the exception to the caller.
--
--      Ensure that the exceptions are raised, handled / reraised successfully
--      in protected procedures and functions.  Use "others" handlers in the
--      protected operations.
--
--       
-- CHANGE HISTORY:
--      06 Dec 94   SAIC    ACVC 2.0
--
--!

package CB20006_0 is               -- Package Semaphore.

   Reraised_In_Function,
   Reraised_In_Procedure,
   Handled_In_Function_Caller,
   Handled_In_Procedure_Caller   : Boolean := False;

   Resource_Overflow,
   Resource_Underflow            : exception;

   protected type Counting_Semaphore (Max_Resources : Integer) is
      procedure Secure;
      function  Resource_Limit_Exceeded return Boolean;
      procedure Release;
   private
      Count : Integer := Max_Resources;
   end Counting_Semaphore;

end CB20006_0;

     --=================================================================--

with Report;

package body CB20006_0 is                 -- Package Semaphore.

   protected body Counting_Semaphore is

      procedure Secure is
      begin
         if (Count = 0) then              -- No resources left to secure.
            raise Resource_Underflow;      
            Report.Failed 
              ("Program control not transferred by raise in Procedure Secure");
         else
            Count := Count - 1;           -- Available resources decremented.
         end if;                          
      exception
         when Resource_Underflow =>
            Reraised_In_Procedure := True; 
            raise;                        -- Exception propagated to caller.
            Report.Failed ("Exception not propagated to caller from Secure");
         when others =>
            Report.Failed ("Unexpected exception raised in Secure");
      end Secure;


      function Resource_Limit_Exceeded return Boolean is
      begin
         if (Count > Max_Resources) then   
            raise Resource_Overflow;      -- Exception used as control flow
                                          -- mechanism.
            Report.Failed 
              ("Specific raise did not alter program control" &
               " from Resource_Limit_Exceeded");
         else                              
            return (False);
         end if;
      exception
         when others =>
            Reraised_In_Function := True; 
            raise;                         -- Exception propagated to caller.
            Report.Failed ("Exception not propagated to caller" & 
                           " from Resource_Limit_Exceeded");
      end Resource_Limit_Exceeded;


      procedure Release is
      begin
         Count := Count + 1;               -- Count of resources available 
                                           -- incremented.
         if Resource_Limit_Exceeded then   -- Call to protected operation
            Count := Count - 1;            -- function that raises/reraises
                                           -- an exception.
            Report.Failed("Resource limit exceeded");
         end if;                          

      exception
         when others =>
            raise;                         -- Reraised and propagated again.
             Report.Failed ("Exception not reraised by procedure Release");
      end Release;


   end Counting_Semaphore;

end CB20006_0;


     --=================================================================--


with CB20006_0;                           -- Package Semaphore.
with Report;

procedure CB20006 is
begin

   Report.Test ("CB20006", "Check that exceptions are raised and " &
                           "handled / reraised and propagated "    &
                           "correctly by protected operations" );

   Test_Block:
   declare

      package Semaphore renames CB20006_0;

      Total_Resources_Available : constant := 1;

      Resources : Semaphore.Counting_Semaphore (Total_Resources_Available);
                                             -- An object of protected type.

   begin

      Allocate_Resources:
      declare
         Loop_Count : Integer := Total_Resources_Available + 1;
      begin
         for I in 1..Loop_Count loop -- Force exception
            Resources.Secure;
         end loop;
         Report.Failed 
           ("Exception not propagated from protected operation Secure");
      exception                                     
         when Semaphore.Resource_Underflow =>        -- Exception propagated
           Semaphore.Handled_In_Procedure_Caller := True;  -- from protected
         when others =>                                    -- procedure.
           Semaphore.Handled_In_Procedure_Caller := False;
      end Allocate_Resources;

   
      Deallocate_Resources:
      declare
         Loop_Count : Integer := Total_Resources_Available + 1;
      begin
         for I in 1..Loop_Count loop -- Force exception
            Resources.Release;  
         end loop;
         Report.Failed 
           ("Exception not propagated from protected operation Release");
      exception                                     
         when Semaphore.Resource_Overflow =>        -- Exception propagated 
            Semaphore.Handled_In_Function_Caller := True; -- from protected
         when others =>                                   -- function.
            Semaphore.Handled_In_Function_Caller := False;
      end Deallocate_Resources;


      if not (Semaphore.Reraised_In_Procedure and
              Semaphore.Reraised_In_Function  and
              Semaphore.Handled_In_Procedure_Caller and
              Semaphore.Handled_In_Function_Caller) 
      then                                       -- Incorrect excpt. handling
         Report.Failed                           -- in protected operations.
           ("Improper exception handling/reraising by protected operations");
      end if;

   exception

      when others =>
         Report.Failed ("Unexpected exception " & 
                        " raised and propagated in test");
   end Test_Block;

   Report.Result;


end CB20006;