ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python2goto_parseopt Class Reference
Inheritance diagram for python2goto_parseopt:
[legend]

Public Member Functions

 python2goto_parseopt (int argc, const char **argv)
int doit () override
Public Member Functions inherited from parseoptions_baset
 parseoptions_baset (const struct group_opt_templ *opts, int argc, const char **argv)
virtual void help ()
virtual const char * fatal_signal_advice () const
 One line naming what this driver offers for a fuller crash report, or null.
virtual int main ()
virtual ~parseoptions_baset ()=default
void set_verbosity_msg (VerbosityLevel def=VerbosityLevel::Status)
Public Member Functions inherited from language_uit
 language_uit ()
virtual ~language_uit () noexcept=default
virtual bool parse (const cmdlinet &cmdline)
virtual bool parse (const std::string &filename)
virtual bool typecheck ()
virtual bool final ()
virtual void clear_parse ()
virtual void show_symbol_table ()
virtual void show_symbol_table_plain (std::ostream &out)
virtual void show_symbol_table_xml_ui ()

Additional Inherited Members

Public Types inherited from language_uit
typedef std::map< language_idt, std::unique_ptr< languaget > > langmapt
Public Attributes inherited from parseoptions_baset
cmdlinet cmdline
Public Attributes inherited from language_uit
langmapt langmap
contextt context
namespacet ns
Protected Member Functions inherited from language_uit
 language_uit (language_uit &&) noexcept
language_uit & operator= (language_uit &&) noexcept
Protected Attributes inherited from parseoptions_baset
boost::filesystem::path executable_path

Constructor & Destructor Documentation

◆ python2goto_parseopt()

python2goto_parseopt::python2goto_parseopt ( int argc,
const char ** argv )
inline

Member Function Documentation

◆ doit()

int python2goto_parseopt::doit ( )
inlineoverridevirtual

Implements parseoptions_baset.


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