as_cmdlinet Class Reference
#include <as_cmdline.h>
Inheritance diagram for as_cmdlinet: Collaboration diagram for as_cmdlinet:Public Member Functions | |
| virtual bool | parse (int, const char **) |
| as_cmdlinet () | |
| Public Member Functions inherited from goto_cc_cmdlinet | |
| ~goto_cc_cmdlinet () | |
| std::size_t | get_optnr (const std::string &option) |
| void | set (const std::string &opt, const char *value) override |
Set option option to value. More... | |
| void | set (const std::string &opt, const std::string &value) override |
| void | set (const std::string &opt, bool value=true) override |
Set option option to value, or true if the value is omitted. More... | |
| bool | have_infile_arg () const |
| virtual bool | parse (int argc, const char **argv, const char *optstring) |
Parses a commandline according to a specification given in optstring. More... | |
| Public Member Functions inherited from cmdlinet | |
| virtual bool | parse (int argc, const char **argv, const char *optstring) |
Parses a commandline according to a specification given in optstring. More... | |
| std::string | get_value (char option) const |
| std::string | get_value (const char *option) const |
| const std::list< std::string > & | get_values (const std::string &option) const |
| const std::list< std::string > & | get_values (char option) const |
| std::list< std::string > | get_comma_separated_values (const char *option) const |
Collect all occurrences of option option and split their values on each comma, merging them into a single list of values. More... | |
| virtual bool | isset (char option) const |
| virtual bool | isset (const char *option) const |
| virtual void | clear () |
| bool | has_option (const std::string &option) const |
| option_namest | option_names () const |
| Pseudo-object that can be used to iterate over options in this cmdlinet (should not outlive this) More... | |
| cmdlinet () | |
| virtual | ~cmdlinet () |
| std::vector< std::string > | get_argument_suggestions (const std::string &unknown_argument) |
Additional Inherited Members | |
| Public Types inherited from goto_cc_cmdlinet | |
| typedef std::list< argt > | parsed_argvt |
| Public Types inherited from cmdlinet | |
| typedef std::vector< std::string > | argst |
| Static Public Member Functions inherited from goto_cc_cmdlinet | |
| static bool | in_list (const char *option, const char **list) |
| Public Attributes inherited from goto_cc_cmdlinet | |
| parsed_argvt | parsed_argv |
| std::string | stdin_file |
| Public Attributes inherited from cmdlinet | |
| argst | args |
| std::string | unknown_arg |
| Protected Member Functions inherited from goto_cc_cmdlinet | |
| void | add_arg (const std::string &arg) |
| void | add_infile_arg (const std::string &arg) |
| Protected Member Functions inherited from cmdlinet | |
| void | parse_optstring (const char *optstring) |
| Parses an optstring and writes the result to cmdlinet::options. More... | |
| bool | parse_arguments (int argc, const char **argv) |
| Parses a commandline according to a previously parsed optstring and writes the result to cmdlinet::options. More... | |
| std::optional< std::size_t > | getoptnr (char option) const |
| std::optional< std::size_t > | getoptnr (const std::string &option) const |
| Protected Attributes inherited from cmdlinet | |
| std::vector< optiont > | options |
Detailed Description
Definition at line 20 of file as_cmdline.h.
Constructor & Destructor Documentation
◆ as_cmdlinet()
|
inline |
Definition at line 26 of file as_cmdline.h.
Member Function Documentation
◆ parse()
|
virtual |
Implements goto_cc_cmdlinet.
Definition at line 80 of file as_cmdline.cpp.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/goto-cc/as_cmdline.h
- /home/runner/work/cbmc/cbmc/src/goto-cc/as_cmdline.cpp
