Utility functions for generic types

These will be used in test generator to convert generic pointer types.

Author: svorenova

src/java_bytecode/java_types.h

@@ -604,6 +604,19 @@ class java_generic_symbol_typet : public symbol_typet
   {
     return (generic_typest &)(add(ID_generic_types).get_sub());
   }
+
+  /// Check if this symbol has the given generic type. If yes, return its index
+  /// in the vector of generic types.
+  /// \param type The type we are looking for.
+  /// \return The index of the type in the vector of generic types.
+  optionalt<size_t> generic_type_index(const reference_typet &type) const
+  {
+    const auto &type_pointer =
+      std::find(generic_types().begin(), generic_types().end(), type);
+    if(type_pointer != generic_types().end())
+      return type_pointer - generic_types().begin();
+    return {};
+  }
 };
 
 /// \param type: the type to check

src/util/std_types.h

@@ -407,6 +407,19 @@ class class_typet:public struct_typet
     return false;
   }
 
+  /// Return the base with the given name, if exists.
+  /// \param id The name of the base we are looking for.
+  /// \return The base if exists.
+  optionalt<baset> get_base(const irep_idt &id) const
+  {
+    for(const auto &b : bases())
+    {
+      if(to_symbol_type(b.type()).get_identifier() == id)
+        return b;
+    }
+    return {};
+  }
+
   bool is_abstract() const
   {
     return get_bool(ID_abstract);