gov.nasa.jpf.vm

Class TypeAnnotationInfo

java.lang.Object

gov.nasa.jpf.vm.AnnotationInfo

gov.nasa.jpf.vm.AbstractTypeAnnotationInfo

gov.nasa.jpf.vm.TypeAnnotationInfo

All Implemented Interfaces:

java.lang.Cloneable

public class TypeAnnotationInfo
extends AbstractTypeAnnotationInfo

type annotation for classes, enums and interfaces Note that we need a separate type than AbstractTypeAnnotationInfo since the type is used for queries (InfoObjects can have any number of type annotations with different targets)

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

Method Summary

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

Constructor Detail

TypeAnnotationInfo

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