symtab2gb_parse_options.cpp File Reference

#include "symtab2gb_parse_options.h"
#include <util/config.h>
#include <util/exception_utils.h>
#include <util/exit_codes.h>
#include <util/help_formatter.h>
#include <util/json.h>
#include <util/version.h>
#include <goto-programs/goto_model.h>
#include <goto-programs/write_goto_binary.h>
#include <ansi-c/ansi_c_language.h>
#include <ansi-c/goto-conversion/goto_convert_functions.h>
#include <json-symtab-language/json_goto_functions.h>
#include <json-symtab-language/json_symtab_language.h>
#include <json/json_parser.h>
#include <langapi/mode.h>
#include <linking/linking.h>
#include <fstream>
#include <iostream>
#include <string>

Include dependency graph for symtab2gb_parse_options.cpp:

Go to the source code of this file.

Functions
static bool	failed (bool error_indicator)
static void	run_symtab2gb (const std::vector< std::string > &symtab_filenames, const std::string &gb_filename, const std::string &goto_functions_filename_or_empty, const std::string &cmdline_verbosity)

Function Documentation

failed()

bool failed ( bool error_indicator )

inlinestatic

Definition at line 41 of file symtab2gb_parse_options.cpp.

run_symtab2gb()

void run_symtab2gb ( const std::vector< std::string > & symtab_filenames, const std::string & gb_filename, const std::string & goto_functions_filename_or_empty, const std::string & cmdline_verbosity )

static

Definition at line 46 of file symtab2gb_parse_options.cpp.