blob: 894ff6f6a792e0f4947e5a988c9be5a490fe4853 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/**
** \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
|
