| 29 |
|
* @key randomness |
| 30 |
|
*/ |
| 31 |
|
|
| 32 |
< |
import java.util.*; |
| 32 |
> |
import java.util.ArrayList; |
| 33 |
> |
import java.util.Arrays; |
| 34 |
> |
import java.util.Collections; |
| 35 |
> |
import java.util.Iterator; |
| 36 |
> |
import java.util.List; |
| 37 |
> |
import java.util.ListIterator; |
| 38 |
> |
import java.util.Random; |
| 39 |
|
|
| 40 |
|
public class CheckedListBash { |
| 41 |
|
static Random rnd = new Random(); |
| 215 |
|
} |
| 216 |
|
|
| 217 |
|
static void AddRandoms(List s, int n) { |
| 218 |
< |
for (int i=0; i<n; i++) { |
| 219 |
< |
int r = rnd.nextInt() % n; |
| 214 |
< |
Integer e = new Integer(r < 0 ? -r : r); |
| 218 |
> |
for (int i = 0; i < n; i++) { |
| 219 |
> |
Integer e = rnd.nextInt(n); |
| 220 |
|
|
| 221 |
|
int preSize = s.size(); |
| 222 |
|
if (!s.add(e)) |
| 223 |
< |
fail ("Add failed."); |
| 223 |
> |
fail("Add failed."); |
| 224 |
|
int postSize = s.size(); |
| 225 |
< |
if (postSize-preSize != 1) |
| 226 |
< |
fail ("Add didn't increase size by 1."); |
| 225 |
> |
if (postSize - preSize != 1) |
| 226 |
> |
fail("Add didn't increase size by 1."); |
| 227 |
|
} |
| 228 |
|
} |
| 229 |
|
|
