Handling wild card generics with exception

Instead of partial handling from before.

Author: svorenova

src/java_bytecode/java_types.cpp

@@ -416,55 +416,14 @@ typet java_type_from_string(
       return java_reference_type(symbol_type);
     }
   case '*':
-  {
-#ifdef DEBUG
-    std::cout << class_name << std::endl;
-#endif
-    // parse name of type variable
-    INVARIANT(src[src.size()-1]==';', "Generic type name must end on ';'.");
-    PRECONDITION(!class_name.empty());
-//    INVARIANT(
-//      src.substr(1, src.size()-2)=="*",
-//      "Wildcard types do not have a name");
-    irep_idt type_var_name(class_name+"::*");
-    return java_generic_parametert(
-      type_var_name,
-      java_type_from_string("Ljava/lang/Object;").subtype());
-  }
   case '+':
-  {
-#ifdef DEBUG
-    std::cout << class_name << std::endl;
-#endif
-    // parse name of type variable
-    INVARIANT(src[src.size()-1]==';', "Generic type name must end on ';'.");
-    PRECONDITION(!class_name.empty());
-//    INVARIANT(
-//      src.substr(1, src.size()-2)=="*",
-//      "Wildcard types do not have a name");
-    irep_idt type_var_name(class_name+"::*");
-    return java_generic_parametert(
-      type_var_name,
-      java_type_from_string("Ljava/lang/Object;").subtype());
-  }
   case '-':
   {
 #ifdef DEBUG
     std::cout << class_name << std::endl;
 #endif
-    // parse name of type variable
-    INVARIANT(src[src.size()-1]==';', "Generic type name must end on ';'.");
-    PRECONDITION(!class_name.empty());
-//    INVARIANT(
-//      src.substr(1, src.size()-2)=="*",
-//      "Wildcard types do not have a name");
-    irep_idt type_var_name(class_name+"::*");
-    return java_generic_parametert(
-      type_var_name,
-      java_type_from_string("Ljava/lang/Object;").subtype());
+    throw unsupported_java_class_siganture_exceptiont("wild card generic");
   }
-
-
   default:
     return nil_typet();
   }