Re: Ada 200X

[Vinzent Hoefler <ada.rocks@jlfencey.com>]

Robert I. Eachus wrote:

>Larry Kilgallen wrote:
>
>> The lack of a construct to specify "corresponding method of ancestor"
>> seems to me to be what breaks information hiding.
>
>Oh, that is so easy that I never thought of people having problems with 
>it.  I'll give an example:
>
>type Foo is tagged...
>
>procedure Bar(F: in out Foo);
>...
>
>type New_Foo is new Foo with...
>
>procedure Bar(F: in out New_Foo);
>...
>
>procedure Bar(F: in out New_Foo) is
>begin
>    Do(Something_Special);
>    Bar(Foo(F)); -- view conversion
>    Do(Something_Else_Special);
>end Bar;
>
>The view conversion passes the Foo part of a New_Foo object to the 
>parent Bar by reference.

Yeah, but what happens if you insert

|type Baz is new Foo with ...
|
|procedure Bar (F : in out Baz);
|
|type New_Foo is new Baz with ...

is that you have to change every single view conversion in New_Foo's
methods from

|Bar (Foo (F));

to

|Bar (Baz (F));

Because the view conversion to a grandparent is of course allowed,
this is little tricky if not to say error prone sometime.

Well, yes, I know, you should always design your object hierarchy
beforehand. ;-)


Vinzent.

-- 
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.