Utilties for inspecting java_parse_treet. More...

#include <java_bytecode/java_bytecode_parse_tree.h>

Include dependency graph for require_parse_tree.h:

This graph shows which files directly or indirectly include this file:

Classes
struct	require_parse_tree::expected_instructiont

Typedefs
typedef java_bytecode_parse_treet::classt::lambda_method_handlet	require_parse_tree::lambda_method_handlet

typedef java_bytecode_parse_treet::methodt	require_parse_tree::methodt

typedef std::vector< expected_instructiont >	require_parse_tree::expected_instructionst

Functions
lambda_method_handlet	require_parse_tree::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 descriptor. More...

const methodt	require_parse_tree::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. More...

void	require_parse_tree::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. More...

Detailed Description

Utilties for inspecting java_parse_treet.

Classes