public void doAllTBoxTests( String dirName, FileFilter filter ) throws Exception {
File dir = new File(dirName);
File[] files = dir.listFiles( filter );
Arrays.sort(files, AlphaNumericComparator.CASE_INSENSITIVE);
TableData table = new TableData(Arrays.asList(new String[] { "Name", "Size", "Time"} ));
for(int i = 0; i < files.length; i++) {
System.out.print((i+1) + ") ");
List data = new ArrayList();
data.add( files[i] );
try {
doTBoxTest(files[i].toString());
data.add(Integer.valueOf(kb.getClasses().size()));
data.add(kb.timers.getTimer("test").getTotal() + "");
} catch(TimeoutException e) {
System.out.println(" ** Timeout: " + e.getMessage() + " ** ");
} catch(Exception e) {
e.printStackTrace(System.err);
System.out.println();
} catch(OutOfMemoryError e) {
System.out.println(" ** Out of Memory ** ");
} catch(StackOverflowError e) {
System.out.println(" ** Stack Overflow ** ");
} catch(Error e) {
e.printStackTrace(System.err);
}
table.add(data);
}
System.out.print( table );
}