dk.brics.tajs.monitoring.soundness.postprocessing

Class SoundnessTesterStatistics

java.lang.Object

dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterStatistics

public class SoundnessTesterStatistics
extends java.lang.Object

Aggregated statistics for soundness testing. Persists results to disk, and loads them later.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SoundnessTesterStatistics.EasyPersistence
static class	SoundnessTesterStatistics.Persistence
static class	SoundnessTesterStatistics.TestResult

Constructor Summary

Constructors

Constructor and Description
SoundnessTesterStatistics(java.util.Map<java.nio.file.Path,SoundnessTesterStatistics.TestResult> results)

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
void	register(java.nio.file.Path main, SoundnessTesterStatistics.TestResult result)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SoundnessTesterStatistics

public SoundnessTesterStatistics(java.util.Map<java.nio.file.Path,SoundnessTesterStatistics.TestResult> results)

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

Throws:

java.io.IOException

register

public void register(java.nio.file.Path main,
                     SoundnessTesterStatistics.TestResult result)