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,3ccb707f4c91a5f2 X-Google-Attributes: gid103376,public From: bobduff@world.std.com (Robert A Duff) Subject: Re: Java vs Ada 95 (Was Re: Once again, Ada absent from DoD SBIR solicitation) Date: 1996/11/17 Message-ID: #1/1 X-Deja-AN: 197099266 references: <325BC3B3.41C6@hso.link.com> <56kt98$6at@fozzie.sun3.iaf.nl> organization: The World Public Access UNIX, Brookline, MA newsgroups: comp.lang.ada Date: 1996-11-17T00:00:00+00:00 List-Id: In article , Robert Dewar wrote: >You cannot assume anything about the bodies of standard units that is >not specified in the reference manual. The question here focuses on >whether RM A.3 applies to implicit calls to finalize, and what exactly ^^^ That's A(3), i.e. paragraph 3 of section A, not section A.3. >"perform as specified" means for these implicit calls, given that no >specification for finalize is given. Type Unbounded_String (a private type) has no Finalize operation. If the implementation puts one in the private part, then it had better not do anything that violates the semantics. And the semantics of Unbounded_Strings *are* specified pretty clearly (at least as clearly as you can get when writing in English, as opposed to some formal notation). And those semantics do not call for any erroneousness. > Implementation Requirements > >3 The implementation shall ensure that each language defined subprogram is >reentrant in the sense that concurrent calls on the same subprogram perform >as specified, so long as all parameters that could be passed by reference >denote nonoverlapping objects. > >oops, thats A.3 not A.e Oops, that's A(3). - Bob