Re: Java vs Ada 95 (Was Re: Once again, Ada absent from DoD SBIR solicitation)

[bobduff@world.std.com (Robert A Duff)]

In article <dewar.848239512@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> 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