gov.nasa.jpf.vm

Class BytecodeTypeParameterAnnotationInfo

java.lang.Object

gov.nasa.jpf.vm.AnnotationInfo

gov.nasa.jpf.vm.AbstractTypeAnnotationInfo

gov.nasa.jpf.vm.BytecodeTypeParameterAnnotationInfo

All Implemented Interfaces:

java.lang.Cloneable

public class BytecodeTypeParameterAnnotationInfo
extends AbstractTypeAnnotationInfo

type annotation for instructions that take type parameters, such as invoke insns for generic methods

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	offset
protected int	typeParameterIndex

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
BytecodeTypeParameterAnnotationInfo(AnnotationInfo base, int targetType, short[] typePath, int offset, int typeParameterIndex)

Method Summary

Modifier and Type	Method and Description
int	getOffset()
int	getTypeParameterIndex()

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

offset

protected int offset

typeParameterIndex

protected int typeParameterIndex

Constructor Detail

BytecodeTypeParameterAnnotationInfo

public BytecodeTypeParameterAnnotationInfo(AnnotationInfo base,
                                           int targetType,
                                           short[] typePath,
                                           int offset,
                                           int typeParameterIndex)

Method Detail

getOffset

public int getOffset()

getTypeParameterIndex

public int getTypeParameterIndex()