User can never explicitly set generator_* attributes. So it should be

nonconfigurable.

RELNOTES: generator_* attributes are nonconfigurable.
PiperOrigin-RevId: 182443578

1 files changed, 12 insertions, 3 deletions

diff --git a/src/main/java/com/google/devtools/build/lib/rules/repository/WorkspaceBaseRule.java b/src/main/java/com/google/devtools/build/lib/rules/repository/WorkspaceBaseRule.java
index 2130d1a67a..8a6e078e68 100644
--- a/src/main/java/com/google/devtools/build/lib/rules/repository/WorkspaceBaseRule.java
+++ b/src/main/java/com/google/devtools/build/lib/rules/repository/WorkspaceBaseRule.java
@@ -32,9 +32,18 @@ public class WorkspaceBaseRule implements RuleDefinition {
   public RuleClass build(Builder builder, RuleDefinitionEnvironment environment) {
     return builder
         .exemptFromConstraintChecking("workspace rules aren't built for target environments")
-        .add(attr("generator_name", STRING).undocumented("internal"))
-        .add(attr("generator_function", STRING).undocumented("internal"))
-        .add(attr("generator_location", STRING).undocumented("internal"))
+        .add(
+            attr("generator_name", STRING)
+                .undocumented("internal")
+                .nonconfigurable("internal attributes are non-configurable"))
+        .add(
+            attr("generator_function", STRING)
+                .undocumented("internal")
+                .nonconfigurable("internal attributes are non-configurable"))
+        .add(
+            attr("generator_location", STRING)
+                .undocumented("internal")
+                .nonconfigurable("internal attributes are non-configurable"))
         .build();
   }