Section A.2.10, 17
Assertions BNF

In Syntax 17-2, in goto_repetition, REPLACE

[*>

WITH

[*->

In 17.7.10, in the first example, REPLACE

end_trans)

WITH

end_trans

In A.2.10, Syntax 17-2, and Syntax 17-10, in sequence_expr, REPLACE

| expression throughout sequence_expr

WITH

| expression_or_dist throughout sequence_expr

In A.2.10, Syntax 17-2, Syntax 17-9, in sequence_expr, REPLACE

| first_match ( sequence_expr )

WITH

| first_match ( sequence_expr { , sequence_match_item } )

In A.2.10 and Syntax 17-2, REPLACE

expression_or_dist ::=

expression

| expression dist { dist_list }

WITH

expression_or_dist ::= expression [ dist { dist_list } ]

In A.2.10, Syntax 17-2, 17-4, REPLACE

actual_arg_list ::=

( actual_arg_expr { , actual_arg_expr } )

| ( . formal_identifier ( actual_arg_expr ) { , . formal_identifier ( actual_arg_expr ) } )

WITH

actual_arg_list ::=

actual_arg_expr { , actual_arg_expr }

| . formal_identifier ( actual_arg_expr ) { , . formal_identifier ( actual_arg_expr ) }

In A.2.10, Syntax 17-2,17-4, REPLACE

sequence_instance ::=

sequence_identifier [ ( actual_arg_list ) ]

WITH

sequence_instance ::=

sequence_identifier [ ( [ actual_arg_list ] ) ]

In A.2.10, Syntax 17-15, REPLACE

property_instance ::=

property_identifier [ ( actual_arg_list ) ]

WITH

property_instance ::=

property_identifier [ ( [ actual_arg_list ] ) ]

In Syntax 17-15, REMOVE

// from Annex A.6.10

In A.2.10, Syntax 17-4, Syntax 17-15, ADD

list_of_formals ::= formal_list_item { , formal_list_item }

In A.2.10 and Syntax 17-4, REMOVE

sequence_formal_list

and in sequence_declaration REPLACE

sequence_formal_list

WITH

( [ list_of_formals ] )

In A.2.10 and Syntax 17-15, REMOVE

property_formal_list

and in property_declaration REPLACE

property_formal_list

WITH

( [ list_of_formals ] )

In Syntax 17-2, REMOVE

formal_list_item