public class SoundnessTestResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
message |
boolean |
success |
Modifier and Type | Method and Description |
---|---|
static SoundnessTestResult |
make(CategorizedSoundnessCheckResults categorized,
boolean reachabilityFailure,
java.nio.file.Path mainFile)
Constructs a (single)
SoundnessTestResult based on the results of (many) soundness checks. |
public static SoundnessTestResult make(CategorizedSoundnessCheckResults categorized, boolean reachabilityFailure, java.nio.file.Path mainFile)
SoundnessTestResult
based on the results of (many) soundness checks.Copyright © 2009-2019 Aarhus University