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()
  {
  }
 
  explicit object_factory_parameterst(const optionst &options)
  {
    set(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 &);
};
 
void parse_object_factory_options(const cmdlinet &, optionst &);
 
#endif