blob: c55bb433b5a2c9d5208faac3a12b15a6a7099d34 (
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
|
/**
** \file ast/assert-visitor.hxx
** \brief Implementation for ast/assert-visitor.hh.
*/
#pragma once
#include <ast/assert-exp.hh>
#include <ast/assert-visitor.hh>
namespace ast
{
template <template <typename> class Const>
GenAssertVisitor<Const>::GenAssertVisitor()
: GenVisitor<Const>()
{}
template <template <typename> class Const>
GenAssertVisitor<Const>::~GenAssertVisitor()
{}
/*-------------------------------.
| Assert-related visit method. |
`-------------------------------*/
template <template <typename> class Const>
void GenAssertVisitor<Const>::operator()(const_t<AssertExp>& e)
{
e.cond_get().accept(*this);
}
} // namespace ast
|
