-- FA11C00.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 parent types and operations that can -- be inherited by its children. -- -- CHANGE HISTORY: -- 06 Dec 94 SAIC ACVC 2.0 -- --! package FA11C00_0 is -- Package Animal type Kilogram_Weight_Type is new Natural; subtype Species_Name_Type is String (1 .. 20); type Animal is tagged record Common_Name : Species_Name_Type; Weight : Kilogram_Weight_Type; end record; function Image (A : Animal) return String; end FA11C00_0; -- Package Animal --=================================================================-- package body FA11C00_0 is -- Package body Animal function Image (A : Animal) return String is begin return ("Animal Species: " & A.Common_Name); end Image; end FA11C00_0; -- Package body Animal --=================================================================-- package FA11C00_0.FA11C00_1 is -- Package Animal.Mammal type Hair_Color_Type is (Black, Brown, Blonde, Grey, White, Red); type Mammal is new Animal with record Hair_Color : Hair_Color_Type; end record; function Image (M : Mammal) return String; end FA11C00_0.FA11C00_1; -- Package Animal.Mammal --=================================================================-- package body FA11C00_0.FA11C00_1 is -- Package body Animal.Mammal function Image (M : Mammal) return String is begin return ("Mammal Species: " & M.Common_Name); end Image; end FA11C00_0.FA11C00_1; -- Package body Animal.Mammal --=================================================================-- package FA11C00_0.FA11C00_1.FA11C00_2 is -- Package Animal.Mammal.Primate type Habitat_Type is (Arboreal, Terrestrial); type Primate is new Mammal with record Habitat : Habitat_Type; end record; function Image (P : Primate) return String; end FA11C00_0.FA11C00_1.FA11C00_2; -- Package Animal.Mammal.Primate --=================================================================-- -- Package body Animal.Mammal.Primate package body FA11C00_0.FA11C00_1.FA11C00_2 is function Image (P : Primate) return String is begin return ("Primate Species: " & P.Common_Name); end Image; end FA11C00_0.FA11C00_1.FA11C00_2; -- Package body Animal.Mammal.Primate