File tree 1 file changed +7
-5
lines changed
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(
395
395
return generic_base_type;
396
396
}
397
397
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
402
404
require_type::java_lambda_method_handlest
403
405
require_type::require_lambda_method_handles (
404
406
const java_class_typet &class_type,
@@ -415,7 +417,7 @@ require_type::require_lambda_method_handles(
415
417
expected_identifiers.begin (),
416
418
[](
417
419
const symbol_exprt &lambda_method_handle,
418
- const std::string &expected_identifier) {
420
+ const std::string &expected_identifier) { // NOLINT
419
421
return lambda_method_handle.get_identifier () == expected_identifier;
420
422
}));
421
423
return lambda_method_handles;
You can’t perform that action at this time.
0 commit comments