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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!censor!geac!torsqnt!lethe!yunexus!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!apple!usc!sdd.hp.com!elroy.jpl.nasa.gov!decwrl!ucbvax!EAST.Pima.edu!RHARWOOD
From: RHARWOOD@EAST.Pima.edu (Ray Harwood)
Newsgroups: comp.lang.ada
Subject: Ada9X and Inheritance
Message-ID: <D7DB0CDC83A1403333@Arizona.edu>
Date: 10 Jan 91 23:59:00 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>

In <1991Jan9.231931.7905@src.honeywell.com>, Mike Miller asks about Ada9X
and inheritance.

Ada9X Requirements document section 4 deals with "Support for Programming
Paradigms."  In the Requirements document, many "user needs" are addressed
which are followed either by "Requirements" (those things which Ada9X must
address) and/or "Study Topics" (those things which Ada9X should address
if it can do so within certain restrictions set forth elsewhere).

Section 4.1 entitled "Subprograms" does include "User Need U4.1-A: Dynamic
Subprogram Selection", which (with my limited exposure to OOP) appears
to be a step toward the object oriented methodology.  Without including
the full text here (I'll make it available if demand is sufficient), I'll
simply say that "Study Topic S4.1-A(1) - Subprograms As Objects" looks
promising to the few OOP-smart folks I've talked with, though they express
their disappointment at it being a Study Topic instead of a Requirement.

Ray Harwood