dk.brics.tajs.monitoring.soundness

Class SoundnessTesterMonitor.SoundnessException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

dk.brics.tajs.util.AnalysisException

dk.brics.tajs.monitoring.soundness.SoundnessTesterMonitor.SoundnessException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

SoundnessTesterMonitor

public static class SoundnessTesterMonitor.SoundnessException
extends AnalysisException

Exception signalling that one or more soundness checks failed.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SoundnessException(java.lang.String message)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SoundnessException

public SoundnessException(java.lang.String message)