public class SoundnessTesterStatistics
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
SoundnessTesterStatistics.EasyPersistence |
static class |
SoundnessTesterStatistics.Persistence |
static class |
SoundnessTesterStatistics.TestResult |
Constructor and Description |
---|
SoundnessTesterStatistics(java.util.Map<java.nio.file.Path,SoundnessTesterStatistics.TestResult> results) |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
void |
register(java.nio.file.Path main,
SoundnessTesterStatistics.TestResult result) |
public SoundnessTesterStatistics(java.util.Map<java.nio.file.Path,SoundnessTesterStatistics.TestResult> results)
public static void main(java.lang.String[] args) throws java.io.IOException
java.io.IOException
public void register(java.nio.file.Path main, SoundnessTesterStatistics.TestResult result)
Copyright © 2009-2019 Aarhus University