From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9593355bec84b137,start
X-Google-Attributes: gid103376,public
From: "Angelo A. Keene" <akeene@hercii.mar.lmco.com>
Subject: Ada 83 - Rep clause inside private area question
Date: 1997/04/18
Message-ID: <33575FD0.41C67EA6@hercii.mar.lmco.com>#1/1
X-Deja-AN: 235710258
Sender: news@enterprise.rdd.lmsc.lockheed.com (News Administrator)
Organization: Lockheed Martin Aeronautical Systems
Newsgroups: comp.lang.ada
Date: 1997-04-18T00:00:00+00:00
List-Id: <comp.lang.ada>



If I have two Ada83 packages, defined as follows -- what are the 
differences between the two, if any?  Would a user of this package
not have access to the 'SIZE function now?

package Test_Types_One is

   Type My_Enum is (
      Alpha,
      Beta,
      Gamma
   );

   for My_Enum use (
      Alpha => 5,
      Beta  => 7,
      Gamma => 10,
   )

   for My_Enum'SIZE use 16;

end Test_Types_One;

package Test_Types_Two is

   Type My_Enum is (
      Alpha,
      Beta,
      Gamma
   );

private

   for My_Enum use (
      Alpha => 5,
      Beta  => 7,
      Gamma => 10,
   )

   for My_Enum'SIZE use 16;

end Test_Types_Two;

While building a short test package, I accidentally ended up with a
package in the second form, which compiles successfully -- but after
looking at it, I started thinking about the implications of what I
wrote -- looking at my available references, I can't determine
if the second form would have any useful meaning or not.

TIA for any insights!

Angelo A. Keene
akeene@hercii.mar.lmco.com