CBMC
free_form_cmdline.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Unit test utilities
4 
5 Author: Diffblue Limited.
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_TESTING_UTILS_FREE_FORM_CMDLINE_H
10 #define CPROVER_TESTING_UTILS_FREE_FORM_CMDLINE_H
11 
12 #include <util/cmdline.h>
13 
17 class free_form_cmdlinet : public cmdlinet
18 {
19 public:
20  void add_flag(std::string flag);
21  void add_option(std::string flag, std::string value);
22 
23 private:
24  void create_flag(const std::string &flag_name);
25 };
26 
27 #endif // CPROVER_TESTING_UTILS_FREE_FORM_CMDLINE_H
free_form_cmdlinet
An implementation of cmdlinet to be used in tests.
Definition: free_form_cmdline.h:18
free_form_cmdlinet::create_flag
void create_flag(const std::string &flag_name)
Create a command line option that can be set.
Definition: free_form_cmdline.cpp:13
free_form_cmdlinet::add_flag
void add_flag(std::string flag)
Equivalent to specifying –flag for the command line.
Definition: free_form_cmdline.cpp:22
free_form_cmdlinet::add_option
void add_option(std::string flag, std::string value)
Equivalent to specifying –flag value.
Definition: free_form_cmdline.cpp:31