gcc/testsuite/ada/acats/support/fc50a00.a

   1 -- FC50A00.A
   2 --
   3 --                             Grant of Unlimited Rights
   4 --
   5 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
   6 --     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
   7 --     unlimited rights in the software and documentation contained herein.
   8 --     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
   9 --     this public release, the Government intends to confer upon all
  10 --     recipients unlimited rights  equal to those held by the Government.
  11 --     These rights include rights to use, duplicate, release or disclose the
  12 --     released technical data and computer software in whole or in part, in
  13 --     any manner and for any purpose whatsoever, and to have or permit others
  14 --     to do so.
  15 --
  16 --                                    DISCLAIMER
  17 --
  18 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  19 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  20 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  21 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  22 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  23 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  24 --*
  25 --
  26 -- FOUNDATION DESCRIPTION:
  27 --      This foundation declares various tagged types which will be passed as
  28 --      actuals to generic formal tagged private types. It also declares
  29 --      various objects of these types, which will be used for testing.
  30 --      The types defined are both discriminated and nondiscriminated.
  31 --
  32 -- CHANGE HISTORY:
  33 --      06 Dec 94   SAIC    ACVC 2.0
  34 --
  35 --!
  36
  37 package FC50A00 is
  38
  39 --
  40 -- Nonlimited tagged types:
  41 --
  42
  43    type Count_Type is tagged record                     -- Nondiscriminated
  44       Count : Integer := 0;                             -- type.
  45    end record;
  46
  47
  48    subtype Str_Len  is Natural range 0 .. 100;
  49    subtype Stu_ID   is String (1 .. 5);
  50    subtype Dept_ID  is String (1 .. 4);
  51    subtype Emp_ID   is String (1 .. 9);
  52    type    Status   is (Student, Faculty, Staff);
  53    subtype Reserved is Positive range 1 .. 50;
  54
  55
  56    type Person_Type (Stat : Status;                     -- Discriminated
  57                      NameLen, AddrLen : Str_Len) is     -- type.
  58      tagged record
  59       Name    : String (1 .. NameLen);
  60       Address : String (1 .. AddrLen);
  61       case Stat is
  62          when Student =>
  63             Student_ID  : Stu_ID;
  64          when Faculty =>
  65             Department  : Dept_ID;
  66          when Staff   =>
  67             Employee_ID : Emp_ID;
  68       end case;
  69    end record;
  70
  71
  72    type VIPerson_Type is new Person_Type with record    -- Extension of
  73       Parking_Space : Reserved;                         -- discriminated type.
  74    end record;
  75
  76
  77    -- Testing entities: ------------------------------------------------
  78
  79    TC_Count_Item     : constant Count_Type    := (Count => 111);
  80    TC_Default_Count  : constant Count_Type    := (Count => 0);
  81
  82    TC_Person_Item    : constant Person_Type   :=
  83      (Faculty, 18, 17, "Eccles, John Scott", "Popham House, Lee", "0931");
  84    TC_Default_Person : constant Person_Type   :=
  85      (Student, 0, 0, "", "", "00000");
  86
  87    TC_VIPerson_Item  : constant VIPerson_Type := (TC_Person_Item with 1);
  88
  89    ---------------------------------------------------------------------
  90
  91
  92 end FC50A00;