Loading...

Searching...

No Matches

parse_options_baset Class Referenceabstract

#include <parse_options.h>

+ Inheritance diagram for parse_options_baset:

[フレーム]

[legend]

+ Collaboration diagram for parse_options_baset:

[フレーム]

[legend]

Public Member Functions

parse_options_baset (const std::string &optstring, int argc, const char **argv, const std::string &program)

virtual void help ()

virtual void usage_error ()

virtual int doit ()=0

virtual int main ()

virtual ~parse_options_baset ()

void log_version_and_architecture (const std::string &front_end)

Write version and system architecture to log.status().

Public Attributes

cmdlinet cmdline

Protected Member Functions

virtual void register_languages ()

Protected Attributes

ui_message_handlert ui_message_handler

messaget log

Private Member Functions

void unknown_option_msg ()

Print an error message mentioning the option that was not recognized when parsing the command line.

Private Attributes

bool parse_result

Detailed Description

Definition at line 19 of file parse_options.h.

Constructor & Destructor Documentation

◆ parse_options_baset()

parse_options_baset::parse_options_baset ( const std::string & optstring,

int argc,

const char ** argv,

const std::string & program

)

Definition at line 28 of file parse_options.cpp.

◆ ~parse_options_baset()

virtual parse_options_baset::~parse_options_baset ( )

inlinevirtual

Definition at line 36 of file parse_options.h.

Member Function Documentation

◆ doit()

virtual int parse_options_baset::doit ( )

pure virtual

Implemented in janalyzer_parse_optionst, jbmc_parse_optionst, jdiff_parse_optionst, cbmc_parse_optionst, crangler_parse_optionst, goto_analyzer_parse_optionst, goto_bmc_parse_optionst, goto_diff_parse_optionst, goto_harness_parse_optionst, goto_inspect_parse_optionst, goto_instrument_parse_optionst, goto_synthesizer_parse_optionst, memory_analyzer_parse_optionst, and symtab2gb_parse_optionst.

◆ help()

void parse_options_baset::help ( )

virtual

Reimplemented in janalyzer_parse_optionst, jbmc_parse_optionst, jdiff_parse_optionst, cbmc_parse_optionst, crangler_parse_optionst, goto_analyzer_parse_optionst, goto_bmc_parse_optionst, goto_diff_parse_optionst, goto_harness_parse_optionst, goto_inspect_parse_optionst, goto_instrument_parse_optionst, goto_synthesizer_parse_optionst, memory_analyzer_parse_optionst, and symtab2gb_parse_optionst.

Definition at line 42 of file parse_options.cpp.

◆ log_version_and_architecture()

void parse_options_baset::log_version_and_architecture ( const std::string & front_end )

Write version and system architecture to log.status().

Definition at line 149 of file parse_options.cpp.

◆ main()

int parse_options_baset::main ( )

virtual

Definition at line 75 of file parse_options.cpp.

◆ register_languages()

virtual void parse_options_baset::register_languages ( )

inlineprotectedvirtual

Reimplemented in janalyzer_parse_optionst, jdiff_parse_optionst, cbmc_parse_optionst, goto_analyzer_parse_optionst, goto_diff_parse_optionst, goto_instrument_parse_optionst, goto_synthesizer_parse_optionst, memory_analyzer_parse_optionst, and symtab2gb_parse_optionst.

Definition at line 48 of file parse_options.h.

◆ unknown_option_msg()

void parse_options_baset::unknown_option_msg ( )

private

Print an error message mentioning the option that was not recognized when parsing the command line.

Definition at line 54 of file parse_options.cpp.

◆ usage_error()

void parse_options_baset::usage_error ( )

virtual

Definition at line 46 of file parse_options.cpp.

Member Data Documentation

◆ cmdline

cmdlinet parse_options_baset::cmdline

Definition at line 28 of file parse_options.h.

◆ log

messaget parse_options_baset::log

protected

Definition at line 46 of file parse_options.h.

◆ parse_result

bool parse_options_baset::parse_result

private

Definition at line 42 of file parse_options.h.

◆ ui_message_handler

ui_message_handlert parse_options_baset::ui_message_handler

protected

Definition at line 45 of file parse_options.h.

The documentation for this class was generated from the following files:

/home/runner/work/cbmc/cbmc/src/util/parse_options.h
/home/runner/work/cbmc/cbmc/src/util/parse_options.cpp