Re: Subprogram Renaming

["James A. Squire" <m193884@CSEHP3.MDC.COM>]

On Wed, 10 Apr 1996 23:42:36 GMT, Robert A Duff <bobduff@WORLD.STD.COM>
wrote:

> In article <316BC3D6.14E7@csehp3.mdc.com>,
> James A. Squire <m193884@CSEHP3.MDC.COM> wrote:
> >Oh, wait a minute.  "Type conformance" refers to the base types then?
> >Then, "Subtype conformance" refers to the actual parameter types being
> >used?  If that's not it, then I must say I am _really_ confused.  If
> >that _is_ it, then as far as I can tell, that describes perfectly what
> >renaming requires in Ada83, so I must disagree with your last statement.
>
> Not sure what you're asking.  Type conformance refers to types of
> parameters, subtype conformance refers to subtypes of parameters.

When you say subtype and then later type, I don't know which one refers
to the text that I see between the "[in] [out]" and the ";".  That's
what I'm asking.  I assume that this text in between the mode field and
the ";" is considered the subtype, right?  Therefore, subtype
conformance means that the actual type names explicitly used in the
profiles must be exactly the same, right?  Then type conformance simply
means that the base types that these subtypes were derived from must be
the same, right?

> Type conformance is less strict that subtype conformance -- that is, if X and
> Y are subtype conformant, then they are also type conformant, but not
> the other way around.

That's the _only_ thing that _was_ clear from the LRM.
--
James Squire
MDA Avionics Tools & Processes
ja_squire@csehp3.mdc.com
"one of these days I'm going to better myself by going to Knight school"
"You'll be a web knight instead of a web page!"