@@ -1923,30 +1923,28 @@ void java_bytecode_parsert::read_bootstrapmethods_entry(classt &parsed_class)
19231923
19241924 // If parse_method_handle can't parse the lambda method, it should return {}
19251925 POSTCONDITION (
1926- lambda_method_handle->handle_type !=
1927- method_handle_typet::UNKNOWN_HANDLE);
1926+ lambda_method_handle->handle_type != method_handle_typet::UNKNOWN_HANDLE);
19281927
19291928 lambda_method_handle->interface_type =
19301929 pool_entry (interface_type_argument.ref1 ).s ;
1931- lambda_method_handle->method_type =
1932- pool_entry (method_type_argument.ref1 ).s ;
1930+ lambda_method_handle->method_type = pool_entry (method_type_argument.ref1 ).s ;
19331931 lambda_method_handle->u2_values = std::move (u2_values);
19341932 debug () << " lambda function reference "
19351933 << id2string (lambda_method_handle->lambda_method_name )
19361934 << " in class \" " << parsed_class.name << " \" "
19371935 << " \n interface type is "
19381936 << id2string (pool_entry (interface_type_argument.ref1 ).s )
19391937 << " \n method type is "
1940- << id2string (pool_entry (method_type_argument.ref1 ).s )
1941- << eom;
1938+ << id2string (pool_entry (method_type_argument.ref1 ).s ) << eom;
19421939 parsed_class.add_method_handle (
19431940 bootstrap_method_index, *lambda_method_handle);
19441941 }
19451942}
19461943
19471944// / Creates an unknown method handle and puts it into the parsed_class
19481945// / \param parsed_class: The class whose bootstrap method handles we are using
1949- // / \param bootstrap_method_index: The current index in the bootstrap entry table
1946+ // / \param bootstrap_method_index: The current index in the bootstrap entry
1947+ // / table
19501948// / \param u2_values: The indices of the arguments for the call
19511949void java_bytecode_parsert::store_unknown_method_handle (
19521950 java_bytecode_parsert::classt &parsed_class,
@@ -1955,6 +1953,5 @@ void java_bytecode_parsert::store_unknown_method_handle(
19551953{
19561954 const lambda_method_handlet lambda_method_handle =
19571955 lambda_method_handlet::create_unknown_handle (move (u2_values));
1958- parsed_class.add_method_handle (
1959- bootstrap_method_index, lambda_method_handle);
1956+ parsed_class.add_method_handle (bootstrap_method_index, lambda_method_handle);
19601957}
0 commit comments