synthetic_methods_map.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Synthetic methods map
 
Author: Chris Smowton, chris.smowton@diffblue.com
 
\*******************************************************************/
 
#ifndef CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H
#define CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H

 
#include <unordered_map>
 
#include <util/irep.h>

enum class synthetic_method_typet
{
  STATIC_INITIALIZER_WRAPPER,
  USER_SPECIFIED_STATIC_INITIALIZER,
  STUB_CLASS_STATIC_INITIALIZER,
  INVOKEDYNAMIC_CAPTURE_CONSTRUCTOR,
  INVOKEDYNAMIC_METHOD,
  CREATE_ARRAY_WITH_TYPE
};

typedef std::unordered_map<irep_idt, synthetic_method_typet>
  synthetic_methods_mapt;
 
#endif