1-- C86006I.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-- OBJECTIVE:
26--     CHECK THAT THE IDENTIFIERS "BOOLEAN, TRUE, AND FALSE" AND THE
27--     IDENTIFIERS "INTEGER, NATURAL, AND POSITIVE" ARE DECLARED IN
28--     THE PACKAGE "STANDARD", ALONG WITH THE OPERATORS OF THE TYPE
29--     BOOLEAN AND THE TYPE INTEGER.
30
31-- HISTORY:
32--     DTN 04/15/92 CONSOLIDATION OF C86006A AND C86006B.
33
34WITH REPORT; USE REPORT;
35PROCEDURE C86006I IS
36
37     ABOOL, BBOOL : STANDARD.BOOLEAN := STANDARD.FALSE;
38     CBOOL : STANDARD.BOOLEAN := STANDARD.TRUE;
39     INT1 : STANDARD.INTEGER := -2;
40     NAT1 : STANDARD.NATURAL := 0;
41     POS1, POS2 : STANDARD.POSITIVE := 2;
42
43BEGIN
44
45     TEST("C86006I", "CHECK THAT THE IDENTIFIERS ""BOOLEAN, TRUE, AND " &
46                     "FALSE"" AND THE IDENTIFIERS ""INTEGER, NATURAL, " &
47                     "AND POSITIVE"" ARE DECLARED IN THE PACKAGE " &
48                     """STANDARD"", ALONG WITH THE OPERATORS OF THE " &
49                     "TYPE BOOLEAN AND THE TYPE INTEGER");
50
51     -- STANDARD.">" OPERATOR.
52
53     IF STANDARD.">"(ABOOL,BBOOL) THEN
54          FAILED("STANDARD.> FAILED FOR BOOLEAN TYPE");
55     END IF;
56
57     IF STANDARD.">"(INT1,NAT1) THEN
58          FAILED("STANDARD.> FAILED FOR INTEGER-NATURAL TYPE");
59     END IF;
60
61     -- STANDARD."/=" OPERATOR.
62
63     IF STANDARD."/="(ABOOL,BBOOL) THEN
64          FAILED("STANDARD./= FAILED FOR BOOLEAN TYPE");
65     END IF;
66
67     IF STANDARD."/="(POS1,POS2) THEN
68          FAILED("STANDARD./= FAILED FOR INTEGER-POSITIVE TYPE");
69     END IF;
70
71     -- STANDARD."AND" OPERATOR.
72
73     IF STANDARD."AND"(CBOOL,ABOOL) THEN
74          FAILED("STANDARD.AND FAILED");
75     END IF;
76
77     -- STANDARD."-" BINARY OPERATOR.
78
79     IF STANDARD."-"(INT1,POS1) /= IDENT_INT(-4) THEN
80          FAILED("STANDARD.- FAILED");
81     END IF;
82
83     -- STANDARD."-" UNARY OPERATOR.
84
85     IF STANDARD."-"(INT1) /= IDENT_INT(2) THEN
86          FAILED("STANDARD.UNARY - FAILED");
87     END IF;
88
89     -- STANDARD."REM" OPERATOR.
90
91     IF STANDARD."REM"(IDENT_INT(14),IDENT_INT(5)) /= IDENT_INT(4) THEN
92          FAILED("STANDARD.REM (++=+) FAILED");
93     END IF;
94
95     -- STANDARD."MOD" OPERATOR.
96
97     IF STANDARD."MOD"(IDENT_INT(14),IDENT_INT(-5)) /= IDENT_INT(-1) THEN
98          FAILED("STANDARD.MOD (+-=-) FAILED");
99     END IF;
100
101     RESULT;
102
103END C86006I;
104