gov.nasa.jpf.vm

Class VariableAnnotationInfo

java.lang.Object

gov.nasa.jpf.vm.AnnotationInfo

gov.nasa.jpf.vm.AbstractTypeAnnotationInfo

gov.nasa.jpf.vm.VariableAnnotationInfo

All Implemented Interfaces:

java.lang.Cloneable

public class VariableAnnotationInfo
extends AbstractTypeAnnotationInfo

type annotation for local vars and resource vars

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 long[]	scopeEntries

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
VariableAnnotationInfo(AnnotationInfo base, int targetType, short[] typePath, long[] scopeEntries)

Method Summary

Modifier and Type	Method and Description
protected void	addArgs(java.lang.StringBuilder sb)
int	getEndPC(int idx)
int	getLength(int idx)
int	getNumberOfScopeEntries()
int	getSlotIndex(int idx)
int	getStartPC(int idx)

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

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

scopeEntries

protected long[] scopeEntries

Constructor Detail

VariableAnnotationInfo

public VariableAnnotationInfo(AnnotationInfo base,
                              int targetType,
                              short[] typePath,
                              long[] scopeEntries)

Method Detail

getNumberOfScopeEntries

public int getNumberOfScopeEntries()

getStartPC

public int getStartPC(int idx)

getLength

public int getLength(int idx)

getEndPC

public int getEndPC(int idx)

getSlotIndex

public int getSlotIndex(int idx)

addArgs

protected void addArgs(java.lang.StringBuilder sb)

Overrides:

addArgs in class AbstractTypeAnnotationInfo