Retrieve final qualifier for methods from bytecode

Author: Joel Allred

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -447,6 +447,7 @@ void java_bytecode_convert_methodt::convert(
   // (function) type of the symbol
   java_method_typet method_type = to_java_method_type(method_symbol.type);
   method_type.set(ID_C_class, class_symbol.name);
+  method_type.set_is_final(m.is_final);
   method_return_type = method_type.return_type();
   java_method_typet::parameterst &parameters = method_type.parameters();
 

jbmc/src/java_bytecode/java_types.h

@@ -278,6 +278,16 @@ class java_method_typet : public code_typet
   {
     add(ID_exceptions_thrown_list).get_sub().push_back(irept(exception));
   }
+
+  bool get_is_final() const
+  {
+    return get_bool(ID_final);
+  }
+
+  void set_is_final(bool is_final)
+  {
+    set(ID_final, is_final);
+  }
 };
 
 template <>