CVS difference for acats/cd/cd2a32a.ada
--- acats/cd/cd2a32a.ada 1999/03/11 01:40:34 1.2
+++ acats/cd/cd2a32a.ada 2014/03/21 01:24:04 1.3
@@ -3,22 +3,22 @@
-- Grant of Unlimited Rights
--
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
--- d DCA100-97-D-0025, the U.S. Government obtained
+-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
-- unlimited rights in the software and documentation contained herein.
--- defined in DFAR 252.227-7013(a)(19). By making
--- the Government intends to confer upon all
--- rights equal to those held by the Government.
--- rights to use, duplicate, release or disclose the
--- ata and computer software in whole or in part, in
--- ny purpose whatsoever, and to have or permit others
+-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
+-- this public release, the Government intends to confer upon all
+-- recipients unlimited rights equal to those held by the Government.
+-- These rights include rights to use, duplicate, release or disclose the
+-- released technical data and computer software in whole or in part, in
+-- any manner and for any purpose whatsoever, and to have or permit others
-- to do so.
--
-- DISCLAIMER
--
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
--- THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
+-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
--- ION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
+-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
-- PARTICULAR PURPOSE OF SAID MATERIAL.
--*
@@ -35,6 +35,7 @@
-- CHECKS AND ADDED REPRESENTAION CLAUSE CHECK.
-- RJW 03/28/90 REMOVED ERRONEOUS REFERENCES TO LENGTH_CHECK.
-- JRL 03/27/92 ELIMINATED REDUNDANT TESTING.
+-- RLB 03/20/14 ELIMINATED ADA 2012 INCOMPATIBILITY.
WITH REPORT; USE REPORT;
WITH LENGTH_CHECK; -- CONTAINS A CALL TO 'FAILED'.
@@ -47,8 +48,9 @@
FOR INT'SIZE USE BASIC_SIZE;
I1 : INT := -63;
- I2 : INT := 0;
+ I2 : INT := 0;
I3 : INT := 63;
+ I4 : INT := 29;
TYPE ARRAY_TYPE IS ARRAY (INTEGER RANGE -1 .. 1) OF INT;
PRAGMA PACK (ARRAY_TYPE);
@@ -56,7 +58,7 @@
TYPE REC_TYPE IS RECORD
COMPN : INT := -63;
- COMPZ : INT := 0;
+ COMPZ : INT := 0;
COMPP : INT := 63;
END RECORD;
PRAGMA PACK (REC_TYPE);
@@ -99,9 +101,9 @@
"OPERATORS - 1");
END IF;
- IF INT'VAL (-63) /= IDENT (PIN) OR
+ IF INT'VAL (-63) /= IDENT (PIN) OR
INT'VAL (0) /= IDENT (PIOZ) OR
- INT'VAL (63) /= IDENT (PIOP) THEN
+ INT'VAL (63) /= IDENT (PIOP) THEN
FAILED ("INCORRECT VALUE FOR INT'VAL - 1");
END IF;
@@ -110,13 +112,13 @@
FAILED ("INCORRECT VALUE FOR INT'PRED - 1");
END IF;
- IF INT'VALUE ("-63") /= IDENT (PIN) OR
+ IF INT'VALUE ("-63") /= IDENT (PIN) OR
INT'VALUE ("0") /= IDENT (PIOZ) OR
- INT'VALUE ("63") /= IDENT (PIOP) THEN
+ INT'VALUE ("63") /= IDENT (PIOP) THEN
FAILED ("INCORRECT VALUE FOR INT'VALUE - 1");
END IF;
- POP := 63;
+ POP := 29;
END PROC;
@@ -129,7 +131,7 @@
CHECK_1 (I1, 7, "INT");
- PROC (-63, 63, I2, I3, I3);
+ PROC (-63, 63, I2, I3, I4);
IF INT'SIZE /= IDENT_INT (BASIC_SIZE) THEN
FAILED ("INCORRECT VALUE FOR INT'SIZE");
@@ -140,9 +142,9 @@
END IF;
IF NOT ((I1 < IDENT (0)) AND
- (IDENT (I3) > IDENT (I2)) AND
+ (IDENT (I4) > IDENT (I2)) AND
(I2 <= IDENT (0)) AND
- (IDENT (63) = I3)) THEN
+ (IDENT (63) = I3)) THEN
FAILED ("INCORRECT RESULTS FOR RELATIONAL OPERATORS - 2");
END IF;
@@ -161,9 +163,10 @@
FAILED ("INCORRECT VALUE FOR INT'FIRST - 2");
END IF;
- IF INT'POS (I1) /= IDENT_INT (-63) OR
+ IF INT'POS (I1) /= IDENT_INT (-63) OR
INT'POS (I2) /= IDENT_INT ( 0) OR
- INT'POS (I3) /= IDENT_INT ( 63) THEN
+ INT'POS (I3) /= IDENT_INT ( 63) OR
+ INT'POS (I4) /= IDENT_INT ( 29) THEN
FAILED ("INCORRECT VALUE FOR INT'POS - 2");
END IF;
@@ -172,8 +175,8 @@
FAILED ("INCORRECT VALUE FOR INT'SUCC - 2");
END IF;
- IF INT'IMAGE (I1) /= IDENT_STR ("-63") OR
- INT'IMAGE (I2) /= IDENT_STR (" 0") OR
+ IF INT'IMAGE (I1) /= IDENT_STR ("-63") OR
+ INT'IMAGE (I2) /= IDENT_STR (" 0") OR
INT'IMAGE (I3) /= IDENT_STR (" 63") THEN
FAILED ("INCORRECT VALUE FOR INT'IMAGE - 2");
END IF;
@@ -182,9 +185,9 @@
FAILED ("INCORRECT VALUE FOR INTARRAY(0)'SIZE");
END IF;
- IF NOT ((INTARRAY(-1) < IDENT (0)) AND
- (IDENT (INTARRAY (1)) > IDENT (INTARRAY(0))) AND
- (INTARRAY(0) <= IDENT (0)) AND
+ IF NOT ((INTARRAY(-1) < IDENT (0)) AND
+ (IDENT (INTARRAY (1)) > IDENT (INTARRAY(0))) AND
+ (INTARRAY(0) <= IDENT (0)) AND
(IDENT (63) = INTARRAY (1))) THEN
FAILED ("INCORRECT RESULTS FOR RELATIONAL OPERATORS - 3");
END IF;
@@ -204,9 +207,9 @@
"OPERATORS - 3");
END IF;
- IF INT'VAL (-63) /= IDENT (INTARRAY (-1)) OR
+ IF INT'VAL (-63) /= IDENT (INTARRAY (-1)) OR
INT'VAL ( 0) /= IDENT (INTARRAY ( 0)) OR
- INT'VAL ( 63) /= IDENT (INTARRAY ( 1)) THEN
+ INT'VAL ( 63) /= IDENT (INTARRAY ( 1)) THEN
FAILED ("INCORRECT VALUE FOR INT'VAL - 3");
END IF;
@@ -215,9 +218,9 @@
FAILED ("INCORRECT VALUE FOR INT'PRED - 3");
END IF;
- IF INT'VALUE ("-63") /= IDENT (INTARRAY (-1)) OR
+ IF INT'VALUE ("-63") /= IDENT (INTARRAY (-1)) OR
INT'VALUE ("0") /= IDENT (INTARRAY ( 0)) OR
- INT'VALUE ("63") /= IDENT (INTARRAY ( 1)) THEN
+ INT'VALUE ("63") /= IDENT (INTARRAY ( 1)) THEN
FAILED ("INCORRECT VALUE FOR INT'VALUE - 3");
END IF;
@@ -228,7 +231,7 @@
IF NOT ((IREC.COMPN < IDENT (0)) AND
(IDENT (IREC.COMPP) > IDENT (IREC.COMPZ)) AND
(IREC.COMPZ <= IDENT (0)) AND
- (IDENT (63) = IREC.COMPP)) THEN
+ (IDENT (63) = IREC.COMPP)) THEN
FAILED ("INCORRECT RESULTS FOR RELATIONAL OPERATORS - 4");
END IF;
@@ -251,9 +254,9 @@
"OPERATORS - 4");
END IF;
- IF INT'POS (IREC.COMPN) /= IDENT_INT (-63) OR
+ IF INT'POS (IREC.COMPN) /= IDENT_INT (-63) OR
INT'POS (IREC.COMPZ) /= IDENT_INT ( 0) OR
- INT'POS (IREC.COMPP) /= IDENT_INT ( 63) THEN
+ INT'POS (IREC.COMPP) /= IDENT_INT ( 63) THEN
FAILED ("INCORRECT VALUE FOR INT'POS - 4");
END IF;
@@ -262,8 +265,8 @@
FAILED ("INCORRECT VALUE FOR INT'SUCC - 4");
END IF;
- IF INT'IMAGE (IREC.COMPN) /= IDENT_STR ("-63") OR
- INT'IMAGE (IREC.COMPZ) /= IDENT_STR (" 0") OR
+ IF INT'IMAGE (IREC.COMPN) /= IDENT_STR ("-63") OR
+ INT'IMAGE (IREC.COMPZ) /= IDENT_STR (" 0") OR
INT'IMAGE (IREC.COMPP) /= IDENT_STR (" 63") THEN
FAILED ("INCORRECT VALUE FOR INT'IMAGE - 4");
END IF;
Questions? Ask the ACAA Technical Agent