1-- C95033A.ADA 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-- CHECK THAT - IN THE CASE OF AN ENTRY FAMILY - EXECUTION OF AN 26-- ACCEPT STATEMENT STARTS WITH THE EVALUATION OF AN ENTRY INDEX. 27 28-- WEI 3/ 4/82 29-- JWC 6/28/85 RENAMED FROM C950BGA-B.ADA 30 31WITH REPORT; 32 USE REPORT; 33PROCEDURE C95033A IS 34 35 SUBTYPE ARG IS NATURAL RANGE 0..9; 36 SPYNUMB : NATURAL := 0; 37 38 PROCEDURE PSPY_NUMB (DIGT: IN ARG) IS 39 BEGIN 40 SPYNUMB := 10*SPYNUMB+DIGT; 41 END PSPY_NUMB; 42 43 FUNCTION FINIT_POS (DIGT: IN ARG) RETURN NATURAL IS 44 BEGIN 45 SPYNUMB := 10*SPYNUMB+DIGT; 46 RETURN DIGT; 47 END FINIT_POS; 48 49 TASK T1 IS 50 ENTRY E1 (NATURAL RANGE 1 .. 2); 51 ENTRY BYE; 52 END T1; 53 54 TASK BODY T1 IS 55 BEGIN 56 ACCEPT E1 (FINIT_POS (1)) DO 57 PSPY_NUMB (2); 58 END E1; 59 ACCEPT BYE; 60 END T1; 61 62BEGIN 63 TEST ("C95033A", "EVALUATION OF ENTRY INDEX"); 64 65 T1.E1 (1); 66 T1.BYE; 67 IF SPYNUMB /= 12 THEN 68 FAILED ("ENTRY INDEX NOT EVALUATED FIRST"); 69 COMMENT ("ACTUAL ORDER WAS:" & INTEGER'IMAGE(SPYNUMB)); 70 END IF; 71 72 RESULT; 73 74END C95033A; 75