cprover
compilet Member List
This is the complete list of members for
compilet
, including all inherited members.
add_compiler_specific_defines
() const
compilet
protected
add_files_from_archive
(const std::string &file_name, bool thin_archive)
compilet
add_input_file
(const std::string &)
compilet
add_written_cprover_symbols
(const symbol_tablet &symbol_table)
compilet
protected
ASSEMBLE_ONLY
enum value
compilet
blue
messaget
static
bold
messaget
static
bright_blue
messaget
static
bright_cyan
messaget
static
bright_green
messaget
static
bright_magenta
messaget
static
bright_red
messaget
static
bright_yellow
messaget
static
cmdline
compilet
protected
command
(unsigned c)
messaget
inline
static
compile
()
compilet
COMPILE_LINK
enum value
compilet
COMPILE_LINK_EXECUTABLE
enum value
compilet
COMPILE_ONLY
enum value
compilet
compilet
(cmdlinet &_cmdline, message_handlert &mh, bool Werror)
compilet
conditional_output
(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
messaget
convert_symbols
(goto_functionst &dest)
compilet
protected
cprover_macro_arities
(std::map< irep_idt, std::size_t > &cprover_macros) const
compilet
inline
cyan
messaget
static
debug
() const
messaget
inline
doit
()
compilet
echo_file_name
compilet
eom
messaget
static
error
() const
messaget
inline
eval_verbosity
(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
messaget
static
faint
messaget
static
file_local_mangle_suffix
compilet
protected
find_library
(const std::string &)
compilet
function_body_count
(const goto_functionst &) const
compilet
protected
get_message_handler
()
messaget
inline
get_mstream
(unsigned message_level) const
messaget
inline
goto_model
compilet
green
messaget
static
italic
messaget
static
keep_file_local
compilet
protected
libraries
compilet
library_paths
compilet
link
()
compilet
LINK_LIBRARY
enum value
compilet
M_DEBUG
enum value
messaget
M_ERROR
enum value
messaget
M_PROGRESS
enum value
messaget
M_RESULT
enum value
messaget
M_STATISTICS
enum value
messaget
M_STATUS
enum value
messaget
M_WARNING
enum value
messaget
magenta
messaget
static
message_handler
messaget
protected
message_levelt
enum name
messaget
messaget
()
messaget
inline
messaget
(const messaget &other)
messaget
inline
messaget
(message_handlert &_message_handler)
messaget
inline
explicit
mode
compilet
mstream
messaget
mutable
protected
ns
compilet
object_file_extension
compilet
object_files
compilet
operator=
(const messaget &other)
messaget
inline
output_directory_object
compilet
output_file_executable
compilet
output_file_object
compilet
override_language
compilet
parse
(const std::string &filename, language_filest &)
compilet
parse_source
(const std::string &)
compilet
parse_stdin
(languaget &)
compilet
PREPROCESS_ONLY
enum value
compilet
progress
() const
messaget
inline
red
messaget
static
reset
messaget
static
result
() const
messaget
inline
seen_modes
compilet
set_message_handler
(message_handlert &_message_handler)
messaget
inline
virtual
source_files
compilet
statistics
() const
messaget
inline
status
() const
messaget
inline
tmp_dirs
compilet
underline
messaget
static
validate_goto_model
compilet
warning
() const
messaget
inline
warning_is_fatal
compilet
protected
working_directory
compilet
write_bin_object_file
(const std::string &, const goto_modelt &)
compilet
written_macros
compilet
protected
wrote_object
compilet
protected
wrote_object_files
() const
compilet
inline
yellow
messaget
static
~compilet
()
compilet
~messaget
()
messaget
virtual
Generated by
1.8.20