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.
26 -- CHECK THAT UNCHECKED_CONVERSION CAN BE INSTANTIATED FOR THE
27 -- CONVERSION OF AN ENUMERATION TYPE WITH A REPRESENTATION CLAUSE TO
31 -- JET 09/23/88 CREATED ORIGINAL TEST.
32 -- DHH 05/17/89 CHANGED FROM '.DEP' TEST TO '.ADA' TEST.
33 -- RJW 02/28/90 ADDED SIZE CLAUSE FOR TYPE STOOGE.
34 -- LDC 09/20/90 ADDED CHECK FOR CONVERSION FROM INT TO STOOGE,
35 -- ADDED COMMENT WHEN SIZES AREN'T EQUAL.
37 WITH REPORT
; USE REPORT
;
38 WITH UNCHECKED_CONVERSION
;
41 TYPE STOOGE
IS (CURLY
, MOE
, LARRY
);
42 FOR STOOGE
USE (CURLY
=> -5, MOE
=> 13, LARRY
=> 127);
43 FOR STOOGE
'SIZE USE 8;
45 TYPE INT
IS RANGE -128 .. 127;
49 NAME
: STOOGE
:= CURLY
;
51 FUNCTION E_TO_I
IS NEW UNCHECKED_CONVERSION
(STOOGE
, INT
);
52 FUNCTION I_TO_E
IS NEW UNCHECKED_CONVERSION
(INT
, STOOGE
);
54 FUNCTION ID
(E
: STOOGE
) RETURN STOOGE
IS
56 RETURN STOOGE
'VAL(STOOGE
'POS(E
) + IDENT_INT
(0));
59 FUNCTION ID_INT
(X
: INT
) RETURN INT
IS
60 A
: INTEGER := IDENT_INT
(3);
62 IF EQUAL
(A
, IDENT_INT
(3)) THEN -- ALWAYS EQUAL.
63 RETURN X
; -- ALWAYS EXECUTED.
65 RETURN 0; -- NEVER EXECUTED.
69 TEST
("CDA201E", "CHECK THAT UNCHECKED_CONVERSION CAN BE " &
70 "INSTANTIATED FOR THE CONVERSION OF AN " &
71 "ENUMERATION TYPE WITH A REPRESENTATION " &
74 IF I
'SIZE /= NAME
'SIZE THEN
75 COMMENT
( "UNCHECKED_CONVERSION MIGHT BE INSTANTIATED WITH " &
80 I
:= E_TO_I
(ID
(CURLY
));
82 FAILED
("INCORRECT VALUE OF CURLY: " & INT
'IMAGE(I
));
87 FAILED
("INCORRECT VALUE OF MOE: " & INT
'IMAGE(I
));
90 I
:= E_TO_I
(ID
(LARRY
));
92 FAILED
("INCORRECT VALUE OF LARRY: " & INT
'IMAGE(I
));
96 FAILED
("UNEXPECTED EXCEPTION RAISED BY CONVERSION");
100 NAME
:= I_TO_E
(ID_INT
(-5));
101 IF NAME
/= CURLY
THEN
102 FAILED
("INCORRECT VALUE OF -5 : " & STOOGE
'IMAGE(NAME
));
105 NAME
:= I_TO_E
(ID_INT
(13));
107 FAILED
("INCORRECT VALUE OF 13: " & STOOGE
'IMAGE(NAME
));
110 NAME
:= I_TO_E
(ID_INT
(127));
111 IF NAME
/= LARRY
THEN
112 FAILED
("INCORRECT VALUE OF 127: " & STOOGE
'IMAGE(NAME
));
116 FAILED
("UNEXPECTED EXCEPTION RAISED BY CONVERSION - 2");