interface/isl-noexceptions.h.pre

   1
   2 #include <functional>
   3 #include <string>
   4
   5 namespace isl {
   6 inline namespace noexceptions {
   7
   8 #define ISLPP_STRINGIZE_(X) #X
   9 #define ISLPP_STRINGIZE(X) ISLPP_STRINGIZE_(X)
  10
  11 #define ISLPP_ASSERT(test, message)                          \
  12   do {                                                       \
  13     if (test)                                                \
  14       break;                                                 \
  15     fputs("Assertion \"" #test "\" failed at " __FILE__      \
  16       ":" ISLPP_STRINGIZE(__LINE__) "\n  " message "\n",     \
  17       stderr);                                               \
  18   } while (0)
  19
  20 class boolean {
  21 private:
  22   isl_bool val;
  23
  24   friend isl::boolean manage(isl_bool val);
  25   boolean(isl_bool val): val(val) {}
  26 public:
  27   boolean()
  28       : val(isl_bool_error) {}
  29
  30   /* implicit */ boolean(bool val)
  31       : val(val ? isl_bool_true : isl_bool_false) {}
  32
  33   bool is_error() const { return val == isl_bool_error; }
  34   bool is_false() const { return val == isl_bool_false; }
  35   bool is_true() const { return val == isl_bool_true; }
  36
  37   explicit operator bool() const {
  38     ISLPP_ASSERT(!is_error(), "IMPLEMENTATION ERROR: Unhandled error state");
  39     return is_true();
  40   }
  41
  42   boolean operator!() const {
  43     if (is_error())
  44       return *this;
  45     return !is_true();
  46   }
  47 };
  48
  49 inline isl::boolean manage(isl_bool val) {
  50   return isl::boolean(val);
  51 }
  52
  53 class ctx {
  54   isl_ctx *ptr;
  55 public:
  56   /* implicit */ ctx(isl_ctx *ctx)
  57       : ptr(ctx) {}
  58   isl_ctx *release() {
  59     auto tmp = ptr;
  60     ptr = nullptr;
  61     return tmp;
  62   }
  63   isl_ctx *get() {
  64     return ptr;
  65   }
  66 };
  67
  68 enum class stat {
  69   ok = isl_stat_ok,
  70   error = isl_stat_error
  71 };
  72
  73 }
  74 } // namespace isl