aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/ada/acats/tests/c6/c631001.a
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/c6/c631001.a')
-rw-r--r--gcc/testsuite/ada/acats/tests/c6/c631001.a134
1 files changed, 0 insertions, 134 deletions
diff --git a/gcc/testsuite/ada/acats/tests/c6/c631001.a b/gcc/testsuite/ada/acats/tests/c6/c631001.a
deleted file mode 100644
index f8b0c775b15..00000000000
--- a/gcc/testsuite/ada/acats/tests/c6/c631001.a
+++ /dev/null
@@ -1,134 +0,0 @@
--- C631001.A
---
--- 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 if different forms of a name are used in the default
--- expression of a discriminant part, the selector may be an operator
--- symbol or a character literal.
---
--- TEST DESCRIPTION:
--- This transition test defines private types where their selectors in
--- the default expression of the discriminant parts at the full type
--- declarations are an operator and a literal, respectively.
--- The test also declares procedures that use an operator and a literal
--- as selectors in the formal parts.
---
--- Inspired by B63102A.ADA.
---
---
--- CHANGE HISTORY:
--- 25 Mar 96 SAIC Initial version for ACVC 2.1.
--- 26 Feb 97 PWB.CTA Removed use of function called before elaboration
---!
-
-with Report;
-
-procedure C631001 is
-
- package C631001_0 is
-
- type Int_Type is range 1 .. 100;
- type Enu_Type is ('A', 'B', 'C', 'D');
-
- type Private_Enu (D : Enu_Type := 'B') is private;
-
- function "+" (X, Y : Int_Type) return Int_Type;
-
- procedure Int_Proc (P1 : in Int_Type := "+" (10, 15);
- P2 : out Int_Type);
-
- procedure Enu_Proc (P1 : in Enu_Type := 'C';
- P2 : out Enu_Type);
-
- private
-
- type Private_Enu (D : Enu_Type := C631001_0.'B') is -- OK.
- record
- C2 : Enu_Type := D;
- end record;
-
- -----------------------------------------------------------------
- PE_Obj : C631001_0.Private_Enu;
-
- end C631001_0;
-
- --==================================================================--
-
- package body C631001_0 is
-
- function "+" (X, Y : Int_Type) return Int_Type is
- begin
- return 10;
- end "+";
-
- -----------------------------------------------------------------
- procedure Int_Proc (P1 : in Int_Type := C631001_0."+" (10, 15); -- OK.
- P2 : out Int_Type) is
-
- begin
- P2 := P1;
- end Int_Proc;
-
- -----------------------------------------------------------------
- procedure Enu_Proc (P1 : in Enu_Type := C631001_0.'C'; -- OK.
- P2 : out Enu_Type) is
- begin
- P2 := P1;
- end Enu_Proc;
-
- -----------------------------------------------------------------
-
- end C631001_0;
-
- ---------------------------------------------------------------------------
- Int_Obj : C631001_0.Int_Type := 50;
- Enu_Obj : C631001_0.Enu_Type := C631001_0.'D';
-
- -- Direct visibility to operator symbols
- use type C631001_0.Int_Type;
- use type C631001_0.Enu_Type;
-
-begin -- main
-
- Report.Test ("C631001", "Check that if different forms of a name are " &
- "used in the default expression of a discriminant part, " &
- "the selector may be an operator symbol or a character " &
- "literal");
-
- C631001_0.Int_Proc (P2 => Int_Obj);
-
- if Int_Obj /= 10 then
- Report.Failed ("Wrong result for Int_Obj");
- end if;
-
- C631001_0.Enu_Proc (P2 => Enu_Obj);
-
- if Enu_Obj /= 'C' then
- Report.Failed ("Wrong result for Enu_Obj");
- end if;
-
- Report.Result;
-
-end C631001;