ansi_c_typecheck.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: ANSI-C Language Type Checking
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_ANSI_C_ANSI_C_TYPECHECK_H
#define CPROVER_ANSI_C_ANSI_C_TYPECHECK_H
 
#include "c_typecheck_base.h"
 
class ansi_c_parse_treet;
 
bool ansi_c_typecheck(
  ansi_c_parse_treet &parse_tree,
  symbol_table_baset &symbol_table,
  const std::string &module,
  message_handlert &message_handler);
 
bool ansi_c_typecheck(
  exprt &expr,
  message_handlert &message_handler,
  const namespacet &ns);
 
class ansi_c_typecheckt:public c_typecheck_baset
{
public:
  ansi_c_typecheckt(
    ansi_c_parse_treet &_parse_tree,
    symbol_table_baset &_symbol_table,
    const std::string &_module,
    message_handlert &_message_handler)
    : c_typecheck_baset(_symbol_table, _module, _message_handler),
      parse_tree(_parse_tree)
  {
  }
 
  ansi_c_typecheckt(
    ansi_c_parse_treet &_parse_tree,
    symbol_table_baset &_symbol_table1,
    const symbol_table_baset &_symbol_table2,
    const std::string &_module,
    message_handlert &_message_handler)
    : c_typecheck_baset(
        _symbol_table1,
        _symbol_table2,
        _module,
        _message_handler),
      parse_tree(_parse_tree)
  {
  }
 
  virtual ~ansi_c_typecheckt() { }
 
  virtual void typecheck();
 
protected:
  ansi_c_parse_treet &parse_tree;
};
 
#endif // CPROVER_ANSI_C_ANSI_C_TYPECHECK_H