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 WHEN A FUNCTION IS READY TO RETURN CONTROL TO ITS INVOKER
26 -- THE CONSTRAINTS ON THE RETURN VALUES ARE CHECKED, AND THAT
27 -- CONSTRAINT ERROR IS THEN RAISED IF AND ONLY IF THE CONSTRAINTS
30 -- THIS TEST CHECKS THAT THE EXCEPTION IS RAISED UNDER THE APPROPRIATE
31 -- CONDITIONS; IT ALSO CHECKS THE IDENTITY OF THE EXCEPTION. THE
32 -- PRECISE MOMENT AND PLACE THE EXCEPTION IS RAISED IS TESTED
48 TEST
( "C58005A" , "CHECK THAT EXCEPTIONS ARE RAISED BY A RETURN" &
49 " STATEMENT IF AND ONLY IF THE CONSTRAINTS ARE" &
54 SUBTYPE I1
IS INTEGER RANGE -10..90;
55 SUBTYPE I2
IS INTEGER RANGE 1..10;
56 FUNCTION FN1
( X
: I1
)
62 FUNCTION FN2
( X
: I1
)
65 RETURN X
+ IDENT_INT
(0) ;
68 FUNCTION FN3
( X
: I1
)
70 HUNDRED
: INTEGER RANGE -100..100 := IDENT_INT
(100) ;
80 INTVAR
:= FN1
( 0 ) + INTVAR
; -- EXCEPTION.
81 FAILED
( "EXCEPTION NOT RAISED - 1" );
83 WHEN CONSTRAINT_ERROR
=> INTVAR
:= INTVAR
+ 10 ;
84 WHEN OTHERS => FAILED
( "WRONG EXCEPTION RAISED - 1" ) ;
88 INTVAR
:= FN2
( 1 ) + INTVAR
; -- 10+1=11 -- NO EXCEPTION.
89 INTVAR
:= INTVAR
+ 100 ; -- 11+100=111
91 WHEN OTHERS => FAILED
( "EXCEPTION RAISED - 2" ) ;
95 INTVAR
:= FN2
(11 ) + INTVAR
; -- EXCEPTION.
96 FAILED
( "EXCEPTION NOT RAISED - 3" );
98 WHEN CONSTRAINT_ERROR
=> INTVAR
:= INTVAR
+ 10 ; -- 121
99 WHEN OTHERS => FAILED
( "WRONG EXCEPTION RAISED - 3" ) ;
103 INTVAR
:= FN3
( 0 ) + INTVAR
;--121+10=131 --NO EXCEPTION.
104 INTVAR
:= INTVAR
+ 1000 ;-- 131+1000=1131
106 WHEN OTHERS => FAILED
( "EXCEPTION RAISED - 4" ) ;
113 IF INTVAR
/= 1131 THEN
114 FAILED
("WRONG FLOW OF CONTROL" );