Improves annotation support (#161)

[jpf-core.git] / src / main / gov / nasa / jpf / jvm / ClassFileReader.java

diff --git a/src/main/gov/nasa/jpf/jvm/ClassFileReader.java b/src/main/gov/nasa/jpf/jvm/ClassFileReader.java
index 6017fadd31f6927655c32e85326ba942189bf7f1..203537b91b0d0242dab98fbfda381393604ea62b 100644 (file)
--- a/src/main/gov/nasa/jpf/jvm/ClassFileReader.java
+++ b/src/main/gov/nasa/jpf/jvm/ClassFileReader.java
@@ -167,6 +167,8 @@ public interface ClassFileReader {
   void setAnnotationValueCount(ClassFile cf, Object tag, int annotationIndex, int nValuePairs);
 
   void setPrimitiveAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int arrayIndex, Object val);
+  
+  void setAnnotationFieldValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int arrayIndex);
 
   void setStringAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int arrayIndex, String s);