class SoundnessCheckCounts
extends java.lang.Object
SoundnessCheck
s.Modifier and Type | Field and Description |
---|---|
int |
checkCount |
int |
expectedFailureCount |
int |
failureCount |
int |
knownJalangiFailureCount |
int |
knownUnsoundnessFailureCount |
int |
successCount |
int |
unexpectedFailureCount |
int |
uninspectedFailureCount |
Constructor and Description |
---|
SoundnessCheckCounts(int checkCount,
int failureCount,
int successCount,
int unexpectedFailureCount,
int expectedFailureCount,
int uninspectedFailureCount,
int knownUnsoundnessFailureCount,
int knownJalangiFailureCount) |
public final int checkCount
public final int expectedFailureCount
public final int failureCount
public final int knownJalangiFailureCount
public final int knownUnsoundnessFailureCount
public final int successCount
public final int unexpectedFailureCount
public final int uninspectedFailureCount
Copyright © 2009-2019 Aarhus University