typecheck.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#include "typecheck.h"
 
#include "exception_utils.h"
#include "invariant.h"
 
bool typecheckt::typecheck_main()
{
  PRECONDITION(message_handler);
 
  const unsigned errors_before=
    message_handler->get_message_count(messaget::M_ERROR);
 
  try
  {
    typecheck();
  }
 
  catch(int)
  {
    error();
  }
 
  catch(const char *e)
  {
    error() << e << eom;
  }
 
  catch(const std::string &e)
  {
    error() << e << eom;
  }
 
  catch(const invalid_source_file_exceptiont &e)
  {
    error().source_location = e.get_source_location();
    error() << e.get_reason() << messaget::eom;
  }
 
  catch(const errort &e)
  {
    if(e.what().empty())
      error();
    else
    {
      error().source_location = e.source_location();
      error() << e.what() << messaget::eom;
    }
  }
 
  return message_handler->get_message_count(messaget::M_ERROR)!=errors_before;
}
bool typecheckt::typecheck_main() {…}