/**
  *  \file paranoid_visitor.cpp
  */

INTERFACE:

#include "ptree_program_visitor.h"

template<typename T>
class Paranoid_visitor : public Ptree_program_visitor<T> {
    typedef Ptree_program_visitor<T> Super;
 public:
    using Super::operator new;
    using Super::operator delete;

    Paranoid_visitor(Source* src)
        : Super(src), Ptree_visitor<T>(src) { }
};

IMPLEMENTATION:

#include <string>
#include <typeinfo>
#include "except.h"

template<typename T>
virtual T
Paranoid_visitor<T>::default_action(Ptree* p)
{
    if (p)
        bogus_ptree_error(std::string("Unexpected node type `") + typeid(*p).name() + "' encountered", p);
    else
        bogus_ptree_error("Unexpected empty node encountered", p);
    return T(0);                // silence compiler
}

// FIXME: move this to Ptree_visitor?
PUBLIC
template<typename T>
T
Paranoid_visitor<T>::visit_and_catch(Ptree* p)
{
    try {
        return visit(p);
    }
    catch(Compile_error& e) {
        e.print(std::cerr, p);
        return T(0);
    }
}