public abstract class SoundnessCheckImpl extends java.lang.Object implements SoundnessCheck
SoundnessCheck
implementations.SoundnessCheck.FailureKind
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) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.lang.String |
getMessage() |
SourceLocation |
getSourceLocation() |
int |
hashCode() |
boolean |
isFailure() |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
getFailureKind, hasDataFlow
public SoundnessCheckImpl(SourceLocation sourceLocation, java.lang.String message, boolean failure)
public SoundnessCheckImpl(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation, java.lang.String message, boolean failure)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String getMessage()
getMessage
in interface SoundnessCheck
public SourceLocation getSourceLocation()
getSourceLocation
in interface SoundnessCheck
public int hashCode()
hashCode
in class java.lang.Object
public boolean isFailure()
isFailure
in interface SoundnessCheck
Copyright © 2009-2019 Aarhus University