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

@@ -507,6 +507,20 @@ 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(const reference_typet &type) const
+  {
+    const size_t &index =
+      std::find(generic_types().begin(), generic_types().end(), type) -
+      generic_types().begin();
+    if(index < generic_types().size())
+      return index;
+    return {};
+  }
 };
 
 /// \param type: the type to check

src/util/std_types.h

@@ -401,6 +401,22 @@ 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
+  {
+    if(has_base(id))
+    {
+      for(const auto &b : bases())
+      {
+        if(to_symbol_type(b.type()).get(ID_identifier) == id)
+          return b;
+      }
+    }
+    return {};
+  }
+
   bool is_abstract() const
   {
     return get_bool(ID_abstract);