de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Class NullPointerDereferenceException

java.lang.Object

java.lang.Throwable

de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NullPointerDereferenceException

All Implemented Interfaces:

Serializable

public class NullPointerDereferenceException
extends Throwable

Reports that a null pointer dereference has been detected by the analysis.

Author:

Christoph

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NullPointerDereferenceException(Value violation)

Method Summary

Modifier and Type	Method and Description
String	getErrorMessage()
String	getErrorMessage(Object append)

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

NullPointerDereferenceException

public NullPointerDereferenceException(Value violation)

Method Detail

getErrorMessage

public String getErrorMessage()

getErrorMessage

public String getErrorMessage(Object append)