private static void dumpContent(final String file) throws IOException {
System.out.printf("exec file: %s%n", file);
System.out.println("CLASS ID HITS/PROBES CLASS NAME");
final FileInputStream in = new FileInputStream(file);
final ExecutionDataReader reader = new ExecutionDataReader(in);
reader.setSessionInfoVisitor(new ISessionInfoVisitor() {
public void visitSessionInfo(final SessionInfo info) {
System.out.printf("Session \"%s\": %s - %s%n", info.getId(),
new Date(info.getStartTimeStamp()),
new Date(info.getDumpTimeStamp()));
}
});
reader.setExecutionDataVisitor(new IExecutionDataVisitor() {
public void visitClassExecution(final ExecutionData data) {
System.out.printf("%016x %3d of %3d %s%n",
Long.valueOf(data.getId()),
Integer.valueOf(getHitCount(data.getData())),
Integer.valueOf(data.getData().length), data.getName());
}
});
reader.read();
in.close();
System.out.println();
}