-- C954025.A
|
-- C954025.A
|
--
|
--
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- 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
|
-- 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 in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
--
|
--
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- Check that if the original entry call was a conditional entry call,
|
-- Check that if the original entry call was a conditional entry call,
|
-- the call is cancelled if a requeue-with-abort of the call is not
|
-- the call is cancelled if a requeue-with-abort of the call is not
|
-- selected immediately.
|
-- selected immediately.
|
-- Check that if the original entry call was a timed entry call, the
|
-- Check that if the original entry call was a timed entry call, the
|
-- expiration time for a requeue-with-abort is the original expiration
|
-- expiration time for a requeue-with-abort is the original expiration
|
-- time.
|
-- time.
|
--
|
--
|
-- TEST DESCRIPTION:
|
-- TEST DESCRIPTION:
|
-- This test declares two tasks: Launch_Control and Mission_Control.
|
-- This test declares two tasks: Launch_Control and Mission_Control.
|
-- Mission_Control instructs Launch_Control to start its countdown
|
-- Mission_Control instructs Launch_Control to start its countdown
|
-- and then requeues (with abort) to the Launch_Control.Launch
|
-- and then requeues (with abort) to the Launch_Control.Launch
|
-- entry. This call to Launch will be accepted at the end of the
|
-- entry. This call to Launch will be accepted at the end of the
|
-- countdown (if the task is still waiting).
|
-- countdown (if the task is still waiting).
|
-- The main task does an unconditional, conditional, and timed
|
-- The main task does an unconditional, conditional, and timed
|
-- entry call to Mission_Control and checks to see if the launch
|
-- entry call to Mission_Control and checks to see if the launch
|
-- was accepted.
|
-- was accepted.
|
--
|
--
|
--
|
--
|
-- CHANGE HISTORY:
|
-- CHANGE HISTORY:
|
-- 18 OCT 95 SAIC ACVC 2.1
|
-- 18 OCT 95 SAIC ACVC 2.1
|
-- 10 JUL 96 SAIC Incorporated reviewer's comments.
|
-- 10 JUL 96 SAIC Incorporated reviewer's comments.
|
--
|
--
|
--!
|
--!
|
|
|
with Calendar; use type Calendar.Time;
|
with Calendar; use type Calendar.Time;
|
with Report;
|
with Report;
|
with ImpDef;
|
with ImpDef;
|
procedure C954025 is
|
procedure C954025 is
|
Verbose : constant Boolean := False;
|
Verbose : constant Boolean := False;
|
Countdown_Amount : constant Duration := 2.0 * Impdef.One_Long_Second;
|
Countdown_Amount : constant Duration := 2.0 * Impdef.One_Long_Second;
|
Plenty_Of_Time : constant Duration :=
|
Plenty_Of_Time : constant Duration :=
|
Countdown_Amount + ImpDef.Clear_Ready_Queue + 1.0 * Impdef.One_Long_Second;
|
Countdown_Amount + ImpDef.Clear_Ready_Queue + 1.0 * Impdef.One_Long_Second;
|
Not_Enough_Time : constant Duration :=
|
Not_Enough_Time : constant Duration :=
|
Countdown_Amount - 0.5 * Impdef.One_Long_Second;
|
Countdown_Amount - 0.5 * Impdef.One_Long_Second;
|
begin
|
begin
|
Report.Test ("C954025",
|
Report.Test ("C954025",
|
"Check that if the original entry" &
|
"Check that if the original entry" &
|
" call was a conditional or timed entry call, the" &
|
" call was a conditional or timed entry call, the" &
|
" expiration time for a requeue with abort is the" &
|
" expiration time for a requeue with abort is the" &
|
" original expiration time");
|
" original expiration time");
|
declare
|
declare
|
-- note that the following object is a shared object and its use
|
-- note that the following object is a shared object and its use
|
-- governed by the rules of 9.10(3,4,8);6.0
|
-- governed by the rules of 9.10(3,4,8);6.0
|
Launch_Accepted : Boolean := False;
|
Launch_Accepted : Boolean := False;
|
|
|
task Launch_Control is
|
task Launch_Control is
|
entry Enable_Launch_Control;
|
entry Enable_Launch_Control;
|
entry Start_Countdown (How_Long : Duration);
|
entry Start_Countdown (How_Long : Duration);
|
-- Launch will be accepted if a call is waiting when the countdown
|
-- Launch will be accepted if a call is waiting when the countdown
|
-- reaches 0
|
-- reaches 0
|
entry Launch;
|
entry Launch;
|
end Launch_Control;
|
end Launch_Control;
|
|
|
task body Launch_Control is
|
task body Launch_Control is
|
Wait_Amount : Duration := 0.0;
|
Wait_Amount : Duration := 0.0;
|
begin
|
begin
|
loop
|
loop
|
select
|
select
|
accept Enable_Launch_Control do
|
accept Enable_Launch_Control do
|
Launch_Accepted := False;
|
Launch_Accepted := False;
|
end Enable_Launch_Control;
|
end Enable_Launch_Control;
|
or
|
or
|
terminate;
|
terminate;
|
end select;
|
end select;
|
|
|
accept Start_Countdown (How_Long : Duration) do
|
accept Start_Countdown (How_Long : Duration) do
|
Wait_Amount := How_Long;
|
Wait_Amount := How_Long;
|
end Start_Countdown;
|
end Start_Countdown;
|
|
|
delay Wait_Amount;
|
delay Wait_Amount;
|
|
|
select
|
select
|
accept Launch do
|
accept Launch do
|
Launch_Accepted := True;
|
Launch_Accepted := True;
|
end Launch;
|
end Launch;
|
else
|
else
|
null;
|
null;
|
-- note that Launch_Accepted is False here
|
-- note that Launch_Accepted is False here
|
end select;
|
end select;
|
end loop;
|
end loop;
|
end Launch_Control;
|
end Launch_Control;
|
|
|
task Mission_Control is
|
task Mission_Control is
|
-- launch will occur if we are given enough time to complete
|
-- launch will occur if we are given enough time to complete
|
-- a standard countdown. We will not be rushed!
|
-- a standard countdown. We will not be rushed!
|
entry Do_Launch;
|
entry Do_Launch;
|
end Mission_Control;
|
end Mission_Control;
|
|
|
task body Mission_Control is
|
task body Mission_Control is
|
begin
|
begin
|
loop
|
loop
|
select
|
select
|
accept Do_Launch do
|
accept Do_Launch do
|
Launch_Control.Start_Countdown (Countdown_Amount);
|
Launch_Control.Start_Countdown (Countdown_Amount);
|
requeue Launch_Control.Launch with abort;
|
requeue Launch_Control.Launch with abort;
|
end Do_Launch;
|
end Do_Launch;
|
or
|
or
|
terminate;
|
terminate;
|
end select;
|
end select;
|
end loop;
|
end loop;
|
end Mission_Control;
|
end Mission_Control;
|
|
|
begin -- test encapsulation
|
begin -- test encapsulation
|
-- unconditional entry call to check the simple case
|
-- unconditional entry call to check the simple case
|
Launch_Control.Enable_Launch_Control;
|
Launch_Control.Enable_Launch_Control;
|
Mission_Control.Do_Launch;
|
Mission_Control.Do_Launch;
|
if Launch_Accepted then
|
if Launch_Accepted then
|
if Verbose then
|
if Verbose then
|
Report.Comment ("simple case passed");
|
Report.Comment ("simple case passed");
|
end if;
|
end if;
|
else
|
else
|
Report.Failed ("simple case");
|
Report.Failed ("simple case");
|
end if;
|
end if;
|
|
|
|
|
-- timed but with plenty of time - delay relative
|
-- timed but with plenty of time - delay relative
|
Launch_Control.Enable_Launch_Control;
|
Launch_Control.Enable_Launch_Control;
|
select
|
select
|
Mission_Control.Do_Launch;
|
Mission_Control.Do_Launch;
|
or
|
or
|
delay Plenty_Of_Time;
|
delay Plenty_Of_Time;
|
if Launch_Accepted then
|
if Launch_Accepted then
|
Report.Failed ("plenty of time timed out after accept (1)");
|
Report.Failed ("plenty of time timed out after accept (1)");
|
end if;
|
end if;
|
end select;
|
end select;
|
if Launch_Accepted then
|
if Launch_Accepted then
|
if Verbose then
|
if Verbose then
|
Report.Comment ("plenty of time case passed (1)");
|
Report.Comment ("plenty of time case passed (1)");
|
end if;
|
end if;
|
else
|
else
|
Report.Failed ("plenty of time (1)");
|
Report.Failed ("plenty of time (1)");
|
end if;
|
end if;
|
|
|
|
|
-- timed but with plenty of time -- delay until
|
-- timed but with plenty of time -- delay until
|
Launch_Control.Enable_Launch_Control;
|
Launch_Control.Enable_Launch_Control;
|
select
|
select
|
Mission_Control.Do_Launch;
|
Mission_Control.Do_Launch;
|
or
|
or
|
delay until Calendar.Clock + Plenty_Of_Time;
|
delay until Calendar.Clock + Plenty_Of_Time;
|
if Launch_Accepted then
|
if Launch_Accepted then
|
Report.Failed ("plenty of time timed out after accept(2)");
|
Report.Failed ("plenty of time timed out after accept(2)");
|
end if;
|
end if;
|
end select;
|
end select;
|
if Launch_Accepted then
|
if Launch_Accepted then
|
if Verbose then
|
if Verbose then
|
Report.Comment ("plenty of time case passed (2)");
|
Report.Comment ("plenty of time case passed (2)");
|
end if;
|
end if;
|
else
|
else
|
Report.Failed ("plenty of time (2)");
|
Report.Failed ("plenty of time (2)");
|
end if;
|
end if;
|
|
|
|
|
-- timed without enough time - delay relative
|
-- timed without enough time - delay relative
|
Launch_Control.Enable_Launch_Control;
|
Launch_Control.Enable_Launch_Control;
|
select
|
select
|
Mission_Control.Do_Launch;
|
Mission_Control.Do_Launch;
|
Report.Failed ("not enough time completed accept (1)");
|
Report.Failed ("not enough time completed accept (1)");
|
or
|
or
|
delay Not_Enough_Time;
|
delay Not_Enough_Time;
|
end select;
|
end select;
|
if Launch_Accepted then
|
if Launch_Accepted then
|
Report.Failed ("not enough time (1)");
|
Report.Failed ("not enough time (1)");
|
else
|
else
|
if Verbose then
|
if Verbose then
|
Report.Comment ("not enough time case passed (1)");
|
Report.Comment ("not enough time case passed (1)");
|
end if;
|
end if;
|
end if;
|
end if;
|
|
|
|
|
-- timed without enough time - delay until
|
-- timed without enough time - delay until
|
Launch_Control.Enable_Launch_Control;
|
Launch_Control.Enable_Launch_Control;
|
select
|
select
|
Mission_Control.Do_Launch;
|
Mission_Control.Do_Launch;
|
Report.Failed ("not enough time completed accept (2)");
|
Report.Failed ("not enough time completed accept (2)");
|
or
|
or
|
delay until Calendar.Clock + Not_Enough_Time;
|
delay until Calendar.Clock + Not_Enough_Time;
|
end select;
|
end select;
|
if Launch_Accepted then
|
if Launch_Accepted then
|
Report.Failed ("not enough time (2)");
|
Report.Failed ("not enough time (2)");
|
else
|
else
|
if Verbose then
|
if Verbose then
|
Report.Comment ("not enough time case passed (2)");
|
Report.Comment ("not enough time case passed (2)");
|
end if;
|
end if;
|
end if;
|
end if;
|
|
|
|
|
-- conditional case
|
-- conditional case
|
Launch_Control.Enable_Launch_Control;
|
Launch_Control.Enable_Launch_Control;
|
-- make sure Mission_Control is ready to accept immediately
|
-- make sure Mission_Control is ready to accept immediately
|
delay ImpDef.Clear_Ready_Queue;
|
delay ImpDef.Clear_Ready_Queue;
|
select
|
select
|
Mission_Control.Do_Launch;
|
Mission_Control.Do_Launch;
|
Report.Failed ("no time completed accept");
|
Report.Failed ("no time completed accept");
|
else
|
else
|
if Verbose then
|
if Verbose then
|
Report.Comment ("conditional case - else taken");
|
Report.Comment ("conditional case - else taken");
|
end if;
|
end if;
|
end select;
|
end select;
|
if Launch_Accepted then
|
if Launch_Accepted then
|
Report.Failed ("no time");
|
Report.Failed ("no time");
|
else
|
else
|
if Verbose then
|
if Verbose then
|
Report.Comment ("no time case passed");
|
Report.Comment ("no time case passed");
|
end if;
|
end if;
|
end if;
|
end if;
|
|
|
end;
|
end;
|
|
|
Report.Result;
|
Report.Result;
|
end C954025;
|
end C954025;
|
|
|