Adding a utility function for lambda method handles in struct cont.

Author: svorenova

unit/testing-utils/require_type.cpp

@@ -481,10 +481,12 @@ java_generic_symbol_typet require_type::require_java_generic_symbol_type(
   return generic_base_type;
 }
 
-///
-/// \param class_struct
-/// \param expected_identifiers
-/// \return
+/// Verify that the lambda method handles of a class match the given
+/// expectation.
+/// \param class_struct class type to be verified
+/// \param expected_identifiers expected list of lambda method handle
+///   references
+/// \return lambda method handles of the class
 require_type::java_lambda_method_handlest
 require_type::require_lambda_method_handles(
   const java_class_typet &class_type,
@@ -501,7 +503,7 @@ require_type::require_lambda_method_handles(
       expected_identifiers.begin(),
       [](
         const symbol_exprt &lambda_method_handle,
-        const std::string &expected_identifier) {
+        const std::string &expected_identifier) { //NOLINT
         return lambda_method_handle.get_identifier() == expected_identifier;
       }));
   return lambda_method_handles;

unit/testing-utils/require_type.h

@@ -116,12 +116,12 @@ java_generic_symbol_typet require_java_generic_symbol_type(
   const std::string &identifier,
   const require_type::expected_type_argumentst &type_expectations);
 
-  typedef java_class_typet::java_lambda_method_handlest
-    java_lambda_method_handlest;
+typedef java_class_typet::java_lambda_method_handlest
+  java_lambda_method_handlest;
 
-  java_lambda_method_handlest require_lambda_method_handles(
-    const java_class_typet &class_type,
-    const std::vector<std::string> &expected_identifiers);
+java_lambda_method_handlest require_lambda_method_handles(
+  const java_class_typet &class_type,
+  const std::vector<std::string> &expected_identifiers);
 }
 
 #endif // CPROVER_TESTING_UTILS_REQUIRE_TYPE_H