jimple_declaration.h

Go to the documentation of this file.

#ifndef ESBMC_JIMPLE_DECLARATION_H
#define ESBMC_JIMPLE_DECLARATION_H
 
#include <jimple-frontend/AST/jimple_method_body.h>
#include <jimple-frontend/AST/jimple_type.h>

class jimple_declaration : public jimple_method_field
{
public:
  virtual void from_json(const json &j) override;
  virtual std::string to_string() const override;
  virtual expr2tc to_code2t(
    contextt &ctx,
    const std::string &class_name,
    const std::string &function_name,
    const locationt &loc) const override;
 
  jimple_type type;
  std::string name;
};
 
#endif // ESBMC_JIMPLE_DECLARATION_H