dk.brics.tajs.monitoring.soundness.testing

Class SoundnessCheckImpl

java.lang.Object

dk.brics.tajs.monitoring.soundness.testing.SoundnessCheckImpl

All Implemented Interfaces:

SoundnessCheck

public abstract class SoundnessCheckImpl
extends java.lang.Object
implements SoundnessCheck

Base class for SoundnessCheck implementations.

Nested Class Summary

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

SoundnessCheck.FailureKind

Constructor Summary

Constructors

Constructor and Description
SoundnessCheckImpl(SourceLocation sourceLocation, java.lang.String message, boolean failure)
SoundnessCheckImpl(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation, java.lang.String message, boolean failure)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.lang.String	getMessage()
SourceLocation	getSourceLocation()
int	hashCode()
boolean	isFailure()

Methods inherited from class java.lang.Object

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

Methods inherited from interface dk.brics.tajs.monitoring.soundness.testing.SoundnessCheck

getFailureKind, hasDataFlow

Constructor Detail

SoundnessCheckImpl

public SoundnessCheckImpl(SourceLocation sourceLocation,
                          java.lang.String message,
                          boolean failure)

SoundnessCheckImpl

public SoundnessCheckImpl(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation,
                          java.lang.String message,
                          boolean failure)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getMessage

public java.lang.String getMessage()

Specified by:

getMessage in interface SoundnessCheck

getSourceLocation

public SourceLocation getSourceLocation()

Specified by:

getSourceLocation in interface SoundnessCheck

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

isFailure

public boolean isFailure()

Specified by:

isFailure in interface SoundnessCheck