Re: Exceptions and out procedure arguments (using GNAT GPL)

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Wed, 20 Jun 2007 16:16:58 +0200, Georg Bauhaus wrote:

> On Wed, 2007-06-20 at 14:58 +0200, Dmitry A. Kazakov wrote:
>> On Wed, 20 Jun 2007 12:13:29 +0200, Georg Bauhaus wrote:
>> 
>>> On Wed, 2007-06-20 at 11:29 +0200, Dmitry A. Kazakov wrote:
>>>> On Wed, 20 Jun 2007 10:46:33 +0200, Georg Bauhaus wrote:
>>>> 
>>>>>>> And can you document all side effects on by reference (or global)
>>>>>>> variables at all, in the presence of exceptions?
>>>>>> 
>>>>>> That depends on the meaning of "all." Certainly, we cannot control
>>>>>> side-effects on the CPU's cache or on the green gas emission caused by
>>>>>> consuming electricity during subprogram execution...
>>>>> 
>>>>> Yes, no need repeating the absurd. So what is the meaning of "all
>>>>> side effects"?
>>>> 
>>>> Language-distinguishable sets of program states corresponding the
>>>> identified elements of the problem space.
>>> 
>>> Rephrasing the notion won't help defining it.
>> 
>> OK, give your definition of [side] effect of program execution so that we
>> could discuss your point.
> 
> A side effect of a subprogram P is a possible update of an object
> (in some partition) that is not mentioned in P's parameter profile.

1. What is "object"?
2. What is "update"?
3. Why this does not include "objects" mentioned in the parameter profile?
4. Which "updates" are you suggesting not to document?
6. When?
7. Why?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de