require_parse_tree.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Unit test utilities
 
Author: Diffblue Ltd.
 
\*******************************************************************/
 
#include "require_parse_tree.h"
 
#include <testing-utils/use_catch.h>
 
#include <iterator>
 
require_parse_tree::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)
{
  typedef java_bytecode_parse_treet::classt::lambda_method_handle_mapt::
    value_type lambda_method_entryt;
 
  INFO("Looking for entry with lambda_method_ref: " << lambda_method_ref);
  const irep_idt method_ref_with_prefix =
    "java::" + id2string(lambda_method_ref);
 
  std::vector<lambda_method_entryt> matches;
  std::copy_if(
    parsed_class.lambda_method_handle_map.begin(),
    parsed_class.lambda_method_handle_map.end(),
    back_inserter(matches),
    [&method_ref_with_prefix](const lambda_method_entryt &entry) { //NOLINT
      return (
        entry.second.get_method_descriptor().get_identifier() ==
        method_ref_with_prefix);
    });
  REQUIRE(matches.size() == 1);
  return matches.at(0).second;
}
require_parse_tree::require_lambda_entry_for_descriptor( {…}
 
const require_parse_tree::methodt require_parse_tree::require_method(
  const java_bytecode_parse_treet::classt &parsed_class,
  const irep_idt &method_name)
{
  const auto method = std::find_if(
    parsed_class.methods.begin(),
    parsed_class.methods.end(),
    [&method_name](const java_bytecode_parse_treet::methodt &method) {
      return method.name == method_name;
    });
 
  INFO("Looking for method: " << method_name);
  std::ostringstream found_methods;
  for(const auto &entry : parsed_class.methods)
  {
    found_methods << id2string(entry.name) << std::endl;
  }
  INFO("Found methods:\n" << found_methods.str());
 
  REQUIRE(method != parsed_class.methods.end());
 
  return *method;
}
const require_parse_tree::methodt require_parse_tree::require_method( {…}
 
void require_parse_tree::require_instructions_match_expectation(
  const expected_instructionst &expected_instructions,
  const java_bytecode_parse_treet::methodt::instructionst instructions)
{
  REQUIRE(instructions.size() == expected_instructions.size());
  auto actual_instruction_it = instructions.begin();
  for(const auto &expected_instruction : expected_instructions)
  {
    expected_instruction.require_instructions_equal(*actual_instruction_it);
    ++actual_instruction_it;
  }
}
void require_parse_tree::require_instructions_match_expectation( {…}
 
void require_parse_tree::expected_instructiont::require_instructions_equal(
  java_bytecode_parse_treet::instructiont actual_instruction) const
{
  REQUIRE(
    instruction_mnemoic == bytecode_info[actual_instruction.bytecode].mnemonic);
  REQUIRE(instruction_arguments.size() == actual_instruction.args.size());
  auto actual_arg_it = actual_instruction.args.begin();
  for(const exprt &expected_arg : actual_instruction.args)
  {
    INFO("Expected argument" << expected_arg.pretty());
    INFO("Actual argument" << actual_arg_it->pretty());
    REQUIRE(*actual_arg_it == expected_arg);
    ++actual_arg_it;
  }
}
void require_parse_tree::expected_instructiont::require_instructions_equal( {…}