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