-- C432004.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 the type of an extension aggregate may be derived from the
--      type of the ancestor part through multiple record extensions. Check
--      for ancestor parts that are subtype marks. Check that the type of the
--      ancestor part may be abstract.
--
-- TEST DESCRIPTION:
--      This test defines the following type hierarchies:
--
--                (A)                           (F)
--              Abstract                      Abstract
--           Tagged record                 Tagged private
--            /         \                   /          \
--           /          (C)               (G)           \
--         (B)        Abstract         Abstract         (H)
--       Record       private          record         Private
--      extension     extension        extension     extension
--          |             |                |             |
--         (D)           (E)              (I)           (J)
--       Record        Record           Record        Record
--      extension     extension        extension     extension
--
--      Extension aggregates for B, D, E, I, and J are constructed using each
--      of its ancestor types as the ancestor part (except for E and J, for
--      which only the immediate ancestor is used, since using A and F,
--      respectively, as the ancestor part would be illegal).
--
--      X1 : B := (A with ...);
--      X2 : D := (A with ...);         X5 : I := (F with ...);
--      X3 : D := (B with ...);         X6 : I := (G with ...);
--      X4 : E := (C with ...);         X7 : J := (H with ...);
--
--      For each assignment of an aggregate, the value of the target object is
--      checked to ensure that the proper values for each component were
--      assigned.
--
--
-- CHANGE HISTORY:
--      06 Dec 94   SAIC    ACVC 2.0
--
--!

package C432004_0 is

   type Drawers is record
      Building : natural;
   end record;

   type Location is access Drawers;

   type Eras is (Precambrian, Paleozoic, Mesozoic, Cenozoic);

   type SampleType_A is abstract tagged record
      Era : Eras := Cenozoic;
      Loc : Location;
   end record;

   type SampleType_F is abstract tagged private;

   -- The following function is needed to verify the values of the
   -- private components.
   function TC_Correct_Result (Rec : SampleType_F'Class;
                               E   : Eras) return Boolean;

private
   type SampleType_F is abstract tagged record
      Era : Eras := Mesozoic;
   end record;

end C432004_0;

     --==================================================================--

package body C432004_0 is

   function TC_Correct_Result (Rec : SampleType_F'Class;
                               E   : Eras) return Boolean is
   begin
      return (Rec.Era = E);
   end TC_Correct_Result;

end C432004_0;

     --==================================================================--

with C432004_0;
package C432004_1 is

   type Periods is
      (Aphebian, Helikian, Hadrynian,
       Cambrian, Ordovician, Silurian, Devonian, Carboniferous, Permian,
       Triassic, Jurassic, Cretaceous,
       Tertiary, Quaternary);

   type SampleType_B is new C432004_0.SampleType_A with record
      Period : Periods := Quaternary;
   end record;

   type SampleType_C is abstract new C432004_0.SampleType_A with private;

   -- The following function is needed to verify the values of the
   -- extension's private components.
   function TC_Correct_Result (Rec : SampleType_C'Class;
                               P   : Periods) return Boolean;

   type SampleType_G is abstract new C432004_0.SampleType_F with record
      Period : Periods := Jurassic;
      Loc    : C432004_0.Location;
   end record;

   type SampleType_H is new C432004_0.SampleType_F with private;

   -- The following function is needed to verify the values of the
   -- extension's private components.
   function TC_Correct_Result (Rec : SampleType_H'Class;
                               P   : Periods;
                               E   : C432004_0.Eras) return Boolean;

private
   type SampleType_C is abstract new C432004_0.SampleType_A with record
      Period : Periods := Quaternary;
   end record;

   type SampleType_H is new C432004_0.SampleType_F with record
      Period : Periods := Jurassic;
   end record;

end C432004_1;

     --==================================================================--

package body C432004_1 is

   function TC_Correct_Result (Rec : SampleType_C'Class;
                               P   : Periods) return Boolean is
   begin
      return (Rec.Period = P);
   end TC_Correct_Result;

   -------------------------------------------------------------
   function TC_Correct_Result (Rec : SampleType_H'Class;
                               P   : Periods;
                               E   : C432004_0.Eras) return Boolean is
   begin
      return (Rec.Period = P) and C432004_0.TC_Correct_Result (Rec, E);
   end TC_Correct_Result;

end C432004_1;

     --==================================================================--

with C432004_0;
with C432004_1;
package C432004_2 is

   -- All types herein are record extensions, since aggregates
   -- cannot be given for private extensions
   
   type SampleType_D is new C432004_1.SampleType_B with record
      Sample_On_Loan : Boolean := False;
   end record;

   type SampleType_E is new C432004_1.SampleType_C 
     with null record;

   type SampleType_I is new C432004_1.SampleType_G with record
      Sample_On_Loan : Boolean := True;
   end record;

   type SampleType_J is new C432004_1.SampleType_H with record
      Sample_On_Loan : Boolean := True;
   end record;

end C432004_2;


     --==================================================================--

with Report;
with C432004_0;
with C432004_1;
with C432004_2;
use  C432004_1;
use  C432004_2;

procedure C432004 is

   -- Variety of extension aggregates.

   -- Default values for the components of SampleType_A 
   -- (Era => Cenozoic, Loc => null).
   Sample_B  :  SampleType_B 
             := (C432004_0.SampleType_A with Period => Devonian);

   -- Default values from SampleType_A (Era => Cenozoic, Loc => null).
   Sample_D1 :  SampleType_D
             := (C432004_0.SampleType_A with Period => Cambrian,
                                     Sample_On_Loan => True);

   -- Default values from SampleType_A and SampleType_B
   -- (Era => Cenozoic, Loc => null, Period => Quaternary).
   Sample_D2 :  SampleType_D
             := (SampleType_B with Sample_On_Loan => True);

   -- Default values from SampleType_A and SampleType_C
   -- (Era => Cenozoic, Loc => null, Period => Quaternary).
   Sample_E  :  SampleType_E
             := (SampleType_C with null record);

   -- Default value from SampleType_F (Era => Mesozoic).
   Sample_I1 :  SampleType_I
             := (C432004_0.SampleType_F with Period => Tertiary,
                 Loc => new C432004_0.Drawers'(Building => 9),
                 Sample_On_Loan => False);

   -- Default values from SampleType_F and SampleType_G
   -- (Era => Mesozoic, Period => Jurassic, Loc => null).
   Sample_I2 :  SampleType_I
             := (SampleType_G with Sample_On_Loan => False);

   -- Default values from SampleType_H (Era => Mesozoic, Period => Jurassic).
   Sample_J  :  SampleType_J
             := (SampleType_H with Sample_On_Loan => False);

   use type C432004_0.Eras;
   use type C432004_0.Location;

begin

   Report.Test ("C432004", "Check that the type of an extension aggregate "  &
                "may be derived from the type of the ancestor part through " &
                "multiple record extensions");

   if Sample_B /= (C432004_0.Cenozoic, null, Devonian) then
      Report.Failed ("Object of record extension of abstract ancestor, " &
                     "SampleType_B, failed content check");
   end if;

   -------------------
   if Sample_D1 /= (Era => C432004_0.Cenozoic, Loc => null, 
                    Period => Cambrian, Sample_On_Loan => True) then
      Report.Failed ("Object 1 of record extension of record extension, "  & 
                     "of abstract ancestor, SampleType_D, failed content " &
                     "check");
   end if;

   -------------------
   if Sample_D2 /= (C432004_0.Cenozoic, null, Quaternary, True) then
      Report.Failed ("Object 2 of record extension of record extension, "  & 
                     "of abstract ancestor, SampleType_D, failed content " &
                     "check");
   end if;
   -------------------
   if Sample_E.Era /= C432004_0.Cenozoic or 
      Sample_E.Loc /= null               or
      not TC_Correct_Result (Sample_E, Quaternary) then
         Report.Failed ("Object of record extension of abstract private " & 
                        "extension of abstract ancestor, SampleType_E, "  &
                        "failed content check");
   end if;

   -------------------
   if not C432004_0.TC_Correct_Result (Sample_I1, C432004_0.Mesozoic) or
     Sample_I1.Period         /= Tertiary                             or
     Sample_I1.Loc.Building   /= 9                                    or
     Sample_I1.Sample_On_Loan /= False                                then
       Report.Failed ("Object 1 of record extension of abstract record " &
                      "extension of abstract private ancestor, "         &
                      "SampleType_I, failed content check");
   end if;

   -------------------
   if not C432004_0.TC_Correct_Result (Sample_I2, C432004_0.Mesozoic) or  
     Sample_I2.Period         /= Jurassic                             or
     Sample_I2.Loc            /= null                                 or
     Sample_I2.Sample_On_Loan /= False                                then
       Report.Failed ("Object 2 of record extension of abstract record " &
                      "extension of abstract private ancestor, "         &
                      "SampleType_I, failed content check");
   end if;

   -------------------
   if not TC_Correct_Result (Sample_J,
                             Jurassic,
                             C432004_0.Mesozoic) or
     Sample_J.Sample_On_Loan /= False            then
        Report.Failed ("Object of record extension of private extension " &
                       "of abstract private ancestor, SampleType_J, "     &
                       "failed content check");
   end if;

   Report.Result;

end C432004;