cprover
object_factory_parameters.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_UTIL_OBJECT_FACTORY_PARAMETERS_H
10 #define CPROVER_UTIL_OBJECT_FACTORY_PARAMETERS_H
11 
12 #include <cstdint>
13 #include <limits>
14 #include <list>
15 
16 #include <util/irep.h>
17 #include <util/magic.h>
18 #include <util/optional.h>
19 
20 class cmdlinet;
21 class optionst;
22 
24 {
26  {
27  }
28 
29  explicit object_factory_parameterst(const optionst &options)
30  {
31  set(options);
32  }
33 
34  virtual ~object_factory_parameterst() = default;
35 
38 
45 
48 
62 
73  size_t min_null_tree_depth = 0;
74 
76  bool string_printable = false;
77 
79  std::list<std::string> string_input_values;
80 
83 
85  void set(const optionst &);
86 };
87 
89 
90 #endif
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
object_factory_parameterst::~object_factory_parameterst
virtual ~object_factory_parameterst()=default
parse_object_factory_options
void parse_object_factory_options(const cmdlinet &, optionst &)
Parse the object factory parameters from a given command line.
Definition: object_factory_parameters.cpp:55
optionst
Definition: options.h:23
optional.h
object_factory_parameterst::object_factory_parameterst
object_factory_parameterst(const optionst &options)
Definition: object_factory_parameters.h:29
object_factory_parameterst::function_id
irep_idt function_id
Function id, used as a prefix for identifiers of temporaries.
Definition: object_factory_parameters.h:82
MAX_CONCRETE_STRING_SIZE
const std::size_t MAX_CONCRETE_STRING_SIZE
Definition: magic.h:14
object_factory_parameterst::string_input_values
std::list< std::string > string_input_values
Force one of finitely many explicitly given input strings.
Definition: object_factory_parameters.h:79
object_factory_parameterst
Definition: object_factory_parameters.h:24
magic.h
Magic numbers used throughout the codebase.
object_factory_parameterst::max_nondet_tree_depth
size_t max_nondet_tree_depth
Maximum depth of pointer chains (that contain recursion) in the nondet generated input objects.
Definition: object_factory_parameters.h:61
object_factory_parameterst::string_printable
bool string_printable
Force string content to be ASCII printable characters when set to true.
Definition: object_factory_parameters.h:76
cmdlinet
Definition: cmdline.h:21
object_factory_parameterst::max_nondet_array_length
size_t max_nondet_array_length
Maximum value for the non-deterministically-chosen length of an array.
Definition: object_factory_parameters.h:37
object_factory_parameterst::min_null_tree_depth
size_t min_null_tree_depth
To force a certain depth of non-null objects.
Definition: object_factory_parameters.h:73
object_factory_parameterst::set
void set(const optionst &)
Assigns the parameters from given options.
Definition: object_factory_parameters.cpp:15
object_factory_parameterst::max_nondet_string_length
size_t max_nondet_string_length
Maximum value for the non-deterministically-chosen length of a string.
Definition: object_factory_parameters.h:44
object_factory_parameterst::min_nondet_string_length
size_t min_nondet_string_length
Minimum value for the non-deterministically-chosen length of a string.
Definition: object_factory_parameters.h:47
object_factory_parameterst::object_factory_parameterst
object_factory_parameterst()
Definition: object_factory_parameters.h:25
irep.h