(self)
| 157 | return len(self.values) |
| 158 | |
| 159 | def widths(self): |
| 160 | return FieldWidth( |
| 161 | points=len("{}".format(self.size())) + 2, |
| 162 | key=len(self.key), |
| 163 | average=len(fmt(self.average)), |
| 164 | stddev=len(fmt(self.stddev())), |
| 165 | min_width=len(fmt(self.min)), |
| 166 | max_width=len(fmt(self.max))) |
| 167 | |
| 168 | |
| 169 | def result_header(widths): |