String[] numbers = {"one", "two", "three", "four", "five", "six", "seven", "eight", "nine", "ten"};
public void check_attribute_struct_seq() throws failure {
Structure[] seq = attribute_struct_seq();
for(int i = 0; i < seq.length; i++) {
Structure expected = new Structure(numbers[i], (byte) i);
if (!eq(seq[i],expected)) throw new failure((short) i);
};
return;
};