gov.nasa.jpf.vm

Class TypeParameterBoundAnnotationInfo

java.lang.Object

gov.nasa.jpf.vm.AnnotationInfo

gov.nasa.jpf.vm.AbstractTypeAnnotationInfo

gov.nasa.jpf.vm.TypeParameterBoundAnnotationInfo

All Implemented Interfaces:

java.lang.Cloneable

public class TypeParameterBoundAnnotationInfo
extends AbstractTypeAnnotationInfo

type annotation for type parameter bounds, such as note that boundIndex == 0 always has to be a class

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	boundIndex
protected int	typeIndex

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
TypeParameterBoundAnnotationInfo(AnnotationInfo base, int targetType, short[] typePath, int typeIndex, int boundIndex)

Method Summary

Modifier and Type	Method and Description
int	getBoundIndex()
int	getTypeIndex()

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

typeIndex

protected int typeIndex

boundIndex

protected int boundIndex

Constructor Detail

TypeParameterBoundAnnotationInfo

public TypeParameterBoundAnnotationInfo(AnnotationInfo base,
                                        int targetType,
                                        short[] typePath,
                                        int typeIndex,
                                        int boundIndex)

Method Detail

getTypeIndex

public int getTypeIndex()

getBoundIndex

public int getBoundIndex()