statement_list_language.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Statement List Language Interface
 
Author: Matthias Weiss, matthias.weiss@diffblue.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_STATEMENT_LIST_STATEMENT_LIST_LANGUAGE_H
#define CPROVER_STATEMENT_LIST_STATEMENT_LIST_LANGUAGE_H
 
#include "statement_list_parse_tree.h"
#include <langapi/language.h>
 
#include <util/object_factory_parameters.h>
 
class statement_list_languaget : public languaget
{
public:
  void set_language_options(
    const optionst &options,
    message_handlert &message_handler) override;
 
  bool parse(
    std::istream &instream,
    const std::string &path,
    message_handlert &message_handler) override;
 
  bool generate_support_functions(
    symbol_table_baset &symbol_table,
    message_handlert &) override;
 
  bool typecheck(
    symbol_table_baset &symbol_table,
    const std::string &module,
    message_handlert &message_handler,
    const bool keep_file_local) override;
 
  bool typecheck(
    symbol_table_baset &symbol_table,
    const std::string &module,
    message_handlert &) override;
 
  bool can_keep_file_local() override;
 
  void show_parse(std::ostream &out, message_handlert &) override;
 
  // Constructor and destructor.
  ~statement_list_languaget() override;
  statement_list_languaget();
 
  bool from_expr(const exprt &expr, std::string &code, const namespacet &ns)
    override;
 
  bool from_type(const typet &type, std::string &code, const namespacet &ns)
    override;
 
  bool type_to_name(const typet &type, std::string &name, const namespacet &ns)
    override;
 
  bool to_expr(
    const std::string &code,
    const std::string &module,
    exprt &expr,
    const namespacet &ns,
    message_handlert &message_handler) override;
 
  std::unique_ptr<languaget> new_language() override;
 
  // ID, description, extensions, modules.
  std::string id() const override;
  std::string description() const override;
  std::set<std::string> extensions() const override;
  void modules_provided(std::set<std::string> &modules) override;
 
private:
  statement_list_parse_treet parse_tree;
  std::string parse_path;
  object_factory_parameterst params;
};
 
std::unique_ptr<languaget> new_statement_list_language();
 
#endif // CPROVER_STATEMENT_LIST_STATEMENT_LIST_LANGUAGE_H