[php-langspec] master: Indicate space is allowed between "endswitch" and ";"

Author: Ben Ramsey (ramsey) Committer: Nikita Popov (nikic) Date: 2024-03-03T12:26:05+01:00 Commit: https://github.com/php/php-langspec/commit/287f3d0e12391be858d6623a4bec035d2647c621 Raw diff: https://github.com/php/php-langspec/commit/287f3d0e12391be858d6623a4bec035d2647c621.diff Indicate space is allowed between "endswitch" and ";" Changed paths: M spec/11-statements.md M spec/19-grammar.md Diff: diff --git a/spec/11-statements.md b/spec/11-statements.md index d9eb5d1..61af9cc 100644 --- a/spec/11-statements.md +++ b/spec/11-statements.md @@ -314,7 +314,7 @@ else // this else does go with the outer if <!-- GRAMMAR switch-statement: 'switch' '(' expression ')' '{' case-statements? '}' - 'switch' '(' expression ')' ':' case-statements? 'endswitch;' + 'switch' '(' expression ')' ':' case-statements? 'endswitch' ';' case-statements: case-statement case-statements? @@ -334,7 +334,7 @@ case-default-label-terminator: <pre> <i id="grammar-switch-statement">switch-statement:</i> switch ( <i><a href="10-expressions.md#grammar-expression">expression</a></i> ) { <i><a href="#grammar-case-statements">case-statements</a></i>_opt } - switch ( <i><a href="10-expressions.md#grammar-expression">expression</a></i> ) : <i><a href="#grammar-case-statements">case-statements</a></i>_opt endswitch; + switch ( <i><a href="10-expressions.md#grammar-expression">expression</a></i> ) : <i><a href="#grammar-case-statements">case-statements</a></i>_opt endswitch ; <i id="grammar-case-statements">case-statements:</i> <i><a href="#grammar-case-statement">case-statement</a></i> <i><a href="#grammar-case-statements">case-statements</a></i>_opt diff --git a/spec/19-grammar.md b/spec/19-grammar.md index e52237c..06f6260 100644 --- a/spec/19-grammar.md +++ b/spec/19-grammar.md @@ -783,7 +783,7 @@ The grammar notation is described in [Grammars section](09-lexical-structure.md# <i id="grammar-switch-statement">switch-statement:</i> switch ( <i><a href="#grammar-expression">expression</a></i> ) { <i><a href="#grammar-case-statements">case-statements</a></i>_opt } - switch ( <i><a href="#grammar-expression">expression</a></i> ) : <i><a href="#grammar-case-statements">case-statements</a></i>_opt endswitch; + switch ( <i><a href="#grammar-expression">expression</a></i> ) : <i><a href="#grammar-case-statements">case-statements</a></i>_opt endswitch ; <i id="grammar-case-statements">case-statements:</i> <i><a href="#grammar-case-statement">case-statement</a></i> <i><a href="#grammar-case-statements">case-statements</a></i>_opt