src/runtime.hpp

   1 #ifndef BLANK_RUNTIME_HPP_
   2 #define BLANK_RUNTIME_HPP_
   3
   4 #include <cstddef>
   5
   6
   7 namespace blank {
   8
   9 class Runtime {
  10
  11 public:
  12         enum Mode {
  13                 NORMAL,
  14                 FRAME_LIMIT,
  15                 TIME_LIMIT,
  16                 FIXED_FRAME_LIMIT,
  17                 ERROR,
  18         };
  19
  20         Runtime();
  21
  22         void ReadArgs(int argc, const char *const *argv);
  23
  24         int Execute();
  25
  26 private:
  27         const char *name;
  28         Mode mode;
  29         std::size_t n;
  30         std::size_t t;
  31         unsigned int seed;
  32
  33 };
  34
  35 }
  36
  37 #endif