blob: 6a5bd141b92931d6925089d5fc260d46784309f9 (
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
|
/**
** \file assert/renamer.hh
** \brief Declaration of assert::Renamer.
*/
#pragma once
#include <ast/assert-visitor.hh>
#include <bind/renamer.hh>
namespace assert {
class Renamer
: public bind::Renamer
, public ast::AssertVisitor
{
public:
using super_type = ::bind::Renamer;
using super_type::operator();
// Build a renamer
Renamer();
// Visiting method for AssertExp nodes (redirects to
// `ast::AssertVisitor::operator()(ast::AssertExp&)`)
// \param e Node to visit
void operator()(ast::AssertExp& e) override;
};
} // namespace assert
|
