crangler_parse_options.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: CRANGLER Command Line Option Processing
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
 
#include "crangler_parse_options.h"
 
#include <util/cout_message.h>
#include <util/exit_codes.h>
#include <util/version.h>
 
#include <json/json_parser.h>
 
#include <iostream>
 
#include "c_wrangler.h"
 
int crangler_parse_optionst::doit()
{
  if(cmdline.args.empty())
  {
    std::cerr << "please give a configuration file\n";
    return CPROVER_EXIT_INCORRECT_TASK;
  }
 
  for(const auto &file_name : cmdline.args)
    process_crangler_json(file_name);
 
  return 0;
}
 
void crangler_parse_optionst::process_crangler_json(
  const std::string &file_name)
{
  console_message_handlert message_handler;
  jsont configuration;
 
  if(parse_json(file_name, message_handler, configuration))
    return;
 
  c_wrangler(configuration);
}
 
void crangler_parse_optionst::help()
{
  std::cout << '\n'
            << banner_string("CRANGLER", CBMC_VERSION) << '\n'
            << "\n"
               "Usage:                       Purpose:\n"
               "\n"
               " crangler [-?] [-h] [--help]  show help\n"
               " crangler file.json ...       configuration file names\n"
               "\n";
}