Classes
class	BasicEvaluationStatistic

class	CheckerErrorsGuiTracing

class	CheckerErrorsSorter

class	DocumentToFileWriter

class	DummyEvaluationStatistic

class	Compute

class	MessagesStat

class	SectionedMessagesStat

class	ComposedSectionedMessagesStat

class	ErrorMessagesStatsBuilder

interface	EvaluationStatistic

class	MergeDocuments

class	PerfRecord

class	PerformanceData

class	PerformanceDataBuilder

class	StatisticalDatabaseBuilder

class	StatisticalDatabaseLoader

class	StringToFileWriter

class	TabbedStringStream

Detailed Description

Licensed under GPLv2.

Classes