jimple_file.h

Go to the documentation of this file.

#ifndef ESBMC_JIMPLE_FILE_H
#define ESBMC_JIMPLE_FILE_H
 
#include <jimple-frontend/AST/jimple_ast.h>
#include <jimple-frontend/AST/jimple_modifiers.h>
#include <jimple-frontend/AST/jimple_class_member.h>
#include <util/irep/expr.h>

class jimple_file : public jimple_ast
{
public:
  // overrides
  virtual void from_json(const json &j) override;
  virtual std::string to_string() const override;

  void load_file(const std::string &path);
 
  // A file can be a class or interface
  enum class file_type
  {
    Class,
    Interface
  };
 
  // Get the file_type using a string
  file_type from_string(const std::string &name) const;
 
  // Convert file_type into a string
  std::string to_string(const file_type &ft) const;

  virtual exprt to_exprt(contextt &ctx) const;
 
  bool is_interface() const
  {
    return mode == file_type::Interface;
  }
  file_type mode;
  std::string class_name;
  std::string extends;
  std::string implements;
  jimple_modifiers modifiers;
  std::vector<std::shared_ptr<jimple_class_member>> body;
 
private:
  std::map<std::string, file_type> from_map = {
    {"Class", file_type::Class},
    {"Interface", file_type::Interface}};
 
  std::map<file_type, std::string> to_map = {
    {file_type::Class, "Class"},
    {file_type::Interface, "Interface"}};
};
#endif // ESBMC_JIMPLE_FILE_H