Clarify that plugin IDs must be lowercase (#820)

This commit is contained in:
A248
2022-08-06 11:34:39 -04:00
committed by GitHub
parent 8a63df2ace
commit fee292bcc9

View File

@@ -76,8 +76,8 @@ public class PluginAnnotationProcessor extends AbstractProcessor {
if (!SerializedPluginDescription.ID_PATTERN.matcher(plugin.id()).matches()) { if (!SerializedPluginDescription.ID_PATTERN.matcher(plugin.id()).matches()) {
environment.getMessager().printMessage(Diagnostic.Kind.ERROR, "Invalid ID for plugin " environment.getMessager().printMessage(Diagnostic.Kind.ERROR, "Invalid ID for plugin "
+ qualifiedName + qualifiedName
+ ". IDs must start alphabetically, have alphanumeric characters, and can " + ". IDs must start alphabetically, have lowercase alphanumeric characters, and "
+ "contain dashes or underscores."); + "can contain dashes or underscores.");
return false; return false;
} }