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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6327f05d4989a68d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
X-Received: by 10.181.12.35 with SMTP id en3mr2998453wid.2.1357914003873;
        Fri, 11 Jan 2013 06:20:03 -0800 (PST)
Path: 
 o9ni6875wio.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!195.96.0.7.MISMATCH!newsfeed.utanet.at!newsfeed.tele2net.at!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Press Release - Ada 2012 Language Standard Approved by ISO
Date: Fri, 11 Jan 2013 15:21:14 +0100
Organization: cbb software GmbH
Message-ID: <f6me32uv24y6$.1g56rvp0l7lkg$.dlg@40tude.net>
References: <kap6v8$mr7$1@dont-email.me>
 <wcc8v8vti17.fsf@shell01.TheWorld.com>
 <CCF68CB9.22EB9%yaldnif.w@blueyonder.co.uk>
 <7wrdmbre6jw9.qww9l0uzj6mg.dlg@40tude.net> <katr14$sef$2@munin.nbi.dk>
 <14oqoq06zhlu2.tcasif3hdyhw.dlg@40tude.net> <kb333b$tcg$1@munin.nbi.dk>
 <1drh1q1ln2dfh$.a9hwlg01fjfy.dlg@40tude.net>
 <50d6365d$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1pbg79bz92j3t$.sz41zduivjfp.dlg@40tude.net>
 <c174226a-b519-4cc0-b37c-eee4e7825e00@googlegroups.com>
 <4c101d74-c8cb-45a6-82d4-91923bb950b0@googlegroups.com>
 <87sj6tre9s.fsf@mid.deneb.enyo.de>
 <e9f91590-75b2-4cb4-b897-e8f06d0128e6@googlegroups.com>
 <op.wqqvicu9ule2fv@cardamome>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2013-01-11T15:21:14+01:00
List-Id: <comp.lang.ada>

On Fri, 11 Jan 2013 12:28:50 +0100, Yannick Duch�ne (Hibou57) wrote:

> Le Thu, 27 Dec 2012 02:00:47 +0100, <sbelmont700@gmail.com> a �crit:
> 
>> Finally, IMHO, exceptions are NOT a property of the interface but of the  
>> implementation (we will likely have to agree to disagree on this).
> 
> May suggest there is two kinds of exceptions. The ones which are part of  
> the interface and the ones which are part of the implementation.  
> Declarations in the large goes this way too.

Exception is never an implementation, because its propagation or
non-propagation always changes the client's logic.

It is same as to claim than an output parameter is a part of the
implementation.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de