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