Editorial: Be consistent about the sense of "match" (#2572)

Given 'prod' (a nonterminal, production, or Parse Node)
and 'text' (some source text, source code, or code points),
the spec has occurrences of both:
- prod matches text / text is matched by prod
and
- text matches prod / prod is matched by text

This PR changes the latter into the former.

Author: jmdyck

spec.html

@@ -11870,7 +11870,7 @@ <h1>
         1. If _env_ is not present or if _env_ is *undefined*, then
           1. Set _env_ to the running execution context's LexicalEnvironment.
         1. Assert: _env_ is an Environment Record.
-        1. If the code matching the syntactic production that is being evaluated is contained in strict mode code, let _strict_ be *true*; else let _strict_ be *false*.
+        1. If the code matched by the syntactic production that is being evaluated is contained in strict mode code, let _strict_ be *true*; else let _strict_ be *false*.
         1. Return ? GetIdentifierReference(_env_, _name_, _strict_).
       </emu-alg>
       <emu-note>
@@ -16685,7 +16685,7 @@ <h1>Static Semantics: Early Errors</h1>
           DecimalIntegerLiteral :: NonOctalDecimalIntegerLiteral
         </emu-grammar>
         <ul>
-          <li>It is a Syntax Error if the source code matching this production is strict mode code.</li>
+          <li>It is a Syntax Error if the source code matched by this production is strict mode code.</li>
         </ul>
         <emu-note>In non-strict code, this syntax is Legacy.</emu-note>
       </emu-clause>
@@ -16952,7 +16952,7 @@ <h1>Static Semantics: Early Errors</h1>
             NonOctalDecimalEscapeSequence
         </emu-grammar>
         <ul>
-          <li>It is a Syntax Error if the source code matching this production is strict mode code.</li>
+          <li>It is a Syntax Error if the source code matched by this production is strict mode code.</li>
         </ul>
         <emu-note>In non-strict code, this syntax is Legacy.</emu-note>
         <emu-note>
@@ -18243,7 +18243,7 @@ <h1>Static Semantics: Early Errors</h1>
         <emu-grammar>PropertyDefinition : CoverInitializedName</emu-grammar>
         <ul>
           <li>
-            Always throw a Syntax Error if code matches this production.
+            Always throw a Syntax Error if code is matched by this production.
           </li>
         </ul>
         <emu-note>
@@ -18846,7 +18846,7 @@ <h1>Static Semantics: Early Errors</h1>
         </emu-grammar>
         <ul>
           <li>
-            It is a Syntax Error if any code matches this production.
+            It is a Syntax Error if any code is matched by this production.
           </li>
         </ul>
         <emu-note>
@@ -19041,7 +19041,7 @@ <h1>Runtime Semantics: Evaluation</h1>
               1. Let _argList_ be ? ArgumentListEvaluation of _arguments_.
               1. If _argList_ has no elements, return *undefined*.
               1. Let _evalArg_ be the first element of _argList_.
-              1. If the source code matching this |CallExpression| is strict mode code, let _strictCaller_ be *true*. Otherwise let _strictCaller_ be *false*.
+              1. If the source code matched by this |CallExpression| is strict mode code, let _strictCaller_ be *true*. Otherwise let _strictCaller_ be *false*.
               1. Let _evalRealm_ be the current Realm Record.
               1. [id="step-callexpression-evaluation-direct-eval"] Return ? PerformEval(_evalArg_, _evalRealm_, _strictCaller_, *true*).
           1. Let _thisCall_ be this |CallExpression|.
@@ -22432,7 +22432,7 @@ <h1>Static Semantics: Early Errors</h1>
       <emu-grammar>WithStatement : `with` `(` Expression `)` Statement</emu-grammar>
       <ul>
         <li>
-          It is a Syntax Error if the code that matches this production is contained in strict mode code.
+          It is a Syntax Error if the code matched by this production is contained in strict mode code.
         </li>
         <li>
           It is a Syntax Error if IsLabelledFunction(|Statement|) is *true*.
@@ -22642,7 +22642,7 @@ <h1>Static Semantics: Early Errors</h1>
       <emu-grammar>LabelledItem : FunctionDeclaration</emu-grammar>
       <ul>
         <li>
-          It is a Syntax Error if any source text matches this rule.
+          It is a Syntax Error if any source text is matched by this rule.
         </li>
       </ul>
       <emu-note>
@@ -23222,10 +23222,10 @@ <h1>Static Semantics: Early Errors</h1>
       </emu-grammar>
       <ul>
         <li>
-          If the source code matching |FormalParameters| is strict mode code, the Early Error rules for <emu-grammar>UniqueFormalParameters : FormalParameters</emu-grammar> are applied.
+          If the source code matched by |FormalParameters| is strict mode code, the Early Error rules for <emu-grammar>UniqueFormalParameters : FormalParameters</emu-grammar> are applied.
         </li>
         <li>
-          If |BindingIdentifier| is present and the source code matching |BindingIdentifier| is strict mode code, it is a Syntax Error if the StringValue of |BindingIdentifier| is *"eval"* or *"arguments"*.
+          If |BindingIdentifier| is present and the source code matched by |BindingIdentifier| is strict mode code, it is a Syntax Error if the StringValue of |BindingIdentifier| is *"eval"* or *"arguments"*.
         </li>
         <li>
           It is a Syntax Error if FunctionBodyContainsUseStrict of |FunctionBody| is *true* and IsSimpleParameterList of |FormalParameters| is *false*.
@@ -23800,10 +23800,10 @@ <h1>Static Semantics: Early Errors</h1>
       </emu-grammar>
       <ul>
         <li>
-          If the source code matching |FormalParameters| is strict mode code, the Early Error rules for <emu-grammar>UniqueFormalParameters : FormalParameters</emu-grammar> are applied.
+          If the source code matched by |FormalParameters| is strict mode code, the Early Error rules for <emu-grammar>UniqueFormalParameters : FormalParameters</emu-grammar> are applied.
         </li>
         <li>
-          If |BindingIdentifier| is present and the source code matching |BindingIdentifier| is strict mode code, it is a Syntax Error if the StringValue of |BindingIdentifier| is *"eval"* or *"arguments"*.
+          If |BindingIdentifier| is present and the source code matched by |BindingIdentifier| is strict mode code, it is a Syntax Error if the StringValue of |BindingIdentifier| is *"eval"* or *"arguments"*.
         </li>
         <li>
           It is a Syntax Error if FunctionBodyContainsUseStrict of |GeneratorBody| is *true* and IsSimpleParameterList of |FormalParameters| is *false*.
@@ -24039,8 +24039,8 @@ <h1>Static Semantics: Early Errors</h1>
           `async` `function` `*` BindingIdentifier? `(` FormalParameters `)` `{` AsyncGeneratorBody `}`
       </emu-grammar>
       <ul>
-        <li>If the source code matching |FormalParameters| is strict mode code, the Early Error rules for <emu-grammar>UniqueFormalParameters : FormalParameters</emu-grammar> are applied.</li>
-        <li>If |BindingIdentifier| is present and the source code matching |BindingIdentifier| is strict mode code, it is a Syntax Error if the StringValue of |BindingIdentifier| is *"eval"* or *"arguments"*.</li>
+        <li>If the source code matched by |FormalParameters| is strict mode code, the Early Error rules for <emu-grammar>UniqueFormalParameters : FormalParameters</emu-grammar> are applied.</li>
+        <li>If |BindingIdentifier| is present and the source code matched by |BindingIdentifier| is strict mode code, it is a Syntax Error if the StringValue of |BindingIdentifier| is *"eval"* or *"arguments"*.</li>
         <li>It is a Syntax Error if FunctionBodyContainsUseStrict of |AsyncGeneratorBody| is *true* and IsSimpleParameterList of |FormalParameters| is *false*.</li>
         <li>It is a Syntax Error if any element of the BoundNames of |FormalParameters| also occurs in the LexicallyDeclaredNames of |AsyncGeneratorBody|.</li>
         <li>It is a Syntax Error if |FormalParameters| Contains |YieldExpression| is *true*.</li>
@@ -24985,8 +24985,8 @@ <h1>Static Semantics: Early Errors</h1>
       <ul>
         <li>It is a Syntax Error if FunctionBodyContainsUseStrict of |AsyncFunctionBody| is *true* and IsSimpleParameterList of |FormalParameters| is *false*.</li>
         <li>It is a Syntax Error if |FormalParameters| Contains |AwaitExpression| is *true*.</li>
-        <li>If the source code matching |FormalParameters| is strict mode code, the Early Error rules for <emu-grammar>UniqueFormalParameters : FormalParameters</emu-grammar> are applied.</li>
-        <li>If |BindingIdentifier| is present and the source code matching |BindingIdentifier| is strict mode code, it is a Syntax Error if the StringValue of |BindingIdentifier| is *"eval"* or *"arguments"*.</li>
+        <li>If the source code matched by |FormalParameters| is strict mode code, the Early Error rules for <emu-grammar>UniqueFormalParameters : FormalParameters</emu-grammar> are applied.</li>
+        <li>If |BindingIdentifier| is present and the source code matched by |BindingIdentifier| is strict mode code, it is a Syntax Error if the StringValue of |BindingIdentifier| is *"eval"* or *"arguments"*.</li>
         <li>It is a Syntax Error if any element of the BoundNames of |FormalParameters| also occurs in the LexicallyDeclaredNames of |AsyncFunctionBody|.</li>
         <li>It is a Syntax Error if |FormalParameters| Contains |SuperProperty| is *true*.</li>
         <li>It is a Syntax Error if |AsyncFunctionBody| Contains |SuperProperty| is *true*.</li>
@@ -25259,7 +25259,7 @@ <h1>
       <dl class="header">
       </dl>
       <emu-alg>
-        1. If the source code matching _call_ is non-strict code, return *false*.
+        1. If the source code matched by _call_ is non-strict code, return *false*.
         1. If _call_ is not contained within a |FunctionBody|, |ConciseBody|, or |AsyncConciseBody|, return *false*.
         1. Let _body_ be the |FunctionBody|, |ConciseBody|, or |AsyncConciseBody| that most closely contains _call_.
         1. If _body_ is the |FunctionBody| of a |GeneratorBody|, return *false*.
@@ -28503,7 +28503,7 @@ <h1>Forbidden Extensions</h1>
         The RegExp pattern grammars in <emu-xref href="#sec-patterns"></emu-xref> and <emu-xref href="#sec-regular-expressions-patterns"></emu-xref> must not be extended to recognize any of the source characters A-Z or a-z as |IdentityEscape[+UnicodeMode]| when the <sub>[UnicodeMode]</sub> grammar parameter is present.
       </li>
       <li>
-        The Syntactic Grammar must not be extended in any manner that allows the token `:` to immediately follow source text that matches the |BindingIdentifier| nonterminal symbol.
+        The Syntactic Grammar must not be extended in any manner that allows the token `:` to immediately follow source text that is matched by the |BindingIdentifier| nonterminal symbol.
       </li>
       <li>
         When processing strict mode code, an implementation must not relax the early error rules of <emu-xref href="#sec-numeric-literals-early-errors"></emu-xref>.
@@ -29949,7 +29949,7 @@ <h1>
             1. Let _body_ be ParseText(! StringToCodePoints(_bodyString_), _bodySym_).
             1. If _body_ is a List of errors, throw a *SyntaxError* exception.
             1. NOTE: The parameters and body are parsed separately to ensure that each is valid alone. For example, `new Function("/*", "*/ ) {")` is not legal.
-            1. NOTE: If this step is reached, _sourceText_ must match _exprSym_ (although the reverse implication does not hold). The purpose of the next two steps is to enforce any Early Error rules which apply to _exprSym_ directly.
+            1. NOTE: If this step is reached, _sourceText_ must have the syntax of _exprSym_ (although the reverse implication does not hold). The purpose of the next two steps is to enforce any Early Error rules which apply to _exprSym_ directly.
             1. Let _expr_ be ParseText(_sourceText_, _exprSym_).
             1. If _expr_ is a List of errors, throw a *SyntaxError* exception.
             1. Let _proto_ be ? GetPrototypeFromConstructor(_newTarget_, _fallbackProto_).
@@ -46797,7 +46797,7 @@ <h1>Static Semantics: Early Errors</h1>
         <emu-grammar>ExtendedAtom :: InvalidBracedQuantifier</emu-grammar>
         <ul>
           <li>
-            It is a Syntax Error if any source text matches this rule.
+            It is a Syntax Error if any source text is matched by this rule.
           </li>
         </ul>
         <p>Additionally, the rules for the following productions are modified with the addition of the <ins>highlighted</ins> text:</p>
@@ -47325,7 +47325,7 @@ <h1>Labelled Function Declarations</h1>
       <emu-grammar>LabelledItem : FunctionDeclaration</emu-grammar>
       <ul>
         <li>
-          It is a Syntax Error if any <ins>strict mode</ins> source code matches this rule.
+          It is a Syntax Error if any <ins>strict mode</ins> source code is matched by this rule.
         </li>
       </ul>
       <emu-note>
@@ -47490,7 +47490,7 @@ <h1>Changes to Block Static Semantics: Early Errors</h1>
         <emu-grammar>Block : `{` StatementList `}`</emu-grammar>
         <ul>
           <li>
-            It is a Syntax Error if the LexicallyDeclaredNames of |StatementList| contains any duplicate entries<ins>, unless the source code matching this production is not strict mode code and the duplicate entries are only bound by FunctionDeclarations</ins>.
+            It is a Syntax Error if the LexicallyDeclaredNames of |StatementList| contains any duplicate entries<ins>, unless the source code matched by this production is not strict mode code and the duplicate entries are only bound by FunctionDeclarations</ins>.
           </li>
           <li>
             It is a Syntax Error if any element of the LexicallyDeclaredNames of |StatementList| also occurs in the VarDeclaredNames of |StatementList|.
@@ -47504,7 +47504,7 @@ <h1>Changes to `switch` Statement Static Semantics: Early Errors</h1>
         <emu-grammar>SwitchStatement : `switch` `(` Expression `)` CaseBlock</emu-grammar>
         <ul>
           <li>
-            It is a Syntax Error if the LexicallyDeclaredNames of |CaseBlock| contains any duplicate entries<ins>, unless the source code matching this production is not strict mode code and the duplicate entries are only bound by FunctionDeclarations</ins>.
+            It is a Syntax Error if the LexicallyDeclaredNames of |CaseBlock| contains any duplicate entries<ins>, unless the source code matched by this production is not strict mode code and the duplicate entries are only bound by FunctionDeclarations</ins>.
           </li>
           <li>
             It is a Syntax Error if any element of the LexicallyDeclaredNames of |CaseBlock| also occurs in the VarDeclaredNames of |CaseBlock|.
@@ -47540,7 +47540,7 @@ <h1>FunctionDeclarations in IfStatement Statement Clauses</h1>
           `if` `(` Expression[+In, ?Yield, ?Await] `)` FunctionDeclaration[?Yield, ?Await, ~Default] `else` FunctionDeclaration[?Yield, ?Await, ~Default]
           `if` `(` Expression[+In, ?Yield, ?Await] `)` FunctionDeclaration[?Yield, ?Await, ~Default] [lookahead != `else`]
       </emu-grammar>
-      <p>This production only applies when parsing non-strict code. Code matching this production is processed as if each matching occurrence of |FunctionDeclaration[?Yield, ?Await, ~Default]| was the sole |StatementListItem| of a |BlockStatement| occupying that position in the source code. The semantics of such a synthetic |BlockStatement| includes the web legacy compatibility semantics specified in <emu-xref href="#sec-block-level-function-declarations-web-legacy-compatibility-semantics"></emu-xref>.</p>
+      <p>This production only applies when parsing non-strict code. Code matched by this production is processed as if each matching occurrence of |FunctionDeclaration[?Yield, ?Await, ~Default]| was the sole |StatementListItem| of a |BlockStatement| occupying that position in the source code. The semantics of such a synthetic |BlockStatement| includes the web legacy compatibility semantics specified in <emu-xref href="#sec-block-level-function-declarations-web-legacy-compatibility-semantics"></emu-xref>.</p>
     </emu-annex>
 
     <emu-annex id="sec-variablestatements-in-catch-blocks">