/**
 ** \file ast/non-object-visitor.hxx
 ** \brief Implementation for ast/non-object-visitor.hh.
 */

#pragma once

#include <ast/all.hh>
#include <ast/non-object-visitor.hh>
#include <misc/contract.hh>

namespace ast
{
  template <template <typename> class Const>
  GenNonObjectVisitor<Const>::GenNonObjectVisitor()
    : GenVisitor<Const>()
  {}

  template <template <typename> class Const>
  GenNonObjectVisitor<Const>::~GenNonObjectVisitor()
  {}

  /*-----------------------------------------.
  | Object-related visit methods, disabled.  |
  `-----------------------------------------*/

  template <template <typename> class Const>
  void GenNonObjectVisitor<Const>::operator()(const_t<ClassTy>&)
  {
    // We must not be here (there should be no object feature in plain Tiger).
    unreachable();
  }

  template <template <typename> class Const>
  void GenNonObjectVisitor<Const>::operator()(const_t<MethodChunk>&)
  {
    // We must not be here (there should be no object feature in plain Tiger).
    unreachable();
  }

  template <template <typename> class Const>
  void GenNonObjectVisitor<Const>::operator()(const_t<MethodDec>&)
  {
    // We must not be here (there should be no object feature in plain Tiger).
    unreachable();
  }

  template <template <typename> class Const>
  void GenNonObjectVisitor<Const>::operator()(const_t<MethodCallExp>&)
  {
    // We must not be here (there should be no object feature in plain Tiger).
    unreachable();
  }

  template <template <typename> class Const>
  void GenNonObjectVisitor<Const>::operator()(const_t<ObjectExp>&)
  {
    // We must not be here (there should be no object feature in plain Tiger).
    unreachable();
  }

} // namespace ast