/**
 ** \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