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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5180aa2f8808801a X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: limited type Date: 30 Sep 2005 13:09:19 -0400 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <1128096386.946431.122480@g14g2000cwa.googlegroups.com> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: pcls4.std.com 1128100159 16209 192.74.137.71 (30 Sep 2005 17:09:19 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 30 Sep 2005 17:09:19 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: g2news1.google.com comp.lang.ada:5312 Date: 2005-09-30T13:09:19-04:00 List-Id: "adaman" writes: > Hello, > > 1�) I have a tagged limited type. I want also to derived this type > from an other not limited. Is is possible ? Example : > type T_Object is tagged private; > type T_Toto is new T_Object with limited private. Possible ???? No. Limited types are supposed to prevent copying, and this is intended to be checkable at compile time. If you could do the above, then you could copy values of type T_Object'Class whose tag is T_Toto'Tag -- a loophole. > 2�) I have a tagged limited type. I have an other which derived from > this base type. Is this new type is limited ? Example : > type T_Object is tagged limited private; > type T_Toto is new T_Object with private. Is is Toto limited ???? Yes, T_Toto is limited, for similar reasons as above. - Bob