3 -- Grant of Unlimited Rights
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
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.
25 -- CHECK THAT ALL CONDITIONS, OPEN DELAY ALTERNATIVE EXPRESSIONS, AND
26 -- OPEN ENTRY FAMILY INDICES ARE EVALUATED (EVEN WHEN SOME (PERHAPS
27 -- ALL BUT ONE) OF THE ALTERNATIVES CAN BE RULED OUT WITHOUT
28 -- COMPLETING THE EVALUATIONS).
32 -- WRG 7/9/86 ADDED DELAY EXPRESSIONS AND ENTRY FAMILY INDICES.
35 WITH REPORT
; USE REPORT
;
38 EXPR1_EVALUATED
: BOOLEAN := FALSE;
39 EXPR2_EVALUATED
: BOOLEAN := FALSE;
40 EXPR3_EVALUATED
: BOOLEAN := FALSE;
42 FUNCTION F1
RETURN BOOLEAN IS
44 EXPR1_EVALUATED
:= TRUE;
48 FUNCTION F2
(X
: INTEGER) RETURN INTEGER IS
50 EXPR2_EVALUATED
:= TRUE;
54 FUNCTION F3
(X
: DURATION) RETURN DURATION IS
56 EXPR3_EVALUATED
:= TRUE;
62 TEST
("C97113A", "CHECK THAT ALL CONDITIONS, OPEN DELAY " &
63 "ALTERNATIVE EXPRESSIONS, AND OPEN ENTRY " &
64 "FAMILY INDICES ARE EVALUATED");
76 --ENSURE THAT E1 HAS BEEN CALLED BEFORE PROCEEDING:
77 WHILE E1
'COUNT = 0 LOOP
78 DELAY 1.0 * Impdef
.One_Second
;
89 DELAY F3
( 1.0 ) * Impdef
.One_Second
;
99 IF NOT EXPR1_EVALUATED
THEN
100 FAILED
("GUARD NOT EVALUATED");
103 IF NOT EXPR2_EVALUATED
THEN
104 FAILED
("ENTRY FAMILY INDEX NOT EVALUATED");
107 IF NOT EXPR3_EVALUATED
THEN
108 FAILED
("OPEN DELAY ALTERNATIVE EXPRESSION NOT EVALUATED");