Enable parsing of annotations on parameters

Author: NathanJPhillips

jbmc/src/java_bytecode/java_bytecode_parse_tree.h

@@ -98,6 +98,8 @@ struct java_bytecode_parse_treet
       return instructions.back();
     }
 
+    std::vector<annotationst> parameter_annotations;
+
     struct exceptiont
     {
       exceptiont()

jbmc/src/java_bytecode/java_bytecode_parser.cpp

@@ -1243,6 +1243,16 @@ void java_bytecode_parsert::rmethod_attribute(methodt &method)
   {
     rRuntimeAnnotation_attribute(method.annotations);
   }
+  else if(
+    attribute_name == "RuntimeInvisibleParameterAnnotations" ||
+    attribute_name == "RuntimeVisibleParameterAnnotations")
+  {
+    u1 parameter_count = read_u1();
+    if(method.parameter_annotations.size() < parameter_count)
+      method.parameter_annotations.resize(parameter_count);
+    for(u2 param_no = 0; param_no < parameter_count; ++param_no)
+      rRuntimeAnnotation_attribute(method.parameter_annotations[param_no]);
+  }
   else if(attribute_name == "Exceptions")
   {
     method.throws_exception_table = rexceptions_attribute();

jbmc/unit/java_bytecode/java_bytecode_parser/AnnotationsEverywhere.class

@@ -0,0 +1,41 @@
+@interface ClassAnnotation {
+}
+
+@java.lang.annotation.Retention(java.lang.annotation.RetentionPolicy.RUNTIME)
+@interface RuntimeClassAnnotation {
+}
+
+@interface FieldAnnotation {
+}
+
+@java.lang.annotation.Retention(java.lang.annotation.RetentionPolicy.RUNTIME)
+@interface RuntimeFieldAnnotation {
+}
+
+@interface MethodAnnotation {
+}
+
+@java.lang.annotation.Retention(java.lang.annotation.RetentionPolicy.RUNTIME)
+@interface RuntimeMethodAnnotation {
+}
+
+@interface ParameterAnnotation {
+}
+
+@java.lang.annotation.Retention(java.lang.annotation.RetentionPolicy.RUNTIME)
+@interface RuntimeParameterAnnotation {
+}
+
+@ClassAnnotation
+@RuntimeClassAnnotation
+public class AnnotationsEverywhere {
+    @FieldAnnotation
+    @RuntimeFieldAnnotation
+    public int x;
+
+    @MethodAnnotation
+    @RuntimeMethodAnnotation
+    public void foo(@ParameterAnnotation @RuntimeParameterAnnotation int p)
+    {
+    }
+}