-- C74203A.ADA
|
-- C74203A.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.
|
--*
|
--*
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- CHECK THAT MEMBERSHIP TESTS, QUALIFICATION, AND EXPLICIT
|
-- CHECK THAT MEMBERSHIP TESTS, QUALIFICATION, AND EXPLICIT
|
-- CONVERSION ARE AVAILABLE FOR LIMITED AND NON-LIMITED PRIVATE
|
-- CONVERSION ARE AVAILABLE FOR LIMITED AND NON-LIMITED PRIVATE
|
-- TYPES. INCLUDE TYPES WITH DISCRIMINANTS AND TYPES
|
-- TYPES. INCLUDE TYPES WITH DISCRIMINANTS AND TYPES
|
-- WITH LIMITED COMPONENTS.
|
-- WITH LIMITED COMPONENTS.
|
|
|
-- HISTORY:
|
-- HISTORY:
|
-- BCB 03/10/88 CREATED ORIGINAL TEST.
|
-- BCB 03/10/88 CREATED ORIGINAL TEST.
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
|
|
PROCEDURE C74203A IS
|
PROCEDURE C74203A IS
|
|
|
PACKAGE PP IS
|
PACKAGE PP IS
|
TYPE LIM IS LIMITED PRIVATE;
|
TYPE LIM IS LIMITED PRIVATE;
|
PROCEDURE INIT (Z1 : OUT LIM; Z2 : INTEGER);
|
PROCEDURE INIT (Z1 : OUT LIM; Z2 : INTEGER);
|
|
|
TYPE A IS PRIVATE;
|
TYPE A IS PRIVATE;
|
SUBTYPE SUBA IS A;
|
SUBTYPE SUBA IS A;
|
A1 : CONSTANT A;
|
A1 : CONSTANT A;
|
|
|
TYPE B IS LIMITED PRIVATE;
|
TYPE B IS LIMITED PRIVATE;
|
B1 : CONSTANT B;
|
B1 : CONSTANT B;
|
|
|
TYPE C IS PRIVATE;
|
TYPE C IS PRIVATE;
|
C1 : CONSTANT C;
|
C1 : CONSTANT C;
|
|
|
TYPE D IS LIMITED PRIVATE;
|
TYPE D IS LIMITED PRIVATE;
|
D1 : CONSTANT D;
|
D1 : CONSTANT D;
|
|
|
TYPE E (DISC1 : INTEGER := 5) IS PRIVATE;
|
TYPE E (DISC1 : INTEGER := 5) IS PRIVATE;
|
SUBTYPE SUBE IS E;
|
SUBTYPE SUBE IS E;
|
E1 : CONSTANT E;
|
E1 : CONSTANT E;
|
|
|
TYPE F (DISC2 : INTEGER := 15) IS LIMITED PRIVATE;
|
TYPE F (DISC2 : INTEGER := 15) IS LIMITED PRIVATE;
|
F1 : CONSTANT F;
|
F1 : CONSTANT F;
|
|
|
TYPE G (DISC3 : INTEGER) IS PRIVATE;
|
TYPE G (DISC3 : INTEGER) IS PRIVATE;
|
G1 : CONSTANT G;
|
G1 : CONSTANT G;
|
|
|
TYPE H (DISC4 : INTEGER) IS LIMITED PRIVATE;
|
TYPE H (DISC4 : INTEGER) IS LIMITED PRIVATE;
|
H1 : CONSTANT H;
|
H1 : CONSTANT H;
|
|
|
TYPE I IS RECORD
|
TYPE I IS RECORD
|
COMPI : LIM;
|
COMPI : LIM;
|
END RECORD;
|
END RECORD;
|
SUBTYPE SUBI IS I;
|
SUBTYPE SUBI IS I;
|
|
|
TYPE J IS ARRAY(1..5) OF LIM;
|
TYPE J IS ARRAY(1..5) OF LIM;
|
SUBTYPE SUBJ IS J;
|
SUBTYPE SUBJ IS J;
|
|
|
TYPE S1 IS (VINCE, TOM, PHIL, JODIE, ROSA, TERESA);
|
TYPE S1 IS (VINCE, TOM, PHIL, JODIE, ROSA, TERESA);
|
TYPE S2 IS (THIS, THAT, THESE, THOSE, THEM);
|
TYPE S2 IS (THIS, THAT, THESE, THOSE, THEM);
|
TYPE S3 IS RANGE 1 .. 100;
|
TYPE S3 IS RANGE 1 .. 100;
|
TYPE S4 IS RANGE 1 .. 100;
|
TYPE S4 IS RANGE 1 .. 100;
|
PRIVATE
|
PRIVATE
|
TYPE LIM IS RANGE 1 .. 100;
|
TYPE LIM IS RANGE 1 .. 100;
|
|
|
TYPE A IS (RED, BLUE, GREEN, YELLOW, BLACK, WHITE);
|
TYPE A IS (RED, BLUE, GREEN, YELLOW, BLACK, WHITE);
|
A1 : CONSTANT A := BLUE;
|
A1 : CONSTANT A := BLUE;
|
|
|
TYPE B IS (ONE, TWO, THREE, FOUR, FIVE, SIX);
|
TYPE B IS (ONE, TWO, THREE, FOUR, FIVE, SIX);
|
B1 : CONSTANT B := THREE;
|
B1 : CONSTANT B := THREE;
|
|
|
TYPE C IS RANGE 1 .. 100;
|
TYPE C IS RANGE 1 .. 100;
|
C1 : CONSTANT C := 50;
|
C1 : CONSTANT C := 50;
|
|
|
TYPE D IS RANGE 1 .. 100;
|
TYPE D IS RANGE 1 .. 100;
|
D1 : CONSTANT D := 50;
|
D1 : CONSTANT D := 50;
|
|
|
TYPE E (DISC1 : INTEGER := 5) IS RECORD
|
TYPE E (DISC1 : INTEGER := 5) IS RECORD
|
COMPE : S1;
|
COMPE : S1;
|
END RECORD;
|
END RECORD;
|
E1 : CONSTANT E := (DISC1 => 5, COMPE => TOM);
|
E1 : CONSTANT E := (DISC1 => 5, COMPE => TOM);
|
|
|
TYPE F (DISC2 : INTEGER := 15) IS RECORD
|
TYPE F (DISC2 : INTEGER := 15) IS RECORD
|
COMPF : S2;
|
COMPF : S2;
|
END RECORD;
|
END RECORD;
|
F1 : CONSTANT F := (DISC2 => 15, COMPF => THAT);
|
F1 : CONSTANT F := (DISC2 => 15, COMPF => THAT);
|
|
|
TYPE G (DISC3 : INTEGER) IS RECORD
|
TYPE G (DISC3 : INTEGER) IS RECORD
|
COMPG : S3;
|
COMPG : S3;
|
END RECORD;
|
END RECORD;
|
G1 : CONSTANT G := (DISC3 => 25, COMPG => 50);
|
G1 : CONSTANT G := (DISC3 => 25, COMPG => 50);
|
|
|
TYPE H (DISC4 : INTEGER) IS RECORD
|
TYPE H (DISC4 : INTEGER) IS RECORD
|
COMPH : S4;
|
COMPH : S4;
|
END RECORD;
|
END RECORD;
|
H1 : CONSTANT H := (DISC4 => 30, COMPH => 50);
|
H1 : CONSTANT H := (DISC4 => 30, COMPH => 50);
|
END PP;
|
END PP;
|
|
|
USE PP;
|
USE PP;
|
|
|
AVAR : SUBA := A1;
|
AVAR : SUBA := A1;
|
EVAR : SUBE := E1;
|
EVAR : SUBE := E1;
|
|
|
IVAR : SUBI;
|
IVAR : SUBI;
|
JVAR : SUBJ;
|
JVAR : SUBJ;
|
|
|
PACKAGE BODY PP IS
|
PACKAGE BODY PP IS
|
PROCEDURE INIT (Z1 : OUT LIM; Z2 : INTEGER) IS
|
PROCEDURE INIT (Z1 : OUT LIM; Z2 : INTEGER) IS
|
BEGIN
|
BEGIN
|
Z1 := LIM (Z2);
|
Z1 := LIM (Z2);
|
END INIT;
|
END INIT;
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END PP;
|
END PP;
|
|
|
PROCEDURE QUAL_PRIV (W : A) IS
|
PROCEDURE QUAL_PRIV (W : A) IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END QUAL_PRIV;
|
END QUAL_PRIV;
|
|
|
PROCEDURE QUAL_LIM_PRIV (X : B) IS
|
PROCEDURE QUAL_LIM_PRIV (X : B) IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END QUAL_LIM_PRIV;
|
END QUAL_LIM_PRIV;
|
|
|
PROCEDURE EXPL_CONV_PRIV_1 (Y : C) IS
|
PROCEDURE EXPL_CONV_PRIV_1 (Y : C) IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END EXPL_CONV_PRIV_1;
|
END EXPL_CONV_PRIV_1;
|
|
|
PROCEDURE EXPL_CONV_LIM_PRIV_1 (Z : D) IS
|
PROCEDURE EXPL_CONV_LIM_PRIV_1 (Z : D) IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END EXPL_CONV_LIM_PRIV_1;
|
END EXPL_CONV_LIM_PRIV_1;
|
|
|
PROCEDURE EXPL_CONV_PRIV_2 (Y2 : G) IS
|
PROCEDURE EXPL_CONV_PRIV_2 (Y2 : G) IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END EXPL_CONV_PRIV_2;
|
END EXPL_CONV_PRIV_2;
|
|
|
PROCEDURE EXPL_CONV_LIM_PRIV_2 (Z2 : H) IS
|
PROCEDURE EXPL_CONV_LIM_PRIV_2 (Z2 : H) IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END EXPL_CONV_LIM_PRIV_2;
|
END EXPL_CONV_LIM_PRIV_2;
|
|
|
PROCEDURE EXPL_CONV_PRIV_3 (Y3 : I) IS
|
PROCEDURE EXPL_CONV_PRIV_3 (Y3 : I) IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END EXPL_CONV_PRIV_3;
|
END EXPL_CONV_PRIV_3;
|
|
|
PROCEDURE EXPL_CONV_PRIV_4 (Y4 : J) IS
|
PROCEDURE EXPL_CONV_PRIV_4 (Y4 : J) IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END EXPL_CONV_PRIV_4;
|
END EXPL_CONV_PRIV_4;
|
|
|
BEGIN
|
BEGIN
|
TEST ("C74203A", "CHECK THAT MEMBERSHIP TESTS, QUALIFICATION, " &
|
TEST ("C74203A", "CHECK THAT MEMBERSHIP TESTS, QUALIFICATION, " &
|
"AND EXPLICIT CONVERSION ARE AVAILABLE FOR " &
|
"AND EXPLICIT CONVERSION ARE AVAILABLE FOR " &
|
"LIMITED AND NON-LIMITED PRIVATE TYPES. " &
|
"LIMITED AND NON-LIMITED PRIVATE TYPES. " &
|
"INCLUDE TYPES WITH DISCRIMINANTS AND " &
|
"INCLUDE TYPES WITH DISCRIMINANTS AND " &
|
"TYPES WITH LIMITED COMPONENTS");
|
"TYPES WITH LIMITED COMPONENTS");
|
|
|
INIT (IVAR.COMPI, 50);
|
INIT (IVAR.COMPI, 50);
|
|
|
FOR K IN IDENT_INT (1) .. IDENT_INT (5) LOOP
|
FOR K IN IDENT_INT (1) .. IDENT_INT (5) LOOP
|
INIT (JVAR(K), 25);
|
INIT (JVAR(K), 25);
|
END LOOP;
|
END LOOP;
|
|
|
IF NOT (AVAR IN A) THEN
|
IF NOT (AVAR IN A) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
"PRIVATE TYPE - 1");
|
"PRIVATE TYPE - 1");
|
END IF;
|
END IF;
|
|
|
IF (AVAR NOT IN A) THEN
|
IF (AVAR NOT IN A) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
"PRIVATE TYPE - 1");
|
"PRIVATE TYPE - 1");
|
END IF;
|
END IF;
|
|
|
IF NOT (B1 IN B) THEN
|
IF NOT (B1 IN B) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
"LIMITED PRIVATE TYPE - 1");
|
"LIMITED PRIVATE TYPE - 1");
|
END IF;
|
END IF;
|
|
|
IF (B1 NOT IN B) THEN
|
IF (B1 NOT IN B) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
"LIMITED PRIVATE TYPE - 1");
|
"LIMITED PRIVATE TYPE - 1");
|
END IF;
|
END IF;
|
|
|
QUAL_PRIV (A'(AVAR));
|
QUAL_PRIV (A'(AVAR));
|
|
|
QUAL_LIM_PRIV (B'(B1));
|
QUAL_LIM_PRIV (B'(B1));
|
|
|
EXPL_CONV_PRIV_1 (C(C1));
|
EXPL_CONV_PRIV_1 (C(C1));
|
|
|
EXPL_CONV_LIM_PRIV_1 (D(D1));
|
EXPL_CONV_LIM_PRIV_1 (D(D1));
|
|
|
IF NOT (EVAR IN E) THEN
|
IF NOT (EVAR IN E) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
"PRIVATE TYPE - 2");
|
"PRIVATE TYPE - 2");
|
END IF;
|
END IF;
|
|
|
IF (EVAR NOT IN E) THEN
|
IF (EVAR NOT IN E) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
"PRIVATE TYPE - 2");
|
"PRIVATE TYPE - 2");
|
END IF;
|
END IF;
|
|
|
IF NOT (F1 IN F) THEN
|
IF NOT (F1 IN F) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
"LIMITED PRIVATE TYPE - 2");
|
"LIMITED PRIVATE TYPE - 2");
|
END IF;
|
END IF;
|
|
|
IF (F1 NOT IN F) THEN
|
IF (F1 NOT IN F) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
"LIMITED PRIVATE TYPE - 2");
|
"LIMITED PRIVATE TYPE - 2");
|
END IF;
|
END IF;
|
|
|
EXPL_CONV_PRIV_2 (G(G1));
|
EXPL_CONV_PRIV_2 (G(G1));
|
|
|
EXPL_CONV_LIM_PRIV_2 (H(H1));
|
EXPL_CONV_LIM_PRIV_2 (H(H1));
|
|
|
IF NOT (IVAR IN I) THEN
|
IF NOT (IVAR IN I) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
"PRIVATE TYPE - 3");
|
"PRIVATE TYPE - 3");
|
END IF;
|
END IF;
|
|
|
IF (IVAR NOT IN I) THEN
|
IF (IVAR NOT IN I) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
"PRIVATE TYPE - 3");
|
"PRIVATE TYPE - 3");
|
END IF;
|
END IF;
|
|
|
EXPL_CONV_PRIV_3 (I(IVAR));
|
EXPL_CONV_PRIV_3 (I(IVAR));
|
|
|
IF NOT (JVAR IN J) THEN
|
IF NOT (JVAR IN J) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'IN' FOR " &
|
"PRIVATE TYPE - 4");
|
"PRIVATE TYPE - 4");
|
END IF;
|
END IF;
|
|
|
IF (JVAR NOT IN J) THEN
|
IF (JVAR NOT IN J) THEN
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
FAILED ("IMPROPER RESULT FROM MEMBERSHIP TEST 'NOT IN' FOR " &
|
"PRIVATE TYPE - 4");
|
"PRIVATE TYPE - 4");
|
END IF;
|
END IF;
|
|
|
EXPL_CONV_PRIV_4 (J(JVAR));
|
EXPL_CONV_PRIV_4 (J(JVAR));
|
|
|
RESULT;
|
RESULT;
|
END C74203A;
|
END C74203A;
|
|
|