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