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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!newsfeed.kamp.net!newsfeed.kamp.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: overriding procedures
Date: Wed, 16 Sep 2015 23:00:43 +0300
Organization: Tidorum Ltd
Message-ID: <d5u03bFtfisU1@mid.individual.net>
References: <ddae2c77-d420-488c-a855-6dbf7987522b@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net QmvHsrfuqHck1QRjqReSmAJKYGQTPisZTiFcqnlaI8P3jyWQ8g
Cancel-Lock: sha1:iDGr0Hfyg73HYIOW9ds7KaVifWI=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:38.0)
 Gecko/20100101 Thunderbird/38.2.0
In-Reply-To: <ddae2c77-d420-488c-a855-6dbf7987522b@googlegroups.com>
Xref: news.eternal-september.org comp.lang.ada:27781
Date: 2015-09-16T23:00:43+03:00
List-Id: <comp.lang.ada>

On 15-09-16 13:51 , tonyg wrote:
>
> I'm want to override two procedures after inheriting a type.
>
>
> Why do I have to declare the procedural specification of both, rather
> than just the overriding bodies?

Because the occurrence of the first body "freezes" the type, after which 
you cannot add (declare) more overriding operations for the type.

See RM 13.14, specifically paragraph 3/3, if I understand the RM correctly.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .