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!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: operation can be dispatching in only one type Date: Thu, 26 Nov 2015 16:16:33 +0100 Organization: A noiseless patient Spider Message-ID: References: <04eb6626-644b-4b16-a329-c35659a9fbe2@googlegroups.com> <1ephv5ugr5mib$.9ehadf3dddct$.dlg@40tude.net> <1nf8wc05tjtvf$.1ctjb9hsr0qsp.dlg@40tude.net> <8132c558-aec2-41f4-8024-4a75a2d497ae@googlegroups.com> <17c8a7kqoxvff.aa1raqev6xlu$.dlg@40tude.net> <75a4c7be-391d-4e5d-9e6e-23607132c943@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit Injection-Date: Thu, 26 Nov 2015 15:14:09 -0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="45bffd6a911624777cad79aac3181090"; logging-data="3283"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+aXxBuxHj7oE0RpRquQnqz" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 In-Reply-To: <75a4c7be-391d-4e5d-9e6e-23607132c943@googlegroups.com> Cancel-Lock: sha1:PgEPYMy7MvI0dQwsMYiSZ4i291U= Xref: news.eternal-september.org comp.lang.ada:28549 Date: 2015-11-26T16:16:33+01:00 List-Id: Le 26/11/2015 15:27, Serge Robyns a écrit : > n Thursday, 26 November 2015 14:15:01 UTC+1, Dmitry A. Kazakov wrote: >> > If Ada were a better language you could override getters/setters and >> > provide your own implementation: >> > >> > type T is private record -- This is not Ada! >> > X : Integer; >> > end record; >> > private >> > type T is new DB.Handle with null record; -- No Integer members! >> > procedure ".X" (Left : in out T; Right : Integer); >> > function ".X" (Left : T) return Integer); >> > >> > P.S. Surely, at some point there would a kludge invented with aspects as it >> > was done for array indexing... > Got you. Yes that would be nice but my need is current :-( > I agree that this would be a marvelous enhancement. Nothing marvelous, just saving keystrokes. You can always make a private type and explicit subprograms to access "virtual" components. -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr