aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/ada/acats/tests/c7/c74203a.ada
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/ada/acats/tests/c7/c74203a.ada')
-rw-r--r--gcc-4.9/gcc/testsuite/ada/acats/tests/c7/c74203a.ada263
1 files changed, 263 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/ada/acats/tests/c7/c74203a.ada b/gcc-4.9/gcc/testsuite/ada/acats/tests/c7/c74203a.ada
new file mode 100644
index 000000000..82cfe9269
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/ada/acats/tests/c7/c74203a.ada
@@ -0,0 +1,263 @@
+-- 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;