cprover
require_parse_tree.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Unit test utilities
4 
5 Author: Diffblue Ltd.
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_JAVA_TESTING_UTILS_REQUIRE_PARSE_TREE_H
13 #define CPROVER_JAVA_TESTING_UTILS_REQUIRE_PARSE_TREE_H
14 
16 
18 
19 // NOLINTNEXTLINE(readability/namespace)
21 {
24 
26  const java_bytecode_parse_treet::classt &parsed_class,
27  const std::string &lambda_method_ref,
28  const std::string &method_type);
29 
31 
33  const java_bytecode_parse_treet::classt &parsed_class,
34  const irep_idt &method_name);
35 
37 {
40  const std::vector<exprt> &instruction_arguments)
43  {
44  }
45 
47  java_bytecode_parse_treet::instructiont actual_instruction) const;
48 
49 private:
51  std::vector<exprt> instruction_arguments;
52 };
53 
54 typedef std::vector<expected_instructiont> expected_instructionst;
55 
57  const expected_instructionst &expected_instructions,
59 }
60 
61 #endif // CPROVER_JAVA_TESTING_UTILS_REQUIRE_PARSE_TREE_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
require_parse_tree::expected_instructiont::instruction_mnemoic
irep_idt instruction_mnemoic
Definition: require_parse_tree.h:50
require_parse_tree::expected_instructiont
Definition: require_parse_tree.h:37
java_bytecode_parse_treet::methodt
Definition: java_bytecode_parse_tree.h:85
require_parse_tree::expected_instructiont::instruction_arguments
std::vector< exprt > instruction_arguments
Definition: require_parse_tree.h:51
java_bytecode_parse_treet::methodt::instructionst
std::vector< instructiont > instructionst
Definition: java_bytecode_parse_tree.h:91
require_parse_tree::require_method
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.
Definition: require_parse_tree.cpp:53
java_bytecode_parse_treet::instructiont
Definition: java_bytecode_parse_tree.h:56
require_parse_tree::expected_instructiont::require_instructions_equal
void require_instructions_equal(java_bytecode_parse_treet::instructiont actual_instruction) const
Check whether a given instruction matches an expectation of the instruction.
Definition: require_parse_tree.cpp:95
java_bytecode_parse_treet::classt::lambda_method_handlet
Definition: java_bytecode_parse_tree.h:235
require_parse_tree::expected_instructiont::expected_instructiont
expected_instructiont(const irep_idt &instruction_mnemoic, const std::vector< exprt > &instruction_arguments)
Definition: require_parse_tree.h:38
require_parse_tree::methodt
java_bytecode_parse_treet::methodt methodt
Definition: require_parse_tree.h:30
java_bytecode_parse_tree.h
require_parse_tree::require_lambda_entry_for_descriptor
lambda_method_handlet require_lambda_entry_for_descriptor(const java_bytecode_parse_treet::classt &parsed_class, const std::string &lambda_method_ref, const std::string &method_type)
Find in the parsed class a specific entry within the lambda_method_handle_map with a matching descrip...
Definition: require_parse_tree.cpp:22
require_parse_tree::expected_instructionst
std::vector< expected_instructiont > expected_instructionst
Definition: require_parse_tree.h:54
require_parse_tree::lambda_method_handlet
java_bytecode_parse_treet::classt::lambda_method_handlet lambda_method_handlet
Definition: require_parse_tree.h:23
require_parse_tree::require_instructions_match_expectation
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.
Definition: require_parse_tree.cpp:80
use_catch.h
java_bytecode_parse_treet::classt
Definition: java_bytecode_parse_tree.h:197
require_parse_tree
Definition: require_parse_tree.h:21