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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c62c9a290ae8e9ab X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-14 13:36:25 PST Path: supernews.google.com!sn-xit-02!supernews.com!isdnet!enst!enst.fr!not-for-mail From: "Robert C. Leif, Ph.D." Newsgroups: comp.lang.ada Subject: RE: [Ada-Comment] Extensible Enumerated Types Date: Wed, 14 Feb 2001 13:34:28 -0800 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 982186584 6717 137.194.161.2 (14 Feb 2001 21:36:24 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Wed, 14 Feb 2001 21:36:24 +0000 (UTC) To: "Randy Brukardt" , "Comp. Lang. Ada" Return-Path: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0) Importance: Normal In-Reply-To: <006c01c096af$a722e8e0$0304a8c0@bigboy.rrsoftware.com> X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , List-Archive: Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: supernews.google.com comp.lang.ada:5262 Date: 2001-02-14T13:34:28-08:00 From: Bob Leif To:Randy Brukardt et al. Randy, many thanks for solving the mystery. Since this discussion was originally on Comp.Lang.Ada and others may have been searching for this text, I have taken the liberty of posting it. --------------------------------------------------------------- SNIP I went and looking in a dusty carton in the far corner of the basement of our office, and looked at all of the old mapping documents. The proposal disappeared between Mapping 2.0 (May 1991) and Mapping 3.0 (June 1991). These versions probably were internal use only (my copy of Mapping 2.0 was faxed me from AETECH), so I doubt Dr. Leif could find it anywhere. So, here is the complete proposal (so far as I can find) from Mapping 2.0: 3.5.1 Enumeration Types An enumeration type may be extended as part of a type derivation by specifying additional enumeration literals. The enumeration literals for the type include those corresponding to the parent and the new enumeration literals. For each enumeration literal of the parent, there is a corresponding literal for the new type (with the corresponding position and ordering). The position number of the first enumeration literal in the extension part is one more than the position number of the last enumeration literal of the parent type. Examples: type Boolean_with_Unknown is new Boolean with (Unknown); -- Boolean_with_Unknown has three enumeration literals, -- False, True, and Unknown with position numbers 0, 1, and 2. type Rainbow is (Red, Orange, Yellow, Green, Blue, Indigo, Violet); type Full_Color is new Rainbow with (Brown, Black, White); -- Full_Color is an enumeration type with the literals: -- Red, Orange, Yellow, Green, Blue, -- Indigo, Violet, Brown, Black, White SNIP Anyway, enjoy. :-) Randy Brukardt.