public class CategorizedSoundnessCheckResults
extends java.lang.Object
SoundnessCheck
s.Modifier and Type | Field and Description |
---|---|
(package private) java.util.Set<SoundnessCheck> |
checks |
(package private) java.util.Set<SourceLocation> |
expectedFailureLocationsThatDidNotHappen |
(package private) java.util.Set<SoundnessCheck> |
failures |
(package private) java.util.Set<SoundnessCheck> |
knownJalangiFailures |
(package private) java.util.Set<SoundnessCheck> |
knownUnsoundnessFailures |
(package private) java.util.Set<SoundnessCheck> |
unexpectedFailures |
(package private) java.util.Set<SoundnessCheck> |
uninspectedFailures |
Constructor and Description |
---|
CategorizedSoundnessCheckResults(java.util.Set<SoundnessCheck> checks,
java.nio.file.Path mainFile) |
Modifier and Type | Method and Description |
---|---|
SoundnessCheckCounts |
getLocationCounts() |
SoundnessCheckCounts |
getRawCounts() |
final java.util.Set<SoundnessCheck> checks
final java.util.Set<SourceLocation> expectedFailureLocationsThatDidNotHappen
final java.util.Set<SoundnessCheck> failures
final java.util.Set<SoundnessCheck> knownJalangiFailures
final java.util.Set<SoundnessCheck> knownUnsoundnessFailures
final java.util.Set<SoundnessCheck> unexpectedFailures
final java.util.Set<SoundnessCheck> uninspectedFailures
public CategorizedSoundnessCheckResults(java.util.Set<SoundnessCheck> checks, java.nio.file.Path mainFile)
public SoundnessCheckCounts getLocationCounts()
public SoundnessCheckCounts getRawCounts()
Copyright © 2009-2019 Aarhus University