Issue 22157. Cancel a pending refactoring request on receiving a new one.

pkg/analysis_server/tool/spec/spec_input.html

Index: pkg/analysis_server/tool/spec/spec_input.html
diff --git a/pkg/analysis_server/tool/spec/spec_input.html b/pkg/analysis_server/tool/spec/spec_input.html
index 88451b41b411a86568837871239d0b85d782772b..3cbf39d525272911f0ee4f698bb7d5497c19ad97 100644
--- a/pkg/analysis_server/tool/spec/spec_input.html
+++ b/pkg/analysis_server/tool/spec/spec_input.html
@@ -1453,6 +1453,11 @@
         <p>
           Get the changes required to perform a refactoring.
         </p>
+        <p>
+          If another refactoring request is received during the processing
+          of this one, an error of type <tt>REFACTORING_REQUEST_CANCELLED</tt>
+          will be generated.
+        </p>
         <params>
           <field name="kind">
             <ref>RefactoringKind</ref>
@@ -3061,6 +3066,13 @@
             </p>
           </value>
           <value>
+            <code>REFACTORING_REQUEST_CANCELLED</code>
+            <p>
+              Another refactoring request was received during processing of
+              this one.
+            </p>
+          </value>
+          <value>
             <code>SERVER_ALREADY_STARTED</code>
             <p>
               The analysis server has already been started (and hence