Class TypeAnnotation.CatchTarget

java.lang.Object

com.ibm.wala.types.annotations.TypeAnnotation.TypeAnnotationTarget

com.ibm.wala.types.annotations.TypeAnnotation.CatchTarget

Enclosing class:

TypeAnnotation

public static class TypeAnnotation.CatchTarget
extends TypeAnnotation.TypeAnnotationTarget

Author:

Martin Hecker martin.hecker@kit.edu

Field Summary

Fields

Modifier and Type	Field	Description
static final TypeReference	ALL_EXCEPTIONS

Fields inherited from class com.ibm.wala.types.annotations.TypeAnnotation.TypeAnnotationTarget

INSTRUCTION_INDEX_UNAVAILABLE

Constructor Summary

Constructors

Constructor	Description
CatchTarget(int catchIIndex, TypeReference catchType)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	getCatchIIndex()
TypeReference	getCatchType()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

ALL_EXCEPTIONS

public static final TypeReference ALL_EXCEPTIONS

Constructor Details

CatchTarget

public CatchTarget(int catchIIndex,
 TypeReference catchType)

Method Details

getCatchType

public TypeReference getCatchType()

Returns:

the handlers type, or ALL_EXCEPTIONS

getCatchIIndex

public int getCatchIIndex()

Returns:

the handlers instruction index (if available), or TypeAnnotation.TypeAnnotationTarget.INSTRUCTION_INDEX_UNAVAILABLE otherwise.

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object