#include <jdiff_parse_options.h>
|
virtual int | doit () |
| invoke main modules More...
|
|
virtual void | help () |
| display command line help More...
|
|
| jdiff_parse_optionst (int argc, const char **argv) |
|
| jdiff_parse_optionst (int argc, const char **argv, const std::string &extra_options) |
|
| parse_options_baset (const std::string &optstring, int argc, const char **argv) |
|
virtual void | usage_error () |
|
virtual int | main () |
|
virtual | ~parse_options_baset () |
|
| jdiff_languagest (const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options) |
|
| language_uit (const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options=nullptr) |
| Constructor. More...
|
|
virtual | ~language_uit () |
| Destructor. More...
|
|
virtual bool | parse () |
|
virtual bool | parse (const std::string &filename) |
|
virtual bool | typecheck () |
|
virtual bool | final () |
|
virtual void | clear_parse () |
|
virtual void | show_symbol_table (bool brief=false) |
|
virtual void | show_symbol_table_plain (std::ostream &out, bool brief) |
|
virtual void | show_symbol_table_xml_ui (bool brief) |
|
uit | get_ui () |
|
virtual void | set_message_handler (message_handlert &_message_handler) |
|
message_handlert & | get_message_handler () |
|
| messaget () |
|
| messaget (const messaget &other) |
|
messaget & | operator= (const messaget &other) |
|
| messaget (message_handlert &_message_handler) |
|
virtual | ~messaget () |
|
mstreamt & | get_mstream (unsigned message_level) const |
|
mstreamt & | error () const |
|
mstreamt & | warning () const |
|
mstreamt & | result () const |
|
mstreamt & | status () const |
|
mstreamt & | statistics () const |
|
mstreamt & | progress () const |
|
mstreamt & | debug () const |
|
void | conditional_output (mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const |
| Generate output to message_stream using output_generator if the configured verbosity is at least as high as that of message_stream . More...
|
|
Definition at line 45 of file jdiff_parse_options.h.
◆ jdiff_parse_optionst() [1/2]
jdiff_parse_optionst::jdiff_parse_optionst |
( |
int |
argc, |
|
|
const char ** |
argv |
|
) |
| |
◆ jdiff_parse_optionst() [2/2]
jdiff_parse_optionst::jdiff_parse_optionst |
( |
int |
argc, |
|
|
const char ** |
argv, |
|
|
const std::string & |
extra_options |
|
) |
| |
◆ doit()
int jdiff_parse_optionst::doit |
( |
| ) |
|
|
virtual |
◆ get_command_line_options()
void jdiff_parse_optionst::get_command_line_options |
( |
optionst & |
options | ) |
|
|
protectedvirtual |
◆ get_goto_program()
◆ help()
void jdiff_parse_optionst::help |
( |
| ) |
|
|
virtual |
◆ preprocessing()
void jdiff_parse_optionst::preprocessing |
( |
| ) |
|
|
protected |
◆ process_goto_program()
bool jdiff_parse_optionst::process_goto_program |
( |
const optionst & |
options, |
|
|
goto_modelt & |
goto_model |
|
) |
| |
|
protectedvirtual |
◆ languages2
◆ options
◆ ui_message_handler
The documentation for this class was generated from the following files: