From fb19233ff81fb855bce7e960399dbd2a509f6ffc Mon Sep 17 00:00:00 2001 From: Paul Berry Date: Mon, 15 Dec 2025 17:45:52 -0800 Subject: [PATCH] [messages] Use lowerCaseName in verify_docs. Change the `verify_docs` package's use of `DiagnosticCode.name` to `DiagnosticCode.lowerCaseName`. There is no functional change since all diagnostic codes generated by the analyzer are already in lower case. This helps pave the way for eventually deprecating and removing `DiagnosticCode.name`, which will help ensure that analyzer clients treat diagnostic codes in a case-insensitive fashion. Change-Id: I6a6a69645300e89b1bed342804d5e89ae9cf556b Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/468141 Reviewed-by: Nate Bosch Commit-Queue: Paul Berry --- tools/verify_docs/bin/verify_docs.dart | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/verify_docs/bin/verify_docs.dart b/tools/verify_docs/bin/verify_docs.dart index 0a25405c5ab..162da88bac9 100755 --- a/tools/verify_docs/bin/verify_docs.dart +++ b/tools/verify_docs/bin/verify_docs.dart @@ -372,7 +372,7 @@ class ValidateCommentCodeSamplesVisitor extends GeneralizingAstVisitor { final location = result.lineInfo.getLocation(diagnostic.offset); print( ' ${_severity(diagnostic.severity)}: ${diagnostic.message} ' - '[$location] (${diagnostic.diagnosticCode.name.toLowerCase()})', + '[$location] (${diagnostic.diagnosticCode.lowerCaseName})', ); } print('');