J. Duke | 319a3b9 | 2007-12-01 00:00:00 +0000 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2007 Sun Microsystems, Inc. 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, |
| 20 | * CA 95054 USA or visit www.sun.com if you need additional information or |
| 21 | * have any questions. |
| 22 | */ |
| 23 | |
| 24 | /* |
| 25 | * @test |
| 26 | * @bug 6533203 |
| 27 | * @summary AbstractList.ListItr.add might corrupt iterator state if enclosing add throws |
| 28 | */ |
| 29 | |
| 30 | import java.util.*; |
| 31 | |
| 32 | @SuppressWarnings({"serial","unchecked"}) |
| 33 | public class Bug6533203 { |
| 34 | void test(String[] args) throws Throwable { |
| 35 | final List<Integer> superstitious = new ArrayList<Integer>() { |
| 36 | public void add(int index, Integer i) { |
| 37 | if (i == 13) throw new Error("unlucky"); |
| 38 | else super.add(index, i); }}; |
| 39 | final ListIterator it = superstitious.listIterator(0); |
| 40 | equal(it.nextIndex(), 0); |
| 41 | THROWS(Error.class, new F(){void f(){it.add(13);}}); |
| 42 | equal(it.nextIndex(), 0); |
| 43 | } |
| 44 | |
| 45 | //--------------------- Infrastructure --------------------------- |
| 46 | volatile int passed = 0, failed = 0; |
| 47 | void pass() {passed++;} |
| 48 | void fail() {failed++; Thread.dumpStack();} |
| 49 | void fail(String msg) {System.out.println(msg); fail();} |
| 50 | void unexpected(Throwable t) {failed++; t.printStackTrace();} |
| 51 | void check(boolean cond) {if (cond) pass(); else fail();} |
| 52 | void equal(Object x, Object y) { |
| 53 | if (x == null ? y == null : x.equals(y)) pass(); |
| 54 | else fail(x + " not equal to " + y);} |
| 55 | public static void main(String[] args) throws Throwable { |
| 56 | new Bug6533203().instanceMain(args);} |
| 57 | void instanceMain(String[] args) throws Throwable { |
| 58 | try {test(args);} catch (Throwable t) {unexpected(t);} |
| 59 | System.out.printf("%nPassed = %d, failed = %d%n%n", passed, failed); |
| 60 | if (failed > 0) throw new AssertionError("Some tests failed");} |
| 61 | abstract class F {abstract void f() throws Throwable;} |
| 62 | void THROWS(Class<? extends Throwable> k, F... fs) { |
| 63 | for (F f : fs) |
| 64 | try {f.f(); fail("Expected " + k.getName() + " not thrown");} |
| 65 | catch (Throwable t) { |
| 66 | if (k.isAssignableFrom(t.getClass())) pass(); |
| 67 | else unexpected(t);}} |
| 68 | } |