Improves annotation support (#161)

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

diff --git a/src/main/gov/nasa/jpf/jvm/ClassFileReaderAdapter.java b/src/main/gov/nasa/jpf/jvm/ClassFileReaderAdapter.java
index 76fe4640c89fda04bc821fdd0aef975bf1d78793..4a3c19d410221c66a6695acaf2cd4f301edc3a07 100644 (file)
--- a/src/main/gov/nasa/jpf/jvm/ClassFileReaderAdapter.java
+++ b/src/main/gov/nasa/jpf/jvm/ClassFileReaderAdapter.java
@@ -246,4 +246,7 @@ public class ClassFileReaderAdapter implements ClassFileReader {
 
   @Override
   public void setSignature(ClassFile cf, Object tag, String signature) {}
+
+  @Override
+  public void setAnnotationFieldValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int arrayIndex) {}
 }