Creates field for containing_class

This is intended for when the class is an inner class. It gives the name of its containing class so that properties of the containing class can be propagated to the inner class as required.

Author: jeannielynnmoulton

jbmc/src/java_bytecode/java_bytecode_parse_tree.h

@@ -221,6 +221,7 @@ class java_bytecode_parse_treet
     bool is_static_class = false;
     bool is_anonymous_class = false;
     bool attribute_bootstrapmethods_read = false;
+    irep_idt containing_class;
     size_t enum_elements=0;
 
     enum class method_handle_typet

jbmc/src/java_bytecode/java_types.h

@@ -121,6 +121,16 @@ class java_class_typet:public class_typet
     return set(ID_is_inner_class, is_inner_class);
   }
 
+  const irep_idt get_containing_class() const
+  {
+    return get(ID_containing_class);
+  }
+
+  void set_containing_class(irep_idt containing_class)
+  {
+    return set(ID_containing_class, containing_class);
+  }
+
   const bool get_is_static_class() const
   {
     return get_bool(ID_is_static);

src/util/irep_ids.def

@@ -675,6 +675,7 @@ IREP_ID_ONE(interface)
 IREP_ID_TWO(C_must_not_throw, #must_not_throw)
 IREP_ID_ONE(is_inner_class)
 IREP_ID_ONE(is_anonymous)
+IREP_ID_ONE(containing_class)
 
 // Projects depending on this code base that wish to extend the list of
 // available ids should provide a file local_irep_ids.h in their source tree and