(j3.2006) Public Comment J32034

[Aleksandar Donev]

Hi,

The example

CRITICAL
BLOCK
   code
END BLOCK
END CRITICAL

that Jim Giles gave seems legal to me. It may seem more verbose or less 
clear than "CRITICAL BLOCK", but seems just fine to me, especially if 
you don't want to allow declarations inside every block construct. BLOCK 
means "I am declaring things here", and CRITICAL means what it means, 
and using them on the same line or on two consecutive lines hardly seems 
to make any difference. Making changes, just like adding features, 
should be done after deliberation, not merely to please the public 
(comment).

Jim Giles wrote:
 >    Critical subroutine set_flag(args)
 >     ...
 >    End subroutine set_flag
 >
 > Which, let's suppose sets a shared flag variable based on the
 > arguments.  What's difficult about that?
Nothing. For the procedure case, I now understand that the issue, as Van 
explained, is that the specification and finalization part cannot be 
wrapped inside CRITICAL. Now that I understand what it is you want it 
can be argued in the committee better and decided whether it is a 
"compelling" request.

Best,
Aleks