Store the final status of fields in componentt

Author: thomasspriggs

jbmc/src/java_bytecode/java_bytecode_convert_class.cpp

@@ -753,6 +753,8 @@ void java_bytecode_convert_classt::convert(
     else
       component.set_access(ID_default);
 
+    component.set_is_final(f.is_final);
+
     // Load annotations
     if(!f.annotations.empty())
     {

src/util/std_types.h

@@ -223,6 +223,16 @@ class struct_union_typet:public typet
     {
       return set(ID_C_is_padding, is_padding);
     }
+
+    bool get_is_final() const
+    {
+      return get_bool(ID_final);
+    }
+
+    void set_is_final(const bool is_final)
+    {
+      set(ID_final, is_final);
+    }
   };
 
   typedef std::vector<componentt> componentst;