/** List all captured data. */
public static void list() {
if (MAIN.lastIndex == 0) {
// don't list anything if no statistics collected
return;
}
try {
MAIN.listUnvisited();
MAIN.listTop("MOST CALLED", MAIN.count, top);
MAIN.listTop("MOST TIME USED", MAIN.time, top);
} catch (Exception e) {
e.printStackTrace();
}
}
