501 |
|
} |
502 |
|
} |
503 |
|
|
504 |
< |
static abstract class MapFrobber { abstract void frob(NavigableMap m); } |
505 |
< |
static abstract class SetFrobber { abstract void frob(NavigableSet m); } |
504 |
> |
abstract static class MapFrobber { abstract void frob(NavigableMap m); } |
505 |
> |
abstract static class SetFrobber { abstract void frob(NavigableSet m); } |
506 |
|
|
507 |
|
static MapFrobber randomAdder(NavigableMap m) { |
508 |
|
final Integer k = unusedKey(m); |
813 |
|
System.out.printf("%nPassed = %d, failed = %d%n%n", passed, failed); |
814 |
|
if (failed > 0) throw new Exception("Some tests failed"); |
815 |
|
} |
816 |
< |
static abstract class Fun {abstract void f() throws Throwable;} |
816 |
> |
abstract static class Fun {abstract void f() throws Throwable;} |
817 |
|
static void THROWS(Class<? extends Throwable> k, Fun... fs) { |
818 |
|
for (Fun f : fs) |
819 |
|
try { f.f(); fail("Expected " + k.getName() + " not thrown"); } |