Dmitry A. Kazakov wrote:
> On Sun, 08 Jun 2008 09:47:30 +0300, Niklas Holsti wrote:
>
>
>>The solution is just to add one more "begin..end" block, enclosing
>>the "declare .. begin .. end", and handle the exceptions in this
>>outer "begin..end" block. Or handle the exceptions in the
>>subprogram's "begin..end" block and nest the "declare..begin..end"
>>within the subprograms "begin..end".
>>
>>That said, I admit that I, too, have made this mistake once or
>>twice. But not lately.
>
>
> If exceptions were contracted such, quite nasty, errors could be
detected
> at compile time.
Only if the programmer specifies the exception contracts separately
for the declarative parts and the statements. I don't remember any
such proposals.
>>I wonder if it would be a good idea for Ada to allow an exception
>>handler also in the "declare" part, as follows:
>>
>> -- NOT Ada!
>> declare <some variables>
>> exception <handle exceptions raised in the declarations>
>> begin <some statements>
>> exception <handle exceptions raised in the statements>
>> end;
>>
>>Of course, in this proposal the declaration-exception handler would
>>not have access to the declared variables.
>
>
> But then, for regularity sake, you would need to add exception handling
to
> all declarative parts:
And why not?
> package A is
> <some declarations>
> exception
> <handling elaboration problems of A, HOW?> (:-))
> end A;
It seems, from your smiley, that you feel that such a structure
would be somehow impossible. I don't see why; the exception handler
could execute any sort of non-erroneous code that could be executed
in any subprogram called as part of the declarations in package A.
For example, it could set some flag in another package to inform
the application that package A cannot be used because its
elaboration failed. If the application uses run-time elaboration
checks, it could even continue executing, as long as it does not
try to use anything in A. I admit that this might need an extended
form of run-time elaboration checks.
I'm not suggesting that this feature (exception handlers in package
declarations) is desirable, but I don't think it would be
impossible, and it could even be useful in some applications.
--
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
. @[EMAIL PROTECTED]
.
|
