dk.brics.tajs.monitoring.soundness.postprocessing

Class SoundnessTestResult

java.lang.Object

dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTestResult

public class SoundnessTestResult
extends java.lang.Object

The final result of a soundness test: a success-bit and an explanatory string.

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	message
boolean	success

Method Summary

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.

Methods inherited from class java.lang.Object

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

Field Detail

message

public final java.lang.String message

success

public final boolean success

Method Detail

make

public static SoundnessTestResult make(CategorizedSoundnessCheckResults categorized,
                                       boolean reachabilityFailure,
                                       java.nio.file.Path mainFile)

Constructs a (single) SoundnessTestResult based on the results of (many) soundness checks.