sofya.ed.semantic
Class EventListener.ExceptionData

java.lang.Object
  sofya.ed.semantic.EventListener.ExceptionData

Enclosing interface:

EventListener

public static class EventListener.ExceptionData
extends java.lang.Object

Provides information about an exception event.

Method Summary

java.lang.String	getClassName() Gets the name of the class in which the exception was thrown or caught.
long	getCodeIndex() Gets the bytecode offset at which the exception event occurred.
int	getLineNumber() Gets the line number in the source code file of the exception event.
java.lang.String	getMethod() Gets the name of the method in which the exception was thrown or caught.
java.lang.String	getMethodSignature() Gets the signature of the method in which the exception was thrown or caught.
java.lang.String	getSourceFile() Gets the name of the source code file corresponding to the exception event.
java.lang.String	getType() Gets the type of the exception that was thrown or caught.
java.lang.String	getTypeSignature() Gets the type signature of the exception that was thrown or caught.

Methods inherited from class java.lang.Object

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

Method Detail

getType

public java.lang.String getType()

Gets the type of the exception that was thrown or caught.

Returns:

The exception's type.

getTypeSignature

public java.lang.String getTypeSignature()

Gets the type signature of the exception that was thrown or caught.

Returns:

The JNI-style signature of the exception's type.

getClassName

public java.lang.String getClassName()

Gets the name of the class in which the exception was thrown or caught.

Returns:

The name of the class where the exception was thrown or caught.

getMethod

public java.lang.String getMethod()

Gets the name of the method in which the exception was thrown or caught.

Returns:

The name of the method where the exception was thrown or caught.

getMethodSignature

public java.lang.String getMethodSignature()

Gets the signature of the method in which the exception was thrown or caught.

Returns:

The JNI-style signature of the method where the exception was thrown or caught.

getCodeIndex

public long getCodeIndex()

Gets the bytecode offset at which the exception event occurred.

Returns:

The bytecode offset within the method where the exception was thrown or caught.

getSourceFile

public java.lang.String getSourceFile()

Gets the name of the source code file corresponding to the exception event.

Returns:

The name of the source code file which contains the code for the method containing the exception event. Returns '<unknown>' if this information is not available.

getLineNumber

public int getLineNumber()

Gets the line number in the source code file of the exception event.

Returns:

The line number of the source code statement for the exception event, or -1 if this information is unavailable.