[singular][issue #2221] the plural builder method now nullchecks its argument with configurable results.

1 files changed, 2 insertions, 0 deletions

diff --git a/test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java b/test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java
index 1849419e..94ec0a0c 100644
--- a/test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java
+++ b/test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java
@@ -32,6 +32,8 @@ class CheckerFrameworkSuperBuilder {
         return self();
       }
       public @org.checkerframework.checker.builder.qual.ReturnsReceiver @java.lang.SuppressWarnings("all") B names(final java.util.Collection<? extends String> names) {
+        if ((names == null))
+            throw new java.lang.NullPointerException("names cannot be null");
         if ((this.names == null))
             this.names = new java.util.ArrayList<String>();
         this.names.addAll(names);