private static Sequence randPrimitiveArray(Class<?> componentType) {
assert componentType.isPrimitive();
Set<Object> potentialElts = SeedSequences.getSeeds(componentType);
int length = Randomness.nextRandomInt(4);
Sequence s = new Sequence();
List<Variable> emptylist = new ArrayList<Variable>();
for (int i = 0; i < length; i++) {
Object elt = Randomness.randomSetMember(potentialElts);
s = s.extend(new PrimitiveOrStringOrNullDecl(componentType, elt), emptylist);
}
List<Variable> inputs = new ArrayList<Variable>();
for (int i = 0; i < length; i++) {
inputs.add(s.getVariable(i));
}
s = s.extend(new ArrayDeclaration(componentType, length), inputs);
return s;
}
