-- C940006.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 the body of a protected function can have external calls -- to other protected functions and that the body of a protected -- procedure can have external calls to protected procedures and to -- protected functions. -- -- TEST DESCRIPTION: -- Use a subset of the simulation of the freeway on-ramp described in -- c940005. In this case two protected objects are used but only a -- minimum of routines are shown in each. Both objects are hard coded -- and detail two adjacent on-ramps (Ramp_31 & Ramp_32) with routines in -- each which use external calls to the other. -- -- -- CHANGE HISTORY: -- 06 Dec 94 SAIC ACVC 2.0 -- --! with Report; procedure C940006 is begin Report.Test ("C940006", "Check external calls of protected functions" & " and procedures"); declare -- encapsulate the test -- Weighted load given to each potential problem area and accumulated type Load_Factor is range 0..8; -- Clear_Level : constant Load_Factor := 0; Minimum_Level : constant Load_Factor := 1; Moderate_Level : constant Load_Factor := 3; Serious_Level : constant Load_Factor := 4; Critical_Level : constant Load_Factor := 6; --================================================================ -- Only the Routines that are used in this test are shown -- protected Ramp_31 is function Local_Overload return Load_Factor; procedure Set_Local_Overload(Sensor_Level : Load_Factor); procedure Notify; function Next_Ramp_Overload return Load_Factor; function Freeway_Overload return Load_Factor; procedure Downstream_Ramps; function Get_DSR_Accumulate return Load_Factor; private Next_Ramp_Alert : Boolean := false; -- Next Ramp is in trouble? -- Current state of the various Sample Points Local_State : Load_Factor := Clear_Level; -- Accumulated load for next three downstream ramps DSR_Accumulate : Load_Factor := Clear_Level; end Ramp_31; --================================================================ -- Only the Routines that are used in this test are shown -- protected Ramp_32 is function Local_Overload return Load_Factor; procedure Set_Local_Overload (Sensor_Level : Load_Factor); private Local_State : Load_Factor := Clear_Level; end Ramp_32; --================================================================ protected body Ramp_31 is -- These Set/Clear routines are triggered by real-time sensors that -- reflect traffic state procedure Set_Local_Overload (Sensor_Level : Load_Factor) is begin -- Notify "previous" ramp to check this one for current state. -- Subsequent changes in state will not send an alert null; --::::: (see Ramp_32 for this code) Local_State := Sensor_Level; null; --::::: Start local meter if not already started end Set_Local_Overload; function Local_Overload return Load_Factor is begin return Local_State; end Local_Overload; -- This is notification from the next ramp that it is in -- overload. With this provision we only need to sample the next -- ramp during adverse conditions. procedure Notify is begin Next_Ramp_Alert := true; end Notify; function Next_Ramp_Overload return Load_Factor is begin if Next_Ramp_Alert then -- EXTERNAL FUNCTION CALL FROM FUNCTION -- Get next ramp's current state return Ramp_32.Local_Overload; else return Clear_Level; end if; end Next_Ramp_Overload; -- return the summation of all the load factors function Freeway_Overload return Load_Factor is begin return Local_Overload -- + :::: others + Next_Ramp_Overload; end Freeway_Overload; -- Snapshot the states of the next three downstream ramps procedure Downstream_Ramps is begin DSR_Accumulate := Ramp_32.Local_Overload; -- EXTERNAL FUNCTION -- :::: + Ramp_33.Local_Overload -- FROM PROCEDURE -- :::: + Ramp_34.Local_Overload end Downstream_Ramps; -- Get last snapshot function Get_DSR_Accumulate return Load_Factor is begin return DSR_Accumulate; end Get_DSR_Accumulate; end Ramp_31; --================================================================ protected body Ramp_32 is function Local_Overload return Load_Factor is begin return Local_State; end; -- These Set/Clear routines are triggered by real-time sensors that -- reflect traffic state procedure Set_Local_Overload(Sensor_Level : Load_Factor) is begin if Local_State = Clear_Level then -- Notify "previous" ramp to check this one for current state. -- Subsequent changes in state will not send an alert -- When the situation clears another routine performs the -- all_clear notification. (not shown) -- EXTERNAL CALL OF PROCEDURE FROM PROCEDURE Ramp_31.Notify; end if; Local_State := Sensor_Level; null; --::::: Start local meter if not already started end; end Ramp_32; --================================================================ begin -- declare -- Test driver. This is ALL test control code -- Simulate calls to the protected functions and procedures -- from without the protected object, these will, in turn make the -- external calls. -- Check initial conditions, exercising the simple calls if not (Ramp_31.Local_Overload = Clear_Level and Ramp_31.Next_Ramp_Overload = Clear_Level and Ramp_31.Freeway_Overload = Clear_Level) and Ramp_32.Local_Overload = Clear_Level then Report.Failed ("Initial Calls provided unexpected Results"); end if; -- Simulate real-time sensors reporting overloads at a hardware level Ramp_31.Set_Local_Overload (1); Ramp_32.Set_Local_Overload (3); Ramp_31.Downstream_Ramps; -- take the current snapshot if not (Ramp_31.Local_Overload = Minimum_Level and Ramp_31.Get_DSR_Accumulate = Moderate_Level and Ramp_31.Freeway_Overload = Serious_Level) then Report.Failed ("Secondary Calls provided unexpected Results"); end if; end; -- declare Report.Result; end C940006;