gov.nasa.jpf.vm

Class ExceptionParameterAnnotationInfo

java.lang.Object

gov.nasa.jpf.vm.AnnotationInfo

gov.nasa.jpf.vm.AbstractTypeAnnotationInfo

gov.nasa.jpf.vm.ExceptionParameterAnnotationInfo

All Implemented Interfaces:

java.lang.Cloneable

public class ExceptionParameterAnnotationInfo
extends AbstractTypeAnnotationInfo

type annotation for catch arguments

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.vm.AnnotationInfo

AnnotationInfo.AnnotationAttribute, AnnotationInfo.ClassValue, AnnotationInfo.Entry, AnnotationInfo.EnumValue

Field Summary

Fields

Modifier and Type	Field and Description
protected int	exceptionIndex

Fields inherited from class gov.nasa.jpf.vm.AbstractTypeAnnotationInfo

targetType, typePath

Fields inherited from class gov.nasa.jpf.vm.AnnotationInfo

classLoader, entries, isInherited, name

Constructor Summary

Constructors

Constructor and Description
ExceptionParameterAnnotationInfo(AnnotationInfo base, int targetType, short[] typePath, int throwsIndex)

Method Summary

Modifier and Type	Method and Description
int	getExceptionIndex()

Methods inherited from class gov.nasa.jpf.vm.AbstractTypeAnnotationInfo

addArgs, getTargetType, toString

Methods inherited from class gov.nasa.jpf.vm.AnnotationInfo

asString, cloneFor, cloneForOverriddenValues, getClassLoaderInfo, getClassValue, getEntries, getEnumValue, getName, getValue, getValue, getValueAsBoolean, getValueAsDouble, getValueAsFloat, getValueAsInt, getValueAsLong, getValueAsString, getValueAsStringArray, getValueAsStringArray, isInherited, setClonedEntryValue, setEntries, setInherited, setName, value, valueAsString

Methods inherited from class java.lang.Object

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

Field Detail

exceptionIndex

protected int exceptionIndex

Constructor Detail

ExceptionParameterAnnotationInfo

public ExceptionParameterAnnotationInfo(AnnotationInfo base,
                                        int targetType,
                                        short[] typePath,
                                        int throwsIndex)

Method Detail

getExceptionIndex

public int getExceptionIndex()