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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.236.2.98 with SMTP id 62mr1693103yhe.20.1430953528829;
        Wed, 06 May 2015 16:05:28 -0700 (PDT)
X-Received: by 10.140.95.135 with SMTP id i7mr21778qge.27.1430953528793; Wed,
 06 May 2015 16:05:28 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!buffer1.nntp.ams1.giganews.com!backlog1.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!j5no5741839qga.1!news-out.google.com!k20ni1935qgd.0!nntp.google.com!j5no5741833qga.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 6 May 2015 16:05:28 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=84.100.130.243;
 posting-account=O3LyFwoAAACc1uh60ZcOUmAGdDmGsEcV
NNTP-Posting-Host: 84.100.130.243
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <da4139a7-d66a-4153-a68f-7eca4c8982b0@googlegroups.com>
Subject: Polymorphism
From: slos <new.stephane.los@gmail.com>
Injection-Date: Wed, 06 May 2015 23:05:28 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Original-Bytes: 2167
Xref: news.eternal-september.org comp.lang.ada:25744
Date: 2015-05-06T16:05:28-07:00
List-Id: <comp.lang.ada>

Hello,

Please consider the following simple case :

package Object is
  =20
   type Instance is abstract tagged private;
  =20
   function Distance (O : Instance'Class) return Float;
  =20
   function Weight (O : Instance'Class; Coef : Float) return Float;
   --  returns Area * Coef
  =20
   function Area (O : Instance) return Float is abstract;
  =20
private
  =20
   type Instance is abstract tagged
      record
         X_Coord : Float;
         Y_Coord : Float;
      end record;
  =20
end Object;

with Object; use Object;

package Circle is

   type Instance is new Object.Instance with private;

private

   type Instance is new Object.Instance with
      record
         Radius : Float;
      end record;

   overriding
   function Area (C : Instance) return Float;

end Circle;

I'd like function Object.Area to stay private but the compiler doesn't see =
it like that and complains if I try to move it in the private part.

In other words, I'd like to not expose internals to clients of the package.

Any hint to achieve that ?

Thanks in advance.

BR,
St=E9phane