public String toString() {
StringBuilder b = new StringBuilder();
b.append(time.toMMDDYY());
b.append(" ");
int nelem = Array.getLength(value);
if (nelem == 1) {
b.append(Array.get(value, 0).toString());
if (severity != 0) {
b.append(" ");
b.append(Severity.forValue(severity).getName());
}
} else {
if (severity != 0) {
b.append(Severity.forValue(severity).getName());
b.append(" ");
}
b.append("[");
for (int i = 0; i < nelem; i++) {
b.append(Array.get(value, i));
if (i != nelem - 1) b.append(", ");
}
b.append("]");
}
return b.toString();
}
