URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c9/] [c974014.a] - Rev 294
Go to most recent revision | Compare with Previous | Blame | View Log
-- C974014.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 if the triggering alternative of an asynchronous select
-- statement is a delay and the abortable part completes before the delay
-- expires then the delay is cancelled and the optional statements in the
-- triggering part are not performed. In particular, check the case of
-- the ATC in non-tasking code.
--
-- TEST DESCRIPTION:
-- A fraction of in-line code is simulated. An asynchronous select
-- is used with a triggering delay of several minutes. The abortable
-- part, which is simulating a very lengthy, time consuming procedure
-- actually returns almost immediately thus ensuring that it completes
-- first. At the conclusion, if a substantial amount of time has passed
-- the delay is assumed not to have been cancelled.
-- (based on example in LRM 9.7.4)
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
--
--!
with Report;
with Ada.Calendar;
procedure C974014 is
function "-" (Left, Right : Ada.Calendar.Time)
return Duration renames Ada.Calendar."-";
TC_Start_Time : Ada.Calendar.Time := Ada.Calendar.Clock;
TC_Elapsed_Time : duration;
Maximum_Allowable_Time : duration := 300.0; -- for Calculate_Gamma_Function
begin
Report.Test ("C974014", "ATC: When abortable part completes before " &
"a triggering delay, check that the delay " &
"is cancelled & optional statements " &
"are not performed");
declare -- encapsulate test code
type Gamma_Index is digits 5; -- float precision
-- (These two fields are assumed filled elsewhere)
Input_Field, Result_of_Beta : Gamma_Index;
-- Notify and take corrective action in the event that
-- the procedure Calculate_Gamma_Function does not converge.
--
procedure Non_Convergent is
begin
null; -- stub
Report.Failed ("Optional statements in triggering part" &
" were performed");
end Non_Convergent;
-- This is a very time consuming calculation. It is possible,
-- that, with certain parameters, it will not converge. If it
-- runs for more than Maximum_Allowable_Time it is considered
-- not to be convergent and should be aborted.
--
Procedure Calculate_Gamma_Function (X, Y : Gamma_Index) is
begin
null; -- Stub
--
end Calculate_Gamma_Function;
begin -- declare
-- ..... Isolated segment of inline code
-- Now Print Gamma Function (abort and display if not convergent)
--
select
delay Maximum_Allowable_Time; -- for Calculate_Gamma_Function
Non_Convergent; -- Display error and flag result as failed
then abort
Calculate_Gamma_Function (Input_Field, Result_of_Beta);
end select;
-- ..... End of Isolated segment of inline code
end; -- declare
TC_Elapsed_Time := Ada.Calendar.Clock - TC_Start_Time;
-- Note: We are not checking for "cancellation within a reasonable time",
-- we are checking for cancellation/non-cancellation of the delay. We
-- use a number which, if exceeded, means that the delay was not
-- cancelled and has proceeded to full term.
--
if ( TC_Elapsed_Time > Maximum_Allowable_Time/2 ) then
-- Test time exceeds a reasonable value.
Report.Failed ("Triggering delay statement was not cancelled");
end if;
Report.Result;
end C974014;
Go to most recent revision | Compare with Previous | Blame | View Log