fold/fold.cc

   1 #include "fold/module.ih"
   2
   3 namespace odc {
   4
   5 const std::string Fold::TYPENAME("StdFolds.Fold^");
   6 const TypeProxy<Fold, View> Fold::PROXY;
   7
   8 Fold::Fold(INTEGER id) : View(id) {}
   9
  10 Fold::~Fold() {
  11         if (d_hidden != 0) {
  12                 delete d_hidden;
  13         }
  14         delete d_label;
  15 }
  16
  17 const std::string &Fold::getTypeName() const {
  18         return TYPENAME;
  19 }
  20
  21 } // namespace odc