27 typedef java_bytecode_parse_treet::classt::lambda_method_handle_mapt::
34 std::vector<lambda_method_entryt> matches;
41 entry.second.get_method_descriptor().get_identifier() ==
45 return matches.at(0).second;
56 const auto method = std::find_if(
60 return method.name == method_name;
65 for(
const auto &entry : parsed_class.
methods)
struct bytecode_infot const bytecode_info[]
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
const std::string & id2string(const irep_idt &d)
lambda_method_handlet require_lambda_entry_for_descriptor(const java_bytecode_parse_treet::classt &parsed_class, const std::string &lambda_method_ref)
Find in the parsed class a specific entry within the lambda_method_handle_map with a matching descrip...
std::vector< expected_instructiont > expected_instructionst
void require_instructions_match_expectation(const expected_instructionst &expected_instructions, const java_bytecode_parse_treet::methodt::instructionst instructions)
Verify whether a given methods instructions match an expectation.
const methodt require_method(const java_bytecode_parse_treet::classt &parsed_class, const irep_idt &method_name)
Finds a specific method in the parsed class with a matching name.
Utilties for inspecting java_parse_treet.
lambda_method_handle_mapt lambda_method_handle_map
std::vector< instructiont > instructionst
irep_idt instruction_mnemoic
void require_instructions_equal(java_bytecode_parse_treet::instructiont actual_instruction) const
Check whether a given instruction matches an expectation of the instruction.
std::vector< exprt > instruction_arguments