1 /*
  2  * Copyright (c) 2007, 2026, Oracle and/or its affiliates. All rights reserved.
  3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  4  *
  5  * This code is free software; you can redistribute it and/or modify it
  6  * under the terms of the GNU General Public License version 2 only, as
  7  * published by the Free Software Foundation.
  8  *
  9  * This code is distributed in the hope that it will be useful, but WITHOUT
 10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 12  * version 2 for more details (a copy is included in the LICENSE file that
 13  * accompanied this code).
 14  *
 15  * You should have received a copy of the GNU General Public License version
 16  * 2 along with this work; if not, write to the Free Software Foundation,
 17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 18  *
 19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 20  * or visit www.oracle.com if you need additional information or have any
 21  * questions.
 22  */
 23 
 24 /*
 25  * @test
 26  * @bug 6433170
 27  * @summary CheckedCollection.addAll should be all-or-nothing
 28  * @library /test/lib
 29  */
 30 
 31 import jdk.test.lib.valueclass.VClass;
 32 import java.util.ArrayList;
 33 import java.util.Arrays;
 34 import java.util.Collection;
 35 import java.util.HashSet;
 36 import java.util.List;
 37 import java.util.Vector;
 38 
 39 import static java.util.Collections.checkedCollection;
 40 import static java.util.Collections.checkedList;
 41 import static java.util.Collections.checkedSet;
 42 
 43 @SuppressWarnings("unchecked")
 44 public class T6433170 {
 45 
 46     private void checkEmpty(Collection x) {
 47         check(x.isEmpty());
 48         check(x.size() == 0);
 49         check(x.toArray().length == 0);
 50     }
 51 
 52     void test(String[] args) throws Throwable {
 53         test(checkedList(
 54                  checkedList(new ArrayList(), String.class),
 55                  Object.class));
 56         test(checkedSet(
 57                  checkedSet(new HashSet(), String.class),
 58                  Object.class));
 59         test(checkedCollection(
 60                  checkedCollection(new Vector(), String.class),
 61                  Object.class));
 62 
 63         Collection<VClass> vc = checkedCollection(new ArrayList<>(), VClass.class);
 64         List mixed = Arrays.asList(new VClass(1, new int[] { 1 }), new VClass(2, new int[] { 2 }), "not a Tuple");
 65         THROWS(ClassCastException.class,
 66                new F(){void f(){ vc.addAll(mixed); }});
 67         checkEmpty(vc);
 68     }
 69 
 70     void test(final Collection checked) {
 71         checkEmpty(checked);
 72         final List mixedList = Arrays.asList("1", 2, "3");
 73         THROWS(ClassCastException.class,
 74                new F(){void f(){ checked.addAll(mixedList); }});
 75         checkEmpty(checked);
 76     }
 77 
 78     //--------------------- Infrastructure ---------------------------
 79     volatile int passed = 0, failed = 0;
 80     void pass() {passed++;}
 81     void fail() {failed++; Thread.dumpStack();}
 82     void fail(String msg) {System.err.println(msg); fail();}
 83     void unexpected(Throwable t) {failed++; t.printStackTrace();}
 84     void check(boolean cond) {if (cond) pass(); else fail();}
 85     void equal(Object x, Object y) {
 86         if (x == null ? y == null : x.equals(y)) pass();
 87         else fail(x + " not equal to " + y);}
 88     public static void main(String[] args) throws Throwable {
 89         new T6433170().instanceMain(args);}
 90     void instanceMain(String[] args) throws Throwable {
 91         try {test(args);} catch (Throwable t) {unexpected(t);}
 92         System.out.printf("%nPassed = %d, failed = %d%n%n", passed, failed);
 93         if (failed > 0) throw new AssertionError("Some tests failed");}
 94     abstract class F {abstract void f() throws Throwable;}
 95     void THROWS(Class<? extends Throwable> k, F... fs) {
 96         for (F f : fs)
 97             try {f.f(); fail("Expected " + k.getName() + " not thrown");}
 98             catch (Throwable t) {
 99                 if (k.isAssignableFrom(t.getClass())) pass();
100                 else unexpected(t);}}
101 }
--- EOF ---