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>
diff --git a/pkg/analysis_server/lib/protocol/protocol_generated.dart b/pkg/analysis_server/lib/protocol/protocol_generated.dart
index 603016e..45a219f 100644
--- a/pkg/analysis_server/lib/protocol/protocol_generated.dart
+++ b/pkg/analysis_server/lib/protocol/protocol_generated.dart
@@ -8296,19 +8296,19 @@
/**
* 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
- * before committing the changes to descriptions of exceptions that were
- * thrown but that did not stop the fixes from being produced. The list will
- * be omitted if it is empty.
+ * fix generation. For example, the messages might (a) point out details that
+ * users might want to explore before committing the changes or (b) describe
+ * exceptions that were thrown but that did not stop the fixes from being
+ * 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
- * before committing the changes to descriptions of exceptions that were
- * thrown but that did not stop the fixes from being produced. The list will
- * be omitted if it is empty.
+ * fix generation. For example, the messages might (a) point out details that
+ * users might want to explore before committing the changes or (b) describe
+ * exceptions that were thrown but that did not stop the fixes from being
+ * produced. The list will be omitted if it is empty.
*/
void set details(List<String> value) {
this._details = value;
diff --git a/pkg/analysis_server/test/integration/support/integration_test_methods.dart b/pkg/analysis_server/test/integration/support/integration_test_methods.dart
index d14ee38..cd4df3d 100644
--- a/pkg/analysis_server/test/integration/support/integration_test_methods.dart
+++ b/pkg/analysis_server/test/integration/support/integration_test_methods.dart
@@ -1779,10 +1779,10 @@
* 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
- * explore before committing the changes to descriptions of exceptions that
- * were thrown but that did not stop the fixes from being produced. The
- * list will be omitted if it is empty.
+ * the fix generation. For example, the messages might (a) point out
+ * details that users might want to explore before committing the changes
+ * or (b) describe exceptions that were thrown but that did not stop the
+ * fixes from being produced. The list will be omitted if it is empty.
*/
Future<EditDartfixResult> sendEditDartfix(List<String> included,
{List<String> includedFixes,
diff --git a/pkg/analysis_server/tool/spec/spec_input.html b/pkg/analysis_server/tool/spec/spec_input.html
index 81ad119..14ed664 100644
--- a/pkg/analysis_server/tool/spec/spec_input.html
+++ b/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
- explore before committing the changes to descriptions of exceptions
- that were thrown but that did not stop the fixes from being produced.
- The list will be omitted if it is empty.
+ the fix generation. For example, the messages might (a) point out
+ details that users might want to explore before committing the changes
+ or (b) describe exceptions that were thrown but that did not stop the
+ fixes from being produced. The list will be omitted if it is empty.
</p>
</field>
</result>
diff --git a/pkg/analysis_server_client/lib/src/protocol/protocol_generated.dart b/pkg/analysis_server_client/lib/src/protocol/protocol_generated.dart
index af0e154..23f7303 100644
--- a/pkg/analysis_server_client/lib/src/protocol/protocol_generated.dart
+++ b/pkg/analysis_server_client/lib/src/protocol/protocol_generated.dart
@@ -8296,19 +8296,19 @@
/**
* 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
- * before committing the changes to descriptions of exceptions that were
- * thrown but that did not stop the fixes from being produced. The list will
- * be omitted if it is empty.
+ * fix generation. For example, the messages might (a) point out details that
+ * users might want to explore before committing the changes or (b) describe
+ * exceptions that were thrown but that did not stop the fixes from being
+ * 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
- * before committing the changes to descriptions of exceptions that were
- * thrown but that did not stop the fixes from being produced. The list will
- * be omitted if it is empty.
+ * fix generation. For example, the messages might (a) point out details that
+ * users might want to explore before committing the changes or (b) describe
+ * exceptions that were thrown but that did not stop the fixes from being
+ * produced. The list will be omitted if it is empty.
*/
void set details(List<String> value) {
this._details = value;