lambda_synthesis.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Java lambda code synthesis
 
Author: Diffblue Ltd.
 
\*******************************************************************/
 
 
#ifndef CPROVER_JAVA_BYTECODE_LAMBDA_SYNTHESIS_H
#define CPROVER_JAVA_BYTECODE_LAMBDA_SYNTHESIS_H
 
#include <java_bytecode/java_bytecode_parse_tree.h>
#include <java_bytecode/synthetic_methods_map.h>
#include <util/irep.h>
 
class message_handlert;
class codet;
class symbol_table_baset;
class symbol_tablet;
 
irep_idt lambda_synthetic_class_name(
  const irep_idt &method_identifier,
  std::size_t instruction_address);
 
void create_invokedynamic_synthetic_classes(
  const irep_idt &method_identifier,
  const java_bytecode_parse_treet::methodt::instructionst &instructions,
  symbol_tablet &symbol_table,
  synthetic_methods_mapt &synthetic_methods,
  message_handlert &message_handler);
 
codet invokedynamic_synthetic_constructor(
  const irep_idt &function_id,
  symbol_table_baset &symbol_table,
  message_handlert &message_handler);
 
codet invokedynamic_synthetic_method(
  const irep_idt &function_id,
  symbol_table_baset &symbol_table,
  message_handlert &message_handler);
 
#endif // CPROVER_JAVA_BYTECODE_LAMBDA_SYNTHESIS_H