/**
 ** \file assert/type-checker.cc
 ** \brief Implementation of assert::TypeChecker.
 */

#include <assert/type-checker.hh>

namespace assert
{

  TypeChecker::TypeChecker() = default;

  void TypeChecker::operator()(ast::AssertExp& e)
  {
    // FIXME DONE: Some code was deleted here. (implement method documentation)
    check_type(e.cond_get(), "assertion", type::Int::instance());

    type_default(e, &type::Void::instance());
  }

} // namespace assert