Cli.h

Go to the documentation of this file.

/*
 * Souffle - A Datalog Compiler
 * Copyright (c) 2016, The Souffle Developers. All rights reserved
 * Licensed under the Universal Permissive License v 1.0 as shown at:
 * - https://opensource.org/licenses/UPL
 * - <souffle root>/licenses/SOUFFLE-UPL.txt
 */
 
#pragma once
 
#include "souffle/profile/StringUtils.h"
#include "souffle/profile/Tui.h"
 
#include <iostream>
#include <map>
#include <string>
#include <vector>
#include <getopt.h>
 
namespace souffle {
namespace profile {
 
/*
 * CLI to parse command line arguments and start up the TUI to either run a single command,
 * generate the GUI file or run the TUI
 */
class Cli {
public:
    std::map<char, std::string> args;
 
    Cli(int argc, char* argv[]) : args() {
        int c;
        option longOptions[1];
        longOptions[0] = {nullptr, 0, nullptr, 0};
        while ((c = getopt_long(argc, argv, "c:hj::", longOptions, nullptr)) != EOF) {
            // An invalid argument was given
            if (c == '?') {
                exit(EXIT_FAILURE);
            }
            if (optarg != nullptr) {
                if (*optarg == '=') {
                    args[c] = optarg + 1;
                } else {
                    args[c] = optarg;
                }
            } else {
                args[c] = c;
            }
        }
        if (optind < argc && args.count('f') == 0) {
            args['f'] = argv[optind];
        }
    }
 
    void parse() {
        if (args.size() == 0) {
            std::cout << "No arguments provided.\nTry souffle-profile -h for help.\n";
            exit(EXIT_FAILURE);
        }
 
        if (args.count('h') != 0 || args.count('f') == 0) {
            std::cout << "Souffle Profiler" << std::endl
                      << "Usage: souffle-profile <log-file> [ -h | -c <command> [options] | -j ]" << std::endl
                      << "<log-file>            The log file to profile." << std::endl
                      << "-c <command>          Run the given command on the log file, try with  "
                         "'-c help' for a list"
                      << std::endl
                      << "                      of commands." << std::endl
                      << "-j[filename]          Generate a GUI (html/js) version of the profiler."
                      << std::endl
                      << "                      Default filename is profiler_html/[num].html" << std::endl
                      << "-h                    Print this help message." << std::endl;
            exit(0);
        }
        std::string filename = args['f'];
 
        if (args.count('c') != 0) {
            Tui tui(filename, false, false);
            for (auto& command : Tools::split(args['c'], ";")) {
                tui.runCommand(Tools::split(command, " "));
            }
        } else if (args.count('j') != 0) {
            if (args['j'] == "j") {
                Tui(filename, false, true).outputHtml();
            } else {
                Tui(filename, false, true).outputHtml(args['j']);
            }
        } else {
            Tui(filename, true, false).runProf();
        }
    }
};
 
}  // namespace profile
}  // namespace souffle