cprover
janalyzer_parse_optionst Member List
This is the complete list of members for
janalyzer_parse_optionst
, including all inherited members.
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
build_analyzer
(const optionst &, const namespacet &ns)
janalyzer_parse_optionst
protected
cmdline
parse_options_baset
command
(unsigned c)
messaget
inline
static
conditional_output
(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
messaget
cyan
messaget
static
debug
() const
messaget
inline
doit
() override
janalyzer_parse_optionst
virtual
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
get_command_line_options
(optionst &options)
janalyzer_parse_optionst
protected
virtual
get_message_handler
()
messaget
inline
get_mstream
(unsigned message_level) const
messaget
inline
get_ui
()
janalyzer_parse_optionst
inline
protected
goto_model
janalyzer_parse_optionst
protected
green
messaget
static
help
() override
janalyzer_parse_optionst
virtual
italic
messaget
static
janalyzer_parse_optionst
(int argc, const char **argv)
janalyzer_parse_optionst
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
main
()
parse_options_baset
virtual
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
mstream
messaget
mutable
protected
operator=
(const messaget &other)
messaget
inline
parse_options_baset
(const std::string &optstring, int argc, const char **argv)
parse_options_baset
parse_result
parse_options_baset
private
perform_analysis
(const optionst &options)
janalyzer_parse_optionst
protected
virtual
process_goto_program
(const optionst &options)
janalyzer_parse_optionst
protected
virtual
progress
() const
messaget
inline
red
messaget
static
register_languages
()
janalyzer_parse_optionst
protected
virtual
reset
messaget
static
result
() const
messaget
inline
set_message_handler
(message_handlert &_message_handler)
messaget
inline
virtual
set_properties
()
janalyzer_parse_optionst
protected
statistics
() const
messaget
inline
status
() const
messaget
inline
ui_message_handler
janalyzer_parse_optionst
protected
underline
messaget
static
unknown_option_msg
()
parse_options_baset
private
usage_error
()
parse_options_baset
virtual
warning
() const
messaget
inline
yellow
messaget
static
~messaget
()
messaget
virtual
~parse_options_baset
()
parse_options_baset
inline
virtual
Generated by
1.8.16