Dear Johan,
the accepted CR is CR 187 and the BNF says now
GuardStatement ::= AltGuardChar (AltstepInstance [StatementBlock] |
GuardOp StatementBlock)
Cheers, Ina.
György Réthy (IJ/ETH) wrote:
> Hi,
>
> The CR is accepted, the statement block in Jonah's example is allowed
> (on the agreed change list).
>
> Cheers, Gyorgy
>
>
Original Message
> From: Wayne Elliott [
This email address is being protected from spambots. You need JavaScript enabled to view it.]
> Sent: Friday, October 10, 2003 12:13 PM
> To:
This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: Re: altstep call with following statement body
>
> Johan,
>
> I believe we (STS) raised a CR to address this issue, last year.
>
>
> Wayne
>
>
Original Message
> From: Johan Nordin [
This email address is being protected from spambots. You need JavaScript enabled to view it.]
> Sent: 10 October 2003 11:06
> To:
This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: altstep call with following statement body
>
> Hello,
>
>
>
> Can anyone please remind me about the conclusion of the very
> lengthy discussion a couple of years ago regarding whether or
> not it should be allowed to use the following construct:
>
>
>
> Alt
>
> {
>
> [] MyAltstep()
>
> {
>
> // statement block
>
> ...
>
> }
>
> ...
>
>
>
>
>
> I think the standard is still unclear on this issue or have I
> missed something?
>
>
>
> Cheers,
>
> /Johan
>
>
>
>
>
>
>
>
>
>
> Tau Generation2 - Development Visualized. Productivity Realized.
>
> Learn more about Telelogic's new system and software development
>
> solution at:
www.taug2.com <
www.taug2.com/>
>
>
>
>
> Johan Nordin
>
> Technical specialist
>
> Telelogic
>
> Box 4128 SE-203 12 Malmö, Sweden
> Visiting Address: Kungsgatan 6
>
> Tel: +46 703 05 25 27
>
> Email:
This email address is being protected from spambots. You need JavaScript enabled to view it.
>
> URL:
www.telelogic.com/
>
>
>
>
> Telelogic - Putting you ahead in development!
>
>
>
>
>
>
>
>
>
--
Ina Schieferdecker
Fraunhofer FOKUS email:
This email address is being protected from spambots. You need JavaScript enabled to view it.
Kaiserin-Augusta-Allee 31 tel: ++49-30-3463-7241
D-10589 Berlin fax: ++49-30-3463-8241