python_adjust.h

Go to the documentation of this file.

#pragma once
 
#include <util/symtab/context.h>
#include <util/symtab/namespace.h>
#include <irep2/irep2.h>
#include <string>
#include <vector>

class python_adjust
{
public:
  explicit python_adjust(contextt &_context);

  bool adjust();

  void adjust_expr(expr2tc &expr);

  void adjust_type(type2tc &type);
 
protected:
  contextt &context;
  namespacet ns;

  bool resolve_source(expr2tc &source);

  bool wrap_function_pointer_callee(expr2tc &fn, std::vector<expr2tc> &args);

  bool decay_array_arguments(const expr2tc &fn, std::vector<expr2tc> &args);

  std::vector<irep_idt> derive_exception_ids(const type2tc &type) const;

  void derive_exception_ids_rec(
    const type2tc &type,
    const std::string &suffix,
    std::vector<irep_idt> &ids) const;

  void collect_unresolved_sources(
    const expr2tc &expr,
    std::vector<std::string> &out) const;
};