equal
deleted
inserted
replaced
535 static final java.util.TreeMap accum = new java.util.TreeMap(); |
535 static final java.util.TreeMap accum = new java.util.TreeMap(); |
536 |
536 |
537 static void printStats() { |
537 static void printStats() { |
538 for (Iterator it = accum.entrySet().iterator(); it.hasNext(); ) { |
538 for (Iterator it = accum.entrySet().iterator(); it.hasNext(); ) { |
539 Map.Entry e = (Map.Entry)(it.next()); |
539 Map.Entry e = (Map.Entry)(it.next()); |
540 Stats stats = ((Stats)(e.getValue())); |
540 Stats stats = (Stats)(e.getValue()); |
541 int n = stats.number; |
541 int n = stats.number; |
542 double t; |
542 double t; |
543 if (n > 0) |
543 if (n > 0) |
544 t = stats.sum / n; |
544 t = stats.sum / n; |
545 else |
545 else |