dk.brics.tajs.monitoring.soundness.testing

Interface SoundnessCheck

All Known Implementing Classes:

LogEntrySoundnessTester.ValueCheck, SoundnessCheckImpl

public interface SoundnessCheck

A soundness check. If isFailure() is true, then the static analysis is provably unsound at getSourceLocation()

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	SoundnessCheck.FailureKind

Method Summary

Modifier and Type	Method and Description
SoundnessCheck.FailureKind	getFailureKind()
java.lang.String	getMessage()
SourceLocation	getSourceLocation()
boolean	hasDataFlow()
boolean	isFailure()

Method Detail

getFailureKind

SoundnessCheck.FailureKind getFailureKind()

getMessage

java.lang.String getMessage()

getSourceLocation

SourceLocation getSourceLocation()

hasDataFlow

boolean hasDataFlow()

isFailure

boolean isFailure()