1-- LA140101.A 2-- 3-- Grant of Unlimited Rights 4-- 5-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, 6-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 7-- unlimited rights in the software and documentation contained herein. 8-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making 9-- this public release, the Government intends to confer upon all 10-- recipients unlimited rights equal to those held by the Government. 11-- These rights include rights to use, duplicate, release or disclose the 12-- released technical data and computer software in whole or in part, in 13-- any manner and for any purpose whatsoever, and to have or permit others 14-- to do so. 15-- 16-- DISCLAIMER 17-- 18-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR 19-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 20-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE 21-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 22-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A 23-- PARTICULAR PURPOSE OF SAID MATERIAL. 24--* 25-- 26-- OBJECTIVE: 27-- See LA140102.AM. 28-- 29-- TEST DESCRIPTION: 30-- See LA140102.AM. 31-- 32-- SPECIAL REQUIREMENTS: 33-- See LA140102.AM. 34-- 35-- TEST FILES: 36-- This test consists of the following files: 37-- LA140100.A 38-- -> LA140101.A 39-- LA140102.AM 40-- LA140103.A 41-- 42-- PASS/FAIL CRITERIA: 43-- See LA140102.AM. 44-- 45-- CHANGE HISTORY: 46-- 01 MAY 95 ACVC 1.12 LA5008O baseline version 47-- 29 JUN 95 SAIC Initial version 48-- 29 FEB 96 SAIC First revision after review 49-- 17 NOV 96 SAIC Modified prologue to conform to coding 50-- conventions. Changed task to task type. 51-- 52--! 53 54generic 55 type scalar is range <>; 56package LA14010_1 is 57 procedure inc (param : in out scalar); 58end LA14010_1; 59 60with LA14010_0; 61use LA14010_0; 62 63package body LA14010_1 is 64 procedure inc (param : in out scalar) is 65 begin 66 for i in 1..delta_v loop 67 param := param + 1; 68 end loop; 69 end inc; 70 71 task type inc_task is 72 entry increment (param : in out scalar); 73 end inc_task; 74 75 task body inc_task is separate; 76end LA14010_1; 77 78 79separate (LA14010_1) 80 81task body inc_task is 82 static_zero : integer := 0; 83begin 84 accept increment (param : in out scalar) do 85 static_zero := LA14010_0.delta_v + static_zero; 86 static_zero := static_zero - LA14010_0.delta_v; 87 inc (param); 88 end increment; 89end inc_task; 90