Fix wording in spec

Change-Id: I468d0afa21102fc6fe6f30aa1c7bd0d1c46d8f94
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/105464
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>

pkg/analysis_server/lib/protocol/protocol_generated.dart

@@ -8296,19 +8296,19 @@ class EditDartfixResult implements ResponseResult {
 
   /**
    * Messages that should be displayed to the user that describe details of the
-   * fix generation. This could be details that users might want to explore
+   * fix generation. For example, the messages might (a) point out details that
-   * before committing the changes to descriptions of exceptions that were
+   * users might want to explore before committing the changes or (b) describe
-   * thrown but that did not stop the fixes from being produced. The list will
+   * exceptions that were thrown but that did not stop the fixes from being
-   * be omitted if it is empty.
+   * produced. The list will be omitted if it is empty.
    */
   List<String> get details => _details;
 
   /**
    * Messages that should be displayed to the user that describe details of the
-   * fix generation. This could be details that users might want to explore
+   * fix generation. For example, the messages might (a) point out details that
-   * before committing the changes to descriptions of exceptions that were
+   * users might want to explore before committing the changes or (b) describe
-   * thrown but that did not stop the fixes from being produced. The list will
+   * exceptions that were thrown but that did not stop the fixes from being
-   * be omitted if it is empty.
+   * produced. The list will be omitted if it is empty.
    */
   void set details(List<String> value) {
     this._details = value;

pkg/analysis_server/test/integration/support/integration_test_methods.dart

@@ -1779,10 +1779,10 @@ abstract class IntegrationTestMixin {
    * details: List<String> (optional)
    *
    *   Messages that should be displayed to the user that describe details of
-   *   the fix generation. This could be details that users might want to
+   *   the fix generation. For example, the messages might (a) point out
-   *   explore before committing the changes to descriptions of exceptions that
+   *   details that users might want to explore before committing the changes
-   *   were thrown but that did not stop the fixes from being produced. The
+   *   or (b) describe exceptions that were thrown but that did not stop the
-   *   list will be omitted if it is empty.
+   *   fixes from being produced. The list will be omitted if it is empty.
    */
   Future<EditDartfixResult> sendEditDartfix(List<String> included,
       {List<String> includedFixes,

pkg/analysis_server/tool/spec/spec_input.html

@@ -2259,10 +2259,10 @@
         </list>
         <p>
           Messages that should be displayed to the user that describe details of
-          the fix generation. This could be details that users might want to
+          the fix generation. For example, the messages might (a) point out
-          explore before committing the changes to descriptions of exceptions
+          details that users might want to explore before committing the changes
-          that were thrown but that did not stop the fixes from being produced.
+          or (b) describe exceptions that were thrown but that did not stop the
-          The list will be omitted if it is empty.
+          fixes from being produced. The list will be omitted if it is empty.
         </p>
       </field>
     </result>

pkg/analysis_server_client/lib/src/protocol/protocol_generated.dart

@@ -8296,19 +8296,19 @@ class EditDartfixResult implements ResponseResult {
 
   /**
    * Messages that should be displayed to the user that describe details of the
-   * fix generation. This could be details that users might want to explore
+   * fix generation. For example, the messages might (a) point out details that
-   * before committing the changes to descriptions of exceptions that were
+   * users might want to explore before committing the changes or (b) describe
-   * thrown but that did not stop the fixes from being produced. The list will
+   * exceptions that were thrown but that did not stop the fixes from being
-   * be omitted if it is empty.
+   * produced. The list will be omitted if it is empty.
    */
   List<String> get details => _details;
 
   /**
    * Messages that should be displayed to the user that describe details of the
-   * fix generation. This could be details that users might want to explore
+   * fix generation. For example, the messages might (a) point out details that
-   * before committing the changes to descriptions of exceptions that were
+   * users might want to explore before committing the changes or (b) describe
-   * thrown but that did not stop the fixes from being produced. The list will
+   * exceptions that were thrown but that did not stop the fixes from being
-   * be omitted if it is empty.
+   * produced. The list will be omitted if it is empty.
    */
   void set details(List<String> value) {
     this._details = value;