File tree Expand file tree Collapse file tree 1 file changed +7
-5
lines changed Expand file tree Collapse file tree 1 file changed +7
-5
lines changed Original file line number Diff line number Diff line change @@ -395,10 +395,12 @@ java_generic_symbol_typet require_type::require_java_generic_symbol_type(
395395 return generic_base_type;
396396}
397397
398- // /
399- // / \param class_struct
400- // / \param expected_identifiers
401- // / \return
398+ // / Verify that the lambda method handles of a class match the given
399+ // / expectation.
400+ // / \param class_struct class type to be verified
401+ // / \param expected_identifiers expected list of lambda method handle
402+ // / references
403+ // / \return lambda method handles of the class
402404require_type::java_lambda_method_handlest
403405require_type::require_lambda_method_handles (
404406 const java_class_typet &class_type,
@@ -415,7 +417,7 @@ require_type::require_lambda_method_handles(
415417 expected_identifiers.begin (),
416418 [](
417419 const symbol_exprt &lambda_method_handle,
418- const std::string &expected_identifier) {
420+ const std::string &expected_identifier) { // NOLINT
419421 return lambda_method_handle.get_identifier () == expected_identifier;
420422 }));
421423 return lambda_method_handles;
You can’t perform that action at this time.
0 commit comments