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.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,43aafc250d42730f X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-07 14:02:20 PST Path: supernews.google.com!sn-xit-02!supernews.com!isdnet!wanadoo.fr!not-for-mail From: "Jean-Pierre Rosen" Newsgroups: comp.lang.ada Subject: Re: controlled type in generic package? Date: Wed, 7 Feb 2001 16:08:38 +0100 Organization: Wanadoo, l'internet avec France Telecom Message-ID: <95sgl2$3c8$1@wanadoo.fr> References: <3A7FDA9A.C667090F@stn-atlas.de> <95p2ab$463$1@nnrp1.deja.com> NNTP-Posting-Host: mix-tuileries-104-1-54.abo.wanadoo.fr X-Trace: wanadoo.fr 981583330 3464 193.250.183.54 (7 Feb 2001 22:02:10 GMT) X-Complaints-To: abuse@wanadoo.fr NNTP-Posting-Date: 7 Feb 2001 22:02:10 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: supernews.google.com comp.lang.ada:4954 Date: 2001-02-07T22:02:10+00:00 List-Id: "Ted Dennison" a �crit dans le message news: 95p2ab$463$1@nnrp1.deja.com... > Also, any instantiations of this generic will have to be done at the > library level, since Limited_Controlled is declared at the library > level, and types can't be declared at a lower level of scope than their > parent types. (As a user, I hate that rule.) > I have sympathy for this feeling, and I see many people falling into that trap, but to be fair: Do you know ANY language that allows it ? Most OO languages (C++, Java, Eiffel, even Turbo-Pascal) do not allow declaring classes within a subprogram. In Ada, all classes must be declared at the same level. In other languages, all classes must be declared at level 0. So Ada is actually *more* permissive than other languages... -- --------------------------------------------------------- J-P. Rosen (Rosen.Adalog@wanadoo.fr) Visit Adalog's web site at http://pro.wanadoo.fr/adalog