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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ac5c3bc59168d76 X-Google-Attributes: gid103376,public From: "James A. Squire" Subject: Re: Subprogram Renaming Date: 1996/04/12 Message-ID: <316E70B7.63DD@csehp3.mdc.com>#1/1 X-Deja-AN: 147137505 sender: Ada programming language references: comments: Gated by NETNEWS@AUVM.AMERICAN.EDU content-type: text/plain; charset=us-ascii organization: MDA Avionics Tools & Processes mime-version: 1.0 newsgroups: comp.lang.ada x-mailer: Mozilla 2.01 (X11; I; HP-UX A.09.01 9000/715) Date: 1996-04-12T00:00:00+00:00 List-Id: On Wed, 10 Apr 1996 23:42:36 GMT, Robert A Duff wrote: > In article <316BC3D6.14E7@csehp3.mdc.com>, > James A. Squire 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!"