main.cpp

#include <cstdio>
#include <cstring>

#include "usage.h"

int main_sketch(int argc, char *argv[]);
int main_dump(int argc, char *argv[]);
int main_kan(int argc, char *argv[]);
int main_search(int argc, char *argv[]);
// int main_map(int argc, char *argv[]);
int main_call(int argc, char *argv[]);

using namespace std;

int main(int argc, char *argv[]) {
  if (argc == 1) {
    fprintf(stderr, "%s", MAIN_USAGE);
    return 1;
  }
  if (strcmp(argv[1], "sketch") == 0)
    return main_sketch(argc - 1, argv + 1);
  // else if (strcmp(argv[1], "dump") == 0)
  //   return main_dump(argc - 1, argv + 1);
  else if (strcmp(argv[1], "kan") == 0)
    return main_kan(argc - 1, argv + 1);
  // else if (strcmp(argv[1], "map") == 0)
  //   return 2; // main_map(argc - 1, argv + 1);
  else if (strcmp(argv[1], "search") == 0)
    return main_search(argc - 1, argv + 1);
  else if (strcmp(argv[1], "call") == 0)
    return main_call(argc - 1, argv + 1);
  else {
    fprintf(stderr, "%s", MAIN_USAGE);
    return 1;
  }
}