object_factory_parameters.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#ifndef CPROVER_UTIL_OBJECT_FACTORY_PARAMETERS_H
#define CPROVER_UTIL_OBJECT_FACTORY_PARAMETERS_H
 
#include <list>
 
#include <util/irep.h>
#include <util/magic.h>
 
class cmdlinet;
class optionst;
 
struct object_factory_parameterst
{
  object_factory_parameterst()
  {
  }
  object_factory_parameterst() {…}
 
  explicit object_factory_parameterst(const optionst &options)
  {
    set(options);
  }
  explicit object_factory_parameterst(const optionst &options) {…}
 
  virtual ~object_factory_parameterst() = default;
 
  size_t max_nondet_array_length = 5;
 
  size_t max_nondet_string_length = MAX_CONCRETE_STRING_SIZE - 1;
 
  size_t min_nondet_string_length = 0;
 
  size_t max_nondet_tree_depth = 5;
 
  size_t min_null_tree_depth = 0;
 
  bool string_printable = false;
 
  std::list<std::string> string_input_values;
 
  irep_idt function_id;
 
  void set(const optionst &);
};
struct object_factory_parameterst {…};
 
void parse_object_factory_options(const cmdlinet &, optionst &);
 
#endif