store.cc

   1 #include <store.h>
   2
   3 namespace odc {
   4
   5 template<class T, class A> T join(const A & begin, const A & end, const T &sep) {
   6         T result;
   7
   8         if (begin != end) {
   9                 A it = begin;
  10                 result.append(*it);
  11                 for (++it; it != end; ++it) {
  12                         result.append(sep).append(*it);
  13                 }
  14         }
  15
  16         return result;
  17 }
  18
  19 std::string TypePath::toString() const {
  20         return join(begin(), end(), std::string("->"));
  21 }
  22
  23 Store::Store(INTEGER id): d_id(id) {}
  24
  25 INTEGER Store::getId() {
  26         return d_id;
  27 }
  28
  29 Domain* Store::getDomain() {
  30         return 0;
  31 }
  32
  33 }