| -- 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; |