14 #ifndef CPROVER_GOTO_CC_COMPILE_H 15 #define CPROVER_GOTO_CC_COMPILE_H 58 bool parse(
const std::string &filename);
86 #endif // CPROVER_GOTO_CC_COMPILE_H bool add_input_file(const std::string &)
puts input file names into a list and does preprocessing for libraries.
std::string output_file_executable
compilet(cmdlinet &_cmdline, ui_message_handlert &mh, bool Werror)
constructor
Globally accessible architectural configuration.
std::list< std::string > tmp_dirs
Goto Programs with Functions.
std::list< std::string > libraries
std::list< std::string > library_paths
unsigned function_body_count(const goto_functionst &)
const cmdlinet & _cmdline
bool doit()
reads and source and object files, compiles and links them into goto program objects.
bool find_library(const std::string &)
tries to find a library object file that matches the given library name.
bool write_bin_object_file(const std::string &, const symbol_tablet &, goto_functionst &)
writes the goto functions in the function table to a binary format object file.
bool parse_stdin()
parses a source file (low-level parsing)
bool compile()
parses source files and writes object files, or keeps the symbols in the symbol_table depending on th...
bool parse_source(const std::string &)
parses a source file
goto_functionst compiled_functions
std::string working_directory
bool write_object_file(const std::string &, const symbol_tablet &, goto_functionst &)
writes the goto functions in the function table to a binary format object file.
bool is_elf_file(const std::string &)
checking if we can load an object file
void convert_symbols(goto_functionst &dest)
std::string object_file_extension
std::list< std::string > source_files
std::list< std::string > object_files
bool link()
parses object files and links them
void add_compiler_specific_defines(class configt &config) const
std::string override_language
std::string output_file_object
~compilet()
cleans up temporary files
std::list< irep_idt > seen_modes