Class TypeAnnotation.FormalParameterTarget

java.lang.Object

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

com.ibm.wala.types.annotations.TypeAnnotation.FormalParameterTarget

Enclosing class:

TypeAnnotation

public static class TypeAnnotation.FormalParameterTarget
extends TypeAnnotation.TypeAnnotationTarget

Author:

Martin Hecker martin.hecker@kit.edu

Field Summary

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

INSTRUCTION_INDEX_UNAVAILABLE

Constructor Summary

Constructors

Constructor	Description
FormalParameterTarget(int index)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	getIndex()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

FormalParameterTarget

public FormalParameterTarget(int index)

Method Details

getIndex

public int getIndex()

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