dk.brics.tajs.monitoring.soundness.testing

Class LogEntrySoundnessTester.ValueCheck

java.lang.Object

dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester.ValueCheck

All Implemented Interfaces:

SoundnessCheck

Enclosing class:

LogEntrySoundnessTester

class LogEntrySoundnessTester.ValueCheck
extends java.lang.Object
implements SoundnessCheck

Nested Class Summary

Nested classes/interfaces inherited from interface dk.brics.tajs.monitoring.soundness.testing.SoundnessCheck

SoundnessCheck.FailureKind

Constructor Summary

Constructors

Constructor and Description
ValueCheck(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation, java.lang.String kind, dk.au.cs.casa.jer.entries.ValueDescription concreteValue, java.util.Collection<Value> abstractValues, boolean failure)
ValueCheck(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation, java.lang.String kind, dk.au.cs.casa.jer.entries.ValueDescription concreteValue, Value abstractValue, boolean failure)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
SoundnessCheck.FailureKind	getFailureKind()
java.lang.String	getMessage()
SourceLocation	getSourceLocation()
boolean	hasDataFlow()
int	hashCode()
boolean	isFailure()
void	setFailureKind(SoundnessCheck.FailureKind failureKind)

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueCheck

public ValueCheck(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation,
                  java.lang.String kind,
                  dk.au.cs.casa.jer.entries.ValueDescription concreteValue,
                  java.util.Collection<Value> abstractValues,
                  boolean failure)

ValueCheck

public ValueCheck(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation,
                  java.lang.String kind,
                  dk.au.cs.casa.jer.entries.ValueDescription concreteValue,
                  Value abstractValue,
                  boolean failure)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getFailureKind

public SoundnessCheck.FailureKind getFailureKind()

Specified by:

getFailureKind in interface SoundnessCheck

getMessage

public java.lang.String getMessage()

Specified by:

getMessage in interface SoundnessCheck

getSourceLocation

public SourceLocation getSourceLocation()

Specified by:

getSourceLocation in interface SoundnessCheck

hasDataFlow

public boolean hasDataFlow()

Specified by:

hasDataFlow in interface SoundnessCheck

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

isFailure

public boolean isFailure()

Specified by:

isFailure in interface SoundnessCheck

setFailureKind

public void setFailureKind(SoundnessCheck.FailureKind failureKind)