-- C45265A.ADA
|
-- C45265A.ADA
|
|
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- F08630-91-C-0015, and 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.
|
-- unlimited rights in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. 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
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
-- CHECK THAT MEMBERSHIP TESTS YIELD THE CORRECT RESULTS FOR ONE
|
-- CHECK THAT MEMBERSHIP TESTS YIELD THE CORRECT RESULTS FOR ONE
|
-- DIMENSIONAL AND MULTI-DIMENSIONAL ARRAY TYPES WHEN:
|
-- DIMENSIONAL AND MULTI-DIMENSIONAL ARRAY TYPES WHEN:
|
-- A) THE SUBTYPE INDICATION DENOTES AN UNCONSTRAINED ARRAY.
|
-- A) THE SUBTYPE INDICATION DENOTES AN UNCONSTRAINED ARRAY.
|
-- B) THE SUBTYPE INDICATION DENOTES A CONSTRAINED ARRAY.
|
-- B) THE SUBTYPE INDICATION DENOTES A CONSTRAINED ARRAY.
|
|
|
-- TBN 7/22/86
|
-- TBN 7/22/86
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
PROCEDURE C45265A IS
|
PROCEDURE C45265A IS
|
|
|
PACKAGE P IS
|
PACKAGE P IS
|
TYPE KEY IS LIMITED PRIVATE;
|
TYPE KEY IS LIMITED PRIVATE;
|
PRIVATE
|
PRIVATE
|
TYPE KEY IS NEW NATURAL;
|
TYPE KEY IS NEW NATURAL;
|
END P;
|
END P;
|
|
|
SUBTYPE INT IS INTEGER RANGE 1 .. 20;
|
SUBTYPE INT IS INTEGER RANGE 1 .. 20;
|
TYPE ARRAY_TYPE_1 IS ARRAY (INT RANGE <>) OF INTEGER;
|
TYPE ARRAY_TYPE_1 IS ARRAY (INT RANGE <>) OF INTEGER;
|
TYPE ARRAY_TYPE_2 IS ARRAY (INT RANGE <>, INT RANGE <>) OF INTEGER;
|
TYPE ARRAY_TYPE_2 IS ARRAY (INT RANGE <>, INT RANGE <>) OF INTEGER;
|
TYPE ARRAY_TYPE_3 IS ARRAY (INT RANGE <>, INT RANGE <>,
|
TYPE ARRAY_TYPE_3 IS ARRAY (INT RANGE <>, INT RANGE <>,
|
INT RANGE <>) OF INTEGER;
|
INT RANGE <>) OF INTEGER;
|
TYPE ARRAY_TYPE_4 IS ARRAY (INT RANGE <>) OF P.KEY;
|
TYPE ARRAY_TYPE_4 IS ARRAY (INT RANGE <>) OF P.KEY;
|
TYPE ARRAY_TYPE_5 IS ARRAY (INT RANGE <>, INT RANGE <>) OF P.KEY;
|
TYPE ARRAY_TYPE_5 IS ARRAY (INT RANGE <>, INT RANGE <>) OF P.KEY;
|
|
|
SUBTYPE ARRAY_SUB1 IS ARRAY_TYPE_1;
|
SUBTYPE ARRAY_SUB1 IS ARRAY_TYPE_1;
|
SUBTYPE ARRAY_SUB2 IS ARRAY_TYPE_2;
|
SUBTYPE ARRAY_SUB2 IS ARRAY_TYPE_2;
|
SUBTYPE ARRAY_SUB3 IS ARRAY_TYPE_3;
|
SUBTYPE ARRAY_SUB3 IS ARRAY_TYPE_3;
|
SUBTYPE ARRAY_SUB4 IS ARRAY_TYPE_4;
|
SUBTYPE ARRAY_SUB4 IS ARRAY_TYPE_4;
|
SUBTYPE ARRAY_SUB5 IS ARRAY_TYPE_5;
|
SUBTYPE ARRAY_SUB5 IS ARRAY_TYPE_5;
|
SUBTYPE CON_ARRAY1 IS ARRAY_TYPE_1 (1..5);
|
SUBTYPE CON_ARRAY1 IS ARRAY_TYPE_1 (1..5);
|
SUBTYPE CON_ARRAY2 IS ARRAY_TYPE_2 (1..2, 1..2);
|
SUBTYPE CON_ARRAY2 IS ARRAY_TYPE_2 (1..2, 1..2);
|
SUBTYPE CON_ARRAY3 IS ARRAY_TYPE_3 (1..2, 1..3, 1..4);
|
SUBTYPE CON_ARRAY3 IS ARRAY_TYPE_3 (1..2, 1..3, 1..4);
|
SUBTYPE CON_ARRAY4 IS ARRAY_TYPE_4 (1..4);
|
SUBTYPE CON_ARRAY4 IS ARRAY_TYPE_4 (1..4);
|
SUBTYPE CON_ARRAY5 IS ARRAY_TYPE_5 (1..2, 1..3);
|
SUBTYPE CON_ARRAY5 IS ARRAY_TYPE_5 (1..2, 1..3);
|
SUBTYPE NULL_ARRAY1 IS ARRAY_TYPE_1 (2 .. 1);
|
SUBTYPE NULL_ARRAY1 IS ARRAY_TYPE_1 (2 .. 1);
|
|
|
ARRAY1 : ARRAY_TYPE_1 (1..10);
|
ARRAY1 : ARRAY_TYPE_1 (1..10);
|
ARRAY2 : ARRAY_SUB1 (11..20);
|
ARRAY2 : ARRAY_SUB1 (11..20);
|
ARRAY3 : ARRAY_TYPE_2 (1..4, 1..3);
|
ARRAY3 : ARRAY_TYPE_2 (1..4, 1..3);
|
ARRAY4 : ARRAY_SUB2 (5..7, 5..8);
|
ARRAY4 : ARRAY_SUB2 (5..7, 5..8);
|
ARRAY5 : ARRAY_TYPE_3 (1..2, 1..3, 1..4);
|
ARRAY5 : ARRAY_TYPE_3 (1..2, 1..3, 1..4);
|
ARRAY6 : ARRAY_SUB3 (1..3, 1..2, 1..4);
|
ARRAY6 : ARRAY_SUB3 (1..3, 1..2, 1..4);
|
NULL_ARRAY_1 : ARRAY_TYPE_1 (3..2);
|
NULL_ARRAY_1 : ARRAY_TYPE_1 (3..2);
|
NULL_ARRAY_2 : ARRAY_SUB1 (2..1);
|
NULL_ARRAY_2 : ARRAY_SUB1 (2..1);
|
ARRAY7 : ARRAY_TYPE_1 (1..10) := (1..10 => 7);
|
ARRAY7 : ARRAY_TYPE_1 (1..10) := (1..10 => 7);
|
ARRAY8 : CON_ARRAY1 := (1..5 => 8);
|
ARRAY8 : CON_ARRAY1 := (1..5 => 8);
|
ARRAY9 : ARRAY_TYPE_2 (1..10, 1..10) := (1..10 => (1..10 => 9));
|
ARRAY9 : ARRAY_TYPE_2 (1..10, 1..10) := (1..10 => (1..10 => 9));
|
ARRAY10 : CON_ARRAY2 := (1..2 => (1..2 => 10));
|
ARRAY10 : CON_ARRAY2 := (1..2 => (1..2 => 10));
|
ARRAY11 : ARRAY_TYPE_3 (1..10, 1..10, 1..10) := (1..10 =>
|
ARRAY11 : ARRAY_TYPE_3 (1..10, 1..10, 1..10) := (1..10 =>
|
(1..10 => (1..10 => 11)));
|
(1..10 => (1..10 => 11)));
|
ARRAY12 : CON_ARRAY3 := (1..2 => (1..3 => (1..4 => 12)));
|
ARRAY12 : CON_ARRAY3 := (1..2 => (1..3 => (1..4 => 12)));
|
ARRAY13 : ARRAY_TYPE_4 (1..2);
|
ARRAY13 : ARRAY_TYPE_4 (1..2);
|
ARRAY14 : ARRAY_SUB4 (1..5);
|
ARRAY14 : ARRAY_SUB4 (1..5);
|
ARRAY15 : ARRAY_TYPE_4 (1..6);
|
ARRAY15 : ARRAY_TYPE_4 (1..6);
|
ARRAY16 : CON_ARRAY4;
|
ARRAY16 : CON_ARRAY4;
|
ARRAY17 : ARRAY_TYPE_5 (1..3, 1..2);
|
ARRAY17 : ARRAY_TYPE_5 (1..3, 1..2);
|
ARRAY18 : ARRAY_SUB5 (1..2, 1..3);
|
ARRAY18 : ARRAY_SUB5 (1..2, 1..3);
|
ARRAY19 : ARRAY_TYPE_5 (1..4, 1..3);
|
ARRAY19 : ARRAY_TYPE_5 (1..4, 1..3);
|
ARRAY20 : CON_ARRAY5;
|
ARRAY20 : CON_ARRAY5;
|
|
|
BEGIN
|
BEGIN
|
TEST ("C45265A", "CHECK THAT MEMBERSHIP TESTS YIELD THE CORRECT " &
|
TEST ("C45265A", "CHECK THAT MEMBERSHIP TESTS YIELD THE CORRECT " &
|
"RESULTS FOR ONE DIMENSIONAL AND MULTI-" &
|
"RESULTS FOR ONE DIMENSIONAL AND MULTI-" &
|
"DIMENSIONAL ARRAY TYPES");
|
"DIMENSIONAL ARRAY TYPES");
|
|
|
ARRAY1 := (ARRAY1'RANGE => 1);
|
ARRAY1 := (ARRAY1'RANGE => 1);
|
ARRAY2 := (ARRAY2'RANGE => 2);
|
ARRAY2 := (ARRAY2'RANGE => 2);
|
ARRAY3 := (ARRAY3'RANGE(1) => (ARRAY3'RANGE(2) => 3));
|
ARRAY3 := (ARRAY3'RANGE(1) => (ARRAY3'RANGE(2) => 3));
|
ARRAY4 := (ARRAY4'RANGE(1) => (ARRAY4'RANGE(2) => 4));
|
ARRAY4 := (ARRAY4'RANGE(1) => (ARRAY4'RANGE(2) => 4));
|
ARRAY5 := (ARRAY5'RANGE(1) => (ARRAY5'RANGE(2) =>
|
ARRAY5 := (ARRAY5'RANGE(1) => (ARRAY5'RANGE(2) =>
|
(ARRAY5'RANGE(3) => 5)));
|
(ARRAY5'RANGE(3) => 5)));
|
ARRAY6 := (ARRAY6'RANGE(1) => (ARRAY6'RANGE(2) =>
|
ARRAY6 := (ARRAY6'RANGE(1) => (ARRAY6'RANGE(2) =>
|
(ARRAY6'RANGE(3) => 6)));
|
(ARRAY6'RANGE(3) => 6)));
|
|
|
IF ARRAY1 IN ARRAY_SUB1 THEN
|
IF ARRAY1 IN ARRAY_SUB1 THEN
|
NULL;
|
NULL;
|
ELSE
|
ELSE
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 1");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 1");
|
END IF;
|
END IF;
|
IF ARRAY2 NOT IN ARRAY_SUB1 THEN
|
IF ARRAY2 NOT IN ARRAY_SUB1 THEN
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 2");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 2");
|
END IF;
|
END IF;
|
|
|
IF ARRAY3 IN ARRAY_SUB2 THEN
|
IF ARRAY3 IN ARRAY_SUB2 THEN
|
NULL;
|
NULL;
|
ELSE
|
ELSE
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 3");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 3");
|
END IF;
|
END IF;
|
IF ARRAY4 NOT IN ARRAY_SUB2 THEN
|
IF ARRAY4 NOT IN ARRAY_SUB2 THEN
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 4");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 4");
|
END IF;
|
END IF;
|
|
|
IF ARRAY5 IN ARRAY_SUB3 THEN
|
IF ARRAY5 IN ARRAY_SUB3 THEN
|
NULL;
|
NULL;
|
ELSE
|
ELSE
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 5");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 5");
|
END IF;
|
END IF;
|
IF ARRAY6 NOT IN ARRAY_SUB3 THEN
|
IF ARRAY6 NOT IN ARRAY_SUB3 THEN
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 6");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 6");
|
END IF;
|
END IF;
|
|
|
IF NULL_ARRAY_1 IN ARRAY_SUB1 THEN
|
IF NULL_ARRAY_1 IN ARRAY_SUB1 THEN
|
NULL;
|
NULL;
|
ELSE
|
ELSE
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 7");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 7");
|
END IF;
|
END IF;
|
IF NULL_ARRAY_2 NOT IN ARRAY_SUB1 THEN
|
IF NULL_ARRAY_2 NOT IN ARRAY_SUB1 THEN
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 8");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 8");
|
END IF;
|
END IF;
|
|
|
IF ARRAY7 IN CON_ARRAY1 THEN
|
IF ARRAY7 IN CON_ARRAY1 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 9");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 9");
|
END IF;
|
END IF;
|
IF ARRAY8 NOT IN CON_ARRAY1 THEN
|
IF ARRAY8 NOT IN CON_ARRAY1 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 10");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 10");
|
END IF;
|
END IF;
|
|
|
IF ARRAY9 IN CON_ARRAY2 THEN
|
IF ARRAY9 IN CON_ARRAY2 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 11");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 11");
|
END IF;
|
END IF;
|
IF ARRAY10 NOT IN CON_ARRAY2 THEN
|
IF ARRAY10 NOT IN CON_ARRAY2 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 12");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 12");
|
END IF;
|
END IF;
|
|
|
IF ARRAY11 IN CON_ARRAY3 THEN
|
IF ARRAY11 IN CON_ARRAY3 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 13");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 13");
|
END IF;
|
END IF;
|
IF ARRAY12 NOT IN CON_ARRAY3 THEN
|
IF ARRAY12 NOT IN CON_ARRAY3 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 14");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 14");
|
END IF;
|
END IF;
|
|
|
IF ARRAY13 IN ARRAY_SUB4 THEN
|
IF ARRAY13 IN ARRAY_SUB4 THEN
|
NULL;
|
NULL;
|
ELSE
|
ELSE
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 15");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 15");
|
END IF;
|
END IF;
|
IF ARRAY14 NOT IN ARRAY_SUB4 THEN
|
IF ARRAY14 NOT IN ARRAY_SUB4 THEN
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 16");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 16");
|
END IF;
|
END IF;
|
|
|
IF ARRAY15 IN CON_ARRAY4 THEN
|
IF ARRAY15 IN CON_ARRAY4 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 17");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 17");
|
END IF;
|
END IF;
|
IF ARRAY16 NOT IN CON_ARRAY4 THEN
|
IF ARRAY16 NOT IN CON_ARRAY4 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 18");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 18");
|
END IF;
|
END IF;
|
|
|
IF ARRAY17 IN ARRAY_SUB5 THEN
|
IF ARRAY17 IN ARRAY_SUB5 THEN
|
NULL;
|
NULL;
|
ELSE
|
ELSE
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 19");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 19");
|
END IF;
|
END IF;
|
IF ARRAY18 NOT IN ARRAY_SUB5 THEN
|
IF ARRAY18 NOT IN ARRAY_SUB5 THEN
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 20");
|
FAILED ("INCORRECT RESULTS FOR UNCONSTRAINED ARRAYS - 20");
|
END IF;
|
END IF;
|
|
|
IF ARRAY19 IN CON_ARRAY5 THEN
|
IF ARRAY19 IN CON_ARRAY5 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 21");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 21");
|
END IF;
|
END IF;
|
IF ARRAY20 NOT IN CON_ARRAY5 THEN
|
IF ARRAY20 NOT IN CON_ARRAY5 THEN
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 22");
|
FAILED ("INCORRECT RESULTS FOR CONSTRAINED ARRAYS - 22");
|
END IF;
|
END IF;
|
|
|
IF NULL_ARRAY_1 IN NULL_ARRAY1 THEN
|
IF NULL_ARRAY_1 IN NULL_ARRAY1 THEN
|
FAILED ("INCORRECT RESULTS FOR NULL ARRAYS - 23");
|
FAILED ("INCORRECT RESULTS FOR NULL ARRAYS - 23");
|
END IF;
|
END IF;
|
IF NULL_ARRAY_2 NOT IN NULL_ARRAY1 THEN
|
IF NULL_ARRAY_2 NOT IN NULL_ARRAY1 THEN
|
FAILED ("INCORRECT RESULTS FOR NULL ARRAYS - 24");
|
FAILED ("INCORRECT RESULTS FOR NULL ARRAYS - 24");
|
END IF;
|
END IF;
|
|
|
RESULT;
|
RESULT;
|
END C45265A;
|
END C45265A;
|
|
|