[sv-bc] 10.4: nesting priority if

1800 10.4 says,

"The unique and priority keywords apply to the entire series of if...else...if conditions. In the preceding
examples, it would have been illegal to insert either keyword after any of the occurrences of else. To
nest another if statement within such a series of conditions, a begin...end block should be used."

Is this strictly true?

The syntax alone would not seem to forbid it:

conditional_statement ::=
  if ( cond_predicate ) statement_or_null 
                 [ else statement_or_null ]
| unique_priority_if_statement

unique_priority_if_statement ::=
  [ unique_priority ] if ( cond_predicate ) statement_or_null
               { else if ( cond_predicate ) statement_or_null }
               [ else statement_or_null ]

In the "else statement_or_null" clause, statement_or_null itself could be a unique_priority_if_statement.

For example, couldn't I have something of the form 

priority if (a) ...
else
  unique if (b) ...
    else if (c) ... 

where the idea is that b and c are irrelevant unless a=0. Only if a=0 do I assert that b and c are unique.

Thanks,
Shalom


Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6852
+972 54 721-1033
I don't represent Intel