Parses InnerClasses attribute of java bytecode.

In this commit, nothing is done with the data.

Author: jeannielynnmoulton

jbmc/src/java_bytecode/java_bytecode_parser.cpp

@@ -1640,6 +1640,48 @@ void java_bytecode_parsert::rclass_attribute(classt &parsed_class)
     parsed_class.attribute_bootstrapmethods_read = true;
     read_bootstrapmethods_entry(parsed_class);
   }
+  else if(attribute_name == "InnerClasses")
+  {
+    u2 number_of_classes = read_u2();
+    u4 number_of_bytes_to_be_read = number_of_classes * 8 + 2;
+    INVARIANT(
+      number_of_bytes_to_be_read == attribute_length,
+      "The number of bytes to be read for the InnerClasses attribute does not "
+      "match the attribute length.");
+
+    const std::function<pool_entryt &(u2)> pool_entry_lambda =
+      [this](u2 index) -> pool_entryt & { return pool_entry(index); };
+    std::function<std::string(std::string, char)> remove_separator_char =
+      [](std::string str, char ch) {
+        str.erase(std::remove(str.begin(), str.end(), ch), str.end());
+        return str;
+      };
+
+    for(int i = 0; i < number_of_classes; i++)
+    {
+      u2 inner_class_info_index = read_u2();
+      UNUSED u2 outer_class_info_index = read_u2();
+      UNUSED u2 inner_name_index = read_u2();
+      u2 inner_class_access_flags = read_u2();
+
+      if(inner_class_info_index != 0)
+      {
+        std::string inner_class_info_name =
+          class_infot(pool_entry(inner_class_info_index))
+            .get_name(pool_entry_lambda);
+        UNUSED bool is_private = inner_class_access_flags & ACC_PRIVATE;
+        UNUSED bool is_public = inner_class_access_flags & ACC_PUBLIC;
+        UNUSED bool is_protected = inner_class_access_flags & ACC_PROTECTED;
+
+        // If the original parsed class name matches the inner class name
+        // the parsed class is an inner class, so overwrite the parsed class'
+        // access information and mark it as an inner class
+        UNUSED bool is_inner_class =
+          remove_separator_char(id2string(parsed_class.name), '.') ==
+          remove_separator_char(inner_class_info_name, '/');
+      }
+    }
+  }
   else
     skip_bytes(attribute_length);
 }