URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c9/] [c980002.a] - Rev 294
Compare with Previous | Blame | View Log
-- C980002.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 aborts are deferred during protected actions.
--
-- TEST DESCRIPTION:
-- This test uses an asynchronous transfer of control to attempt
-- to abort a protected operation. The protected operation
-- includes several requeues to check that the requeue does not
-- allow the abort to occur.
--
--
-- CHANGE HISTORY:
-- 30 OCT 95 SAIC ACVC 2.1
--
--!
with Report;
procedure C980002 is
Max_Checkpoints : constant := 7;
type Checkpoint_ID is range 1..Max_Checkpoints;
type Points_Array is array (Checkpoint_ID) of Boolean;
begin
Report.Test ("C980002",
"Check that aborts are deferred during a protected action" &
" including requeues");
declare -- test encapsulation
protected Checkpoint is
procedure Got_Here (Id : Checkpoint_ID);
function Results return Points_Array;
private
Reached_Points : Points_Array := (others => False);
end Checkpoint;
protected body Checkpoint is
procedure Got_Here (Id : Checkpoint_ID) is
begin
Reached_Points (Id) := True;
end Got_Here;
function Results return Points_Array is
begin
return Reached_Points;
end Results;
end Checkpoint;
protected Start_Here is
entry AST_Waits_Here;
entry Start_PO;
private
Open : Boolean := False;
entry First_Stop;
end Start_Here;
protected Middle_PO is
entry Stop_1;
entry Stop_2;
end Middle_PO;
protected Final_PO is
entry Final_Stop;
end Final_PO;
protected body Start_Here is
entry AST_Waits_Here when Open is
begin
null;
end AST_Waits_Here;
entry Start_PO when True is
begin
Open := True;
Checkpoint.Got_Here (1);
requeue First_Stop;
end Start_PO;
-- make sure the AST has been accepted before continuing
entry First_Stop when AST_Waits_Here'Count = 0 is
begin
Checkpoint.Got_Here (2);
requeue Middle_PO.Stop_1;
end First_Stop;
end Start_Here;
protected body Middle_PO is
entry Stop_1 when True is
begin
Checkpoint.Got_Here (3);
requeue Stop_2;
end Stop_1;
entry Stop_2 when True is
begin
Checkpoint.Got_Here (4);
requeue Final_PO.Final_Stop;
end Stop_2;
end Middle_PO;
protected body Final_PO is
entry Final_Stop when True is
begin
Checkpoint.Got_Here (5);
end Final_Stop;
end Final_PO;
begin -- test encapsulation
select
Start_Here.AST_Waits_Here;
Checkpoint.Got_Here (6);
then abort
Start_Here.Start_PO;
delay 0.0; -- abort completion point
Checkpoint.Got_Here (7);
end select;
Check_The_Results: declare
Chk : constant Points_Array := Checkpoint.Results;
Expected : constant Points_Array := (1..6 => True,
7 => False);
begin
for I in Checkpoint_ID loop
if Chk (I) /= Expected (I) then
Report.Failed ("checkpoint error" &
Checkpoint_ID'Image (I) &
" actual is " &
Boolean'Image (Chk(I)));
end if;
end loop;
end Check_The_Results;
exception
when others =>
Report.Failed ("unexpected exception");
end; -- test encapsulation
Report.Result;
end C980002;