Adding JIRA tickets cont.

Author: svorenova

unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp

@@ -64,7 +64,7 @@ SCENARIO(
         require_type::require_java_generic_class(
           class_symbol.type, {boundedinner_name + "::NUM"});
 
-      //TODO extend when bounds are parsed correctly - TG-1286
+      // TODO extend when bounds are parsed correctly - TG-1286
 
       THEN("The fields are of correct types")
       {
@@ -103,7 +103,7 @@ SCENARIO(
         require_type::require_java_generic_class(
           class_symbol.type, {doubleboundedinner_name + "::T"});
 
-      //TODO extend when bounds are parsed correctly - TG-1286
+      // TODO extend when bounds are parsed correctly - TG-1286
 
       THEN("The fields are of correct types")
       {
@@ -133,7 +133,7 @@ SCENARIO(
           class_symbol.type,
           {twoelementinner_name + "::K", twoelementinner_name + "::V"});
 
-      //TODO extend when bounds are parsed correctly - TG-1286
+      // TODO extend when bounds are parsed correctly - TG-1286
 
       THEN("The fields are of correct types")
       {

unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp

@@ -348,8 +348,6 @@ SCENARIO(
         new_symbol_table.lookup_ref(process_func_name);
       const code_typet func_code =
         require_type::require_code(func_symbol.type, 0);
-      // TODO: should point to something else than Object?? - possibly
-      // connected to bounds - issue TG-1286
       THEN("It has return type pointing to java.lang.Object")
       {
         require_type::require_pointer(

unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp

@@ -9,11 +9,6 @@
 #include <testing-utils/catch.hpp>
 #include <testing-utils/load_java_class.h>
 
-#include <util/config.h>
-#include <util/language.h>
-
-#include <java_bytecode/java_bytecode_language.h>
-
 SCENARIO(
   "parse_generic_wildcard",
   "[core][java_bytecode][java_bytecode_parse_generics]")
@@ -31,6 +26,7 @@ SCENARIO(
       class_prefix + func_name + func_descriptor;
 
     REQUIRE(new_symbol_table.has_symbol(process_func_name));
+    // TODO extend tests when wildcards are parsed correctly - TG-675
   }
 
   THEN("There should be a symbol for processUpperBoundInterfaceGeneric")
@@ -41,6 +37,7 @@ SCENARIO(
       class_prefix + func_name + func_descriptor;
 
     REQUIRE(new_symbol_table.has_symbol(process_func_name));
+    // TODO extend tests when wildcards are parsed correctly - TG-675
   }
 
   THEN("There should be a symbol for processUpperBoundClassGeneric")
@@ -51,6 +48,7 @@ SCENARIO(
       class_prefix + func_name + func_descriptor;
 
     REQUIRE(new_symbol_table.has_symbol(process_func_name));
+    // TODO extend tests when wildcards are parsed correctly - TG-675
   }
 
   THEN("There should be a symbol for processLowerBoundGeneric")
@@ -62,5 +60,6 @@ SCENARIO(
       class_prefix + func_name + func_descriptor;
 
     REQUIRE(new_symbol_table.has_symbol(process_func_name));
+    // TODO extend tests when wildcards are parsed correctly - TG-675
   }
 }