Addressing review comments

Cleaned up some logic
Removed some redundant tests relating to java.lang.Object
Added missing documentation for helper functions
Made the validate_lambda_assignment take a single assignment as the
calling functions are already checking that there is precisely one)

Author: thk123

unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp

@@ -43,15 +43,15 @@ struct lambda_assignment_test_datat
 /// \param symbol_table: The loaded symbol table
 /// \param instructions: The instructions of the method that calls invokedynamic
 /// \param test_data: The parameters for the test
+/// \param lambda_assignment: The assignment statement for the lambda method
 void validate_lambda_assignment(
   const symbol_tablet &symbol_table,
   const std::vector<codet> &instructions,
   const lambda_assignment_test_datat &test_data,
-  const require_goto_statements::pointer_assignment_locationt
-  &lambda_assignment)
+  const code_assignt &lambda_assignment)
 {
   const typecast_exprt &rhs_value = require_expr::require_typecast(
-    lambda_assignment.non_null_assignments[0].rhs());
+    lambda_assignment.rhs());
 
   const symbol_exprt &rhs_symbol =
     require_expr::require_symbol(rhs_value.op0());
@@ -85,8 +85,8 @@ void validate_lambda_assignment(
   const class_typet &tmp_lambda_class_type =
     require_type::require_complete_class(lambda_implementor_type_symbol.type);
 
-  REQUIRE(tmp_lambda_class_type.has_base(test_data.lambda_interface));
   REQUIRE(tmp_lambda_class_type.has_base("java::java.lang.Object"));
+  REQUIRE(tmp_lambda_class_type.has_base(test_data.lambda_interface));
 
   class_hierarchyt class_hierarchy;
   class_hierarchy(symbol_table);
@@ -111,16 +111,6 @@ void validate_lambda_assignment(
   const symbol_typet &super_class_type = require_type::require_symbol(
     super_class_component.type(), "java::java.lang.Object");
 
-  const symbolt &base_class_symbol = require_symbol::require_symbol_exists(
-    symbol_table, super_class_type.get_identifier());
-
-  REQUIRE(base_class_symbol.is_type);
-  const class_typet &super_class_type_struct =
-    require_type::require_incomplete_class(base_class_symbol.type);
-
-  require_type::require_component(super_class_type_struct, "@class_identifier");
-  // TODO verify the components of the class have been set correctly
-
   THEN("The function in the class should call the lambda method")
   {
     const irep_idt method_identifier =
@@ -175,6 +165,11 @@ void validate_lambda_assignment(
 
 /// Find the assignment to the lambda and then call validate_lamdba_assignement
 /// for full validation.
+/// \param symbol_table: The loaded symbol table
+/// \param instructions: The instructions of the method that calls invokedynamic
+/// \param test_data: The parameters for the test
+/// \param lambda_variable_id: A regex matching the name of the variable which
+///   stores the lambda
 void validate_local_variable_lambda_assignment(
   const symbol_tablet &symbol_table,
   const std::vector<codet> &instructions,
@@ -189,7 +184,10 @@ void validate_local_variable_lambda_assignment(
   REQUIRE_FALSE(lambda_assignment.null_assignment.has_value());
 
   validate_lambda_assignment(
-    symbol_table, instructions, test_data, lambda_assignment);
+    symbol_table,
+    instructions,
+    test_data,
+    lambda_assignment.non_null_assignments[0]);
 }
 
 SCENARIO(
@@ -315,7 +313,6 @@ SCENARIO(
           test_data.lambda_interface_method_descriptor =
             ".Execute:()Ljava/lang/Object;";
 
-          //"java::LocalLambdas.lambda$test$0:()V"
           test_data.lambda_function_id =
             "java::LocalLambdas.lambda$test$4:()Ljava/lang/Object;";
           test_data.expected_params = {};
@@ -356,6 +353,11 @@ SCENARIO(
 
 /// Find the assignment to the lambda in the constructor
 /// and then call validate_lamdba_assignement for full validation.
+/// \param symbol_table: The loaded symbol table
+/// \param instructions: The instructions of the method that calls invokedynamic
+/// \param test_data: The parameters for the test
+/// \param lambda_variable_id: The name of the member variable that stores the
+///  lambda
 void validate_member_variable_lambda_assignment(
   const symbol_tablet &symbol_table,
   const std::vector<codet> &instructions,
@@ -370,7 +372,10 @@ void validate_member_variable_lambda_assignment(
   REQUIRE_FALSE(lambda_assignment.null_assignment.has_value());
 
   validate_lambda_assignment(
-    symbol_table, instructions, test_data, lambda_assignment);
+    symbol_table,
+    instructions,
+    test_data,
+    lambda_assignment.non_null_assignments[0]);
 }
 
 SCENARIO(
@@ -513,6 +518,11 @@ SCENARIO(
 
 /// Find the assignment to the lambda  in the <clinit> and then call
 /// validate_lamdba_assignement for full validation.
+/// \param symbol_table: The loaded symbol table
+/// \param instructions: The instructions of the method that calls invokedynamic
+/// \param test_data: The parameters for the test
+/// \param static_field_name: The name of the static variable that stores the
+///  lambda
 void validate_static_member_variable_lambda_assignment(
   const symbol_tablet &symbol_table,
   const std::vector<codet> &instructions,
@@ -527,7 +537,10 @@ void validate_static_member_variable_lambda_assignment(
   REQUIRE_FALSE(lambda_assignment.null_assignment.has_value());
 
   validate_lambda_assignment(
-    symbol_table, instructions, test_data, lambda_assignment);
+    symbol_table,
+    instructions,
+    test_data,
+    lambda_assignment.non_null_assignments[0]);
 }
 
 SCENARIO(