Subject: [sv-ac] suggested revision on local variables
From: John Havlicek (john.havlicek@motorola.com)
Date: Wed Apr 09 2003 - 17:24:53 PDT
All:
Based on revisions to the semantics of local variables, I recommend the
following revisions to LRM Section 17.8.
Best regards,
John Havlicek
--------
OLD:
More precisely, a local variable passes on past the _or_ if and only if, either
a. The local variable exists at the start of _or_, or
b. The local variable is sampled in both branches of _or_.
Note that both a) and b) can hold. Note that both a. and b. can hold.
NEW:
More precisely, a local variable passes on past the _or_ if and only if
it passes through both branches of the _or_.
--------
OLD:
More precisely, a local variable passes on past the join iff either
a. The local variable exists at the start of the "&&" or "intersect" and is
sampled in neither branch. Or
b. The local variable is sampled in exactly one of the branches.
NEW:
More precisely, a local variable that passes through at least one
branch of the join will be passed on past the join unless it is "blocked".
A local variable is blocked from passing on past the join if either:
a. The local variable is sampled in and passes through each branch of
the join. Or
b. The local variable is blocked from passing through at least one of the
branches of the join.
This archive was generated by hypermail 2b28 : Wed Apr 09 2003 - 17:30:10 PDT