Package dk.brics.tajs.monitoring.soundness.postprocessing

Post-processing of the output from dk.brics.tajs.monitoring.soundness.testing.

See: Description

Class Summary

Class	Description
CategorizedSoundnessCheckResults	A categorization of SoundnessChecks.
SoundnessCheckCounts	Counters for SoundnessChecks.
SoundnessTesterPerformance	Numbers for reporting on the performance of the soundness tester.
SoundnessTesterStatistics	Aggregated statistics for soundness testing.
SoundnessTesterStatistics.EasyPersistence
SoundnessTesterStatistics.Persistence
SoundnessTesterStatistics.TestResult
SoundnessTestResult	The final result of a soundness test: a success-bit and an explanatory string.

Enum Summary

Enum	Description
SoundnessTesterStatistics.TestResult.CheckResultKind

Package dk.brics.tajs.monitoring.soundness.postprocessing Description

Post-processing of the output from dk.brics.tajs.monitoring.soundness.testing.