Section 12.13, Syntax 8-1, Syntax 15-4, A.6.4, A.6.7
Randcase statement

In the syntax box of 12.13, REPLACE

statement_item ::=

{ attribute_instance } randcase randcase_item { randcase_item } endcase

WITH

randcase_statement ::=

randcase randcase_item { randcase_item } endcase

In A.6.7, ADD

randcase_statement ::=

randcase randcase_item { randcase_item } endcase

randcase_item ::= expression : statement_or_null

In A.6.4 and Syntax 8-1 and Syntax 15-4, REPLACE

statement ::= [ block_identifer : ] statement_item

WITH

statement ::= [ block_identifer : ] { attribute_instance } statement_item

In A.6.4 and Syntax 8-1 and Syntax 15-4, in statement_item, REMOVE each occurrence of

{ attribute_instance }

In A.6.4 and Syntax 8-1, in statement_item, ADD

| randcase_statement