dk.brics.tajs.monitoring.soundness.postprocessing

Class SoundnessTesterStatistics.EasyPersistence

java.lang.Object

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

Enclosing class:

SoundnessTesterStatistics

public static class SoundnessTesterStatistics.EasyPersistence
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
EasyPersistence()

Method Summary

Modifier and Type	Method and Description
static boolean	isEnabled()
static SoundnessTesterStatistics	load()
static void	update(java.nio.file.Path mainFile, SoundnessTesterStatistics.TestResult result)

Methods inherited from class java.lang.Object

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

Constructor Detail

EasyPersistence

public EasyPersistence()

Method Detail

isEnabled

public static boolean isEnabled()

load

public static SoundnessTesterStatistics load()

update

public static void update(java.nio.file.Path mainFile,
                          SoundnessTesterStatistics.TestResult result)