select_pointer_type.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Java Bytecode Language Conversion
 
Author: Diffblue Ltd.
 
\*******************************************************************/
#ifndef CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H
#define CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H
 
 
#include <set>
 
#include <util/pointer_expr.h>
 
class generic_parameter_specialization_mapt;
class namespacet;
 
class select_pointer_typet
{
public:
  virtual ~select_pointer_typet() = default;
 
  virtual pointer_typet convert_pointer_type(
    const pointer_typet &pointer_type,
    const generic_parameter_specialization_mapt
      &generic_parameter_specialization_map,
    const namespacet &ns) const;
 
  virtual std::set<struct_tag_typet> get_parameter_alternative_types(
    const irep_idt &function_name,
    const irep_idt &parameter_name,
    const namespacet &ns) const;
 
  pointer_typet specialize_generics(
    const pointer_typet &pointer_type,
    const generic_parameter_specialization_mapt
      &generic_parameter_specialization_map) const;
};
 
#endif // CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H