bound-checking-visitor.hh

Go to the documentation of this file.

#ifndef DESUGAR_BOUND_CHECKING_VISITOR_HH
# define DESUGAR_BOUND_CHECKING_VISITOR_HH

# include <map>
# include <parse/tweast.hh>
# include <astclone/cloner.hh>

namespace desugar
{

  class BoundCheckingVisitor : public astclone::Cloner
  {
  public:
    typedef astclone::Cloner super_type;

    // Import overloaded virtual functions.
    using super_type::operator();

    BoundCheckingVisitor();

    virtual ~BoundCheckingVisitor();


  public:
  // FIXME: Some code was deleted here.

  private:
    static const std::string prelude;

    // Symbols would be nicer, but maps of symbols are
    // inconvenient since there is no default ctor.
    typedef std::map<const type::Array*, std::string> boxes_type;
    boxes_type boxes_;
  };

} // namespace desugar

#endif // !DESUGAR_BOUND_CHECKING_VISITOR_HH