Title: StatisticsWriter
Description: Writes statistics for a database of Probes to a PrintStream
Copyright: Copyright (c) 2002
455456457458459460461462463464465
searchProbes(); } else if (src == probeStatistics) { HTMLViewPanel p = new HTMLViewPanel( probeMaker.project.getProbes(), new ProbeSummaryViewFactory() ); workbench.displayComponent(p,p.getTitle()); } else if (src == messageSummary) { HTMLViewPanel p = new HTMLViewPanel(