-- FC50A00.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.
--*
--
-- FOUNDATION DESCRIPTION:
--      This foundation declares various tagged types which will be passed as
--      actuals to generic formal tagged private types. It also declares
--      various objects of these types, which will be used for testing.
--      The types defined are both discriminated and nondiscriminated.
--
-- CHANGE HISTORY:
--      06 Dec 94   SAIC    ACVC 2.0
--
--!

package FC50A00 is

--
-- Nonlimited tagged types:
--

   type Count_Type is tagged record                     -- Nondiscriminated
      Count : Integer := 0;                             -- type.
   end record;


   subtype Str_Len  is Natural range 0 .. 100;
   subtype Stu_ID   is String (1 .. 5);
   subtype Dept_ID  is String (1 .. 4);
   subtype Emp_ID   is String (1 .. 9);
   type    Status   is (Student, Faculty, Staff);
   subtype Reserved is Positive range 1 .. 50;


   type Person_Type (Stat : Status;                     -- Discriminated
                     NameLen, AddrLen : Str_Len) is     -- type.
     tagged record                                 
      Name    : String (1 .. NameLen);
      Address : String (1 .. AddrLen);
      case Stat is
         when Student =>
            Student_ID  : Stu_ID;
         when Faculty =>
            Department  : Dept_ID;
         when Staff   =>
            Employee_ID : Emp_ID;
      end case;
   end record;


   type VIPerson_Type is new Person_Type with record    -- Extension of
      Parking_Space : Reserved;                         -- discriminated type.
   end record;


   -- Testing entities: ------------------------------------------------

   TC_Count_Item     : constant Count_Type    := (Count => 111);
   TC_Default_Count  : constant Count_Type    := (Count => 0);

   TC_Person_Item    : constant Person_Type   :=
     (Faculty, 18, 17, "Eccles, John Scott", "Popham House, Lee", "0931");
   TC_Default_Person : constant Person_Type   :=
     (Student, 0, 0, "", "", "00000");

   TC_VIPerson_Item  : constant VIPerson_Type := (TC_Person_Item with 1);

   ---------------------------------------------------------------------


end FC50A00;