gov.nasa.jpf.vm

Class InfoObject

java.lang.Object

gov.nasa.jpf.vm.InfoObject

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

ClassInfo, FieldInfo, LocalVarInfo, MethodInfo, ThreadInfo

public abstract class InfoObject
extends java.lang.Object
implements java.lang.Cloneable

common root for ClassInfo, MethodInfo, FieldInfo (and maybe more to follow) so far, it's used to factorize the annotation support, but we can also move the attributes up here Note this is used for both declaration- and type- annotations since there is a cross-over (type annotations of classes/interfaces are visible through the reflection API that is otherwise just reserved for declaration annotations) 2do - there are 3 annotation positions that are valid for both type and declaration annotations: class/interface, field and formal method parameters. Of these, only class/interface type annotations can be queried at runtime, i.e. are treated similarly to declaration annotations. It is not clear if this is a Java 8 implementation artifact or intentional Other than annotating classes/interfaces, type and declaration annotations are kept separate and only the latter ones can be queried from Java, hence we provide a query API that is only accessible from instructions, native peers and listeners. Type annotations are used

Field Summary

Fields

Modifier and Type	Field and Description
protected AnnotationInfo[]	annotations
protected java.lang.Object	attr user defined attribute objects.
protected AbstractTypeAnnotationInfo[]	typeAnnotations

Constructor Summary

Constructors

Constructor and Description
InfoObject()

Method Summary

Modifier and Type	Method and Description
void	addAnnotation(AnnotationInfo newAnnotation)
void	addAnnotations(AnnotationInfo[] annotations)
void	addAttr(java.lang.Object a)
void	addTypeAnnotation(AbstractTypeAnnotationInfo newAnnotation)
void	addTypeAnnotations(AbstractTypeAnnotationInfo[] tas)
ObjectList.Iterator	attrIterator()
<T> ObjectList.TypedIterator<T>	attrIterator(java.lang.Class<T> attrType)
AnnotationInfo	getAnnotation(java.lang.String name)
AnnotationInfo[]	getAnnotations()
java.lang.Object	getAttr() this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList
<T> T	getAttr(java.lang.Class<T> attrType) this only returns the first attr of this type, there can be more if you don't use client private types or the provided type is too general
AnnotationInfo[]	getDeclaredAnnotations()
<T> T	getNextAttr(java.lang.Class<T> attrType, java.lang.Object prev)
<T extends AbstractTypeAnnotationInfo> java.util.List<T>	getTargetTypeAnnotations(java.lang.Class<T> targetType)
AbstractTypeAnnotationInfo	getTypeAnnotation(java.lang.String annoClsName)
AbstractTypeAnnotationInfo[]	getTypeAnnotations()
boolean	hasAnnotation(java.lang.String name)
boolean	hasAnnotations()
boolean	hasAttr()
boolean	hasAttr(java.lang.Class<?> attrType)
boolean	hasAttrValue(java.lang.Object a)
boolean	hasTypeAnnotation(java.lang.String name)
boolean	hasTypeAnnotations()
void	removeAttr(java.lang.Object a)
void	replaceAttr(java.lang.Object oldAttr, java.lang.Object newAttr)
void	setAnnotations(AnnotationInfo[] annotations)
void	setAttr(java.lang.Object a) this replaces all of them - use only if you know - there will be only one attribute at a time - you obtained the value you set by a previous getXAttr() - you constructed a multi value list with ObjectList.createList()
void	setTypeAnnotations(AbstractTypeAnnotationInfo[] typeAnnotations)

Methods inherited from class java.lang.Object

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

Field Detail

annotations

protected AnnotationInfo[] annotations

typeAnnotations

protected AbstractTypeAnnotationInfo[] typeAnnotations

attr

protected java.lang.Object attr

user defined attribute objects. Note - this is NOT automatically state restored upon backtracking, subclasses have to do this on their own if required

Constructor Detail

InfoObject

public InfoObject()

Method Detail

setAnnotations

public void setAnnotations(AnnotationInfo[] annotations)

addAnnotations

public void addAnnotations(AnnotationInfo[] annotations)

addAnnotation

public void addAnnotation(AnnotationInfo newAnnotation)

hasAnnotations

public boolean hasAnnotations()

getAnnotations

public AnnotationInfo[] getAnnotations()

getAnnotation

public AnnotationInfo getAnnotation(java.lang.String name)

hasAnnotation

public boolean hasAnnotation(java.lang.String name)

getDeclaredAnnotations

public AnnotationInfo[] getDeclaredAnnotations()

setTypeAnnotations

public void setTypeAnnotations(AbstractTypeAnnotationInfo[] typeAnnotations)

addTypeAnnotations

public void addTypeAnnotations(AbstractTypeAnnotationInfo[] tas)

addTypeAnnotation

public void addTypeAnnotation(AbstractTypeAnnotationInfo newAnnotation)

getTypeAnnotations

public AbstractTypeAnnotationInfo[] getTypeAnnotations()

hasTypeAnnotations

public boolean hasTypeAnnotations()

hasTypeAnnotation

public boolean hasTypeAnnotation(java.lang.String name)

getTypeAnnotation

public AbstractTypeAnnotationInfo getTypeAnnotation(java.lang.String annoClsName)

getTargetTypeAnnotations

public <T extends AbstractTypeAnnotationInfo> java.util.List<T> getTargetTypeAnnotations(java.lang.Class<T> targetType)

hasAttr

public boolean hasAttr()

hasAttr

public boolean hasAttr(java.lang.Class<?> attrType)

hasAttrValue

public boolean hasAttrValue(java.lang.Object a)

getAttr

public java.lang.Object getAttr()

this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList

setAttr

public void setAttr(java.lang.Object a)

this replaces all of them - use only if you know - there will be only one attribute at a time - you obtained the value you set by a previous getXAttr() - you constructed a multi value list with ObjectList.createList()

addAttr

public void addAttr(java.lang.Object a)

removeAttr

public void removeAttr(java.lang.Object a)

replaceAttr

public void replaceAttr(java.lang.Object oldAttr,
                        java.lang.Object newAttr)

getAttr

public <T> T getAttr(java.lang.Class<T> attrType)

this only returns the first attr of this type, there can be more if you don't use client private types or the provided type is too general

getNextAttr

public <T> T getNextAttr(java.lang.Class<T> attrType,
                         java.lang.Object prev)

attrIterator

public ObjectList.Iterator attrIterator()

attrIterator

public <T> ObjectList.TypedIterator<T> attrIterator(java.lang.Class<T> attrType)