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,1888e8caa20a2f2d X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!proxad.net!gatel-ffm!gatel-ffm!194.25.134.126.MISMATCH!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!news.arcor.de!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Controlled types and exception safety Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.14.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <8sKdnXNeIZMxIg3eRVn-ig@comcast.com> <3trncoj4t0va.19bs46zhm4xbe.dlg@40tude.net> <2Rklf.171$n1.114@newsread2.news.pas.earthlink.net> <1ugz5ky1m9mby$.8c8ipmbl0l99$.dlg@40tude.net> Date: Wed, 7 Dec 2005 11:01:49 +0100 Message-ID: NNTP-Posting-Date: 07 Dec 2005 11:01:50 MET NNTP-Posting-Host: 906793fa.newsread4.arcor-online.net X-Trace: DXC=_MdJ6RUHZEQBJG3c^A]i\Z:ejgIfPPldTjW\KbG]kaMXFYk:AnJB[C]4TgnR4M[HQU[6LHn;2LCV^7enW;^6ZC`T<=9bOTW=MN^ X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:6759 Date: 2005-12-07T11:01:50+01:00 List-Id: On Wed, 07 Dec 2005 02:00:58 GMT, Jeffrey R. Carter wrote: > IANALL and I haven't thought deeply about this, but I think these can be solved. Sure, but not in a model where assignment is treated as just a plain subroutine to override. We cannot override the assignments of the components. There should be a way for the type designer to define things to be done on each assignment no matter what the derived type could do. There should be private and public parts of assignment and so on and so far. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de