blob: dd0990dc9c9ebae283e6f4abb0c89bf0ddbad07c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
/**
** \file ast/assert-visitor.hxx
** \brief Implementation for ast/assert-visitor.hh.
*/
#pragma once
#include <ast/assert-exp.hh>
#include <ast/assert-visitor.hh>
#include <misc/contract.hh>
namespace ast
{
template <template <typename> class Const>
GenNonAssertVisitor<Const>::GenNonAssertVisitor()
: GenVisitor<Const>()
{}
template <template <typename> class Const>
GenNonAssertVisitor<Const>::~GenNonAssertVisitor()
{}
/*-------------------------------.
| Assert-related visit method. |
`-------------------------------*/
template <template <typename> class Const>
void GenNonAssertVisitor<Const>::operator()(const_t<AssertExp>&)
{
// We must not be here (there should be no assert feature in plain Tiger).
unreachable();
}
} // namespace ast
|
