Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
AnnotationInfo |
JVMClassFileContainer.createAnnotationInfo(String typeName,
ClassLoaderInfo classLoader,
byte[] data) |
Modifier and Type | Method and Description |
---|---|
void |
JVMAnnotationParser.parse(AnnotationInfo ai) |
Modifier and Type | Field and Description |
---|---|
protected AnnotationInfo[] |
InfoObject.annotations |
Modifier and Type | Field and Description |
---|---|
protected Map<String,AnnotationInfo> |
ClassLoaderInfo.resolvedAnnotations |
Modifier and Type | Method and Description |
---|---|
protected AnnotationInfo |
AnnotationInfo.cloneFor(ClassLoaderInfo cl) |
AnnotationInfo |
AnnotationInfo.cloneForOverriddenValues()
this returns a clone that can be used to explicitly set values.
|
AnnotationInfo |
ClassFileMatch.createAnnotationInfo(ClassLoaderInfo classLoader) |
abstract AnnotationInfo |
ClassFileContainer.createAnnotationInfo(String typeName,
ClassLoaderInfo classLoader,
byte[] data) |
AnnotationInfo |
InfoObject.getAnnotation(String name) |
AnnotationInfo |
ClassInfo.getAnnotation(String annotationName) |
AnnotationInfo[] |
InfoObject.getAnnotations() |
AnnotationInfo[] |
ClassInfo.getAnnotations()
return all annotations, which includes the ones inherited from our superclasses
NOTE - this is not very efficient
|
AnnotationInfo[] |
InfoObject.getDeclaredAnnotations() |
AnnotationInfo[][] |
MethodInfo.getParameterAnnotations() |
AnnotationInfo[] |
MethodInfo.getParameterAnnotations(int parameterIndex)
return annotations for parameterIndex
|
AnnotationInfo |
ClassInfo.getResolvedAnnotationInfo(String typeName) |
AnnotationInfo |
ClassLoaderInfo.getResolvedAnnotationInfo(String typeName) |
Modifier and Type | Method and Description |
---|---|
void |
InfoObject.addAnnotation(AnnotationInfo newAnnotation) |
void |
AnnotationParser.parse(AnnotationInfo ai) |
void |
InfoObject.setAnnotations(AnnotationInfo[] annotations) |
void |
ClassInfo.setAnnotations(AnnotationInfo[] annotations) |
void |
MethodInfo.setParameterAnnotations(AnnotationInfo[][] parameterAnnotations) |
protected void |
MethodInfo.setParameterAnnotations(int index,
AnnotationInfo[] ai) |