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_JAVA_BYTECODE_OBJECT_FACTORY_PARAMETERS_H
10 #define CPROVER_JAVA_BYTECODE_OBJECT_FACTORY_PARAMETERS_H
11 
12 #include <cstdint>
13 #include <limits>
14 
15 #include <util/irep.h>
16 
17 #define MAX_NONDET_ARRAY_LENGTH_DEFAULT 5
18 #define MAX_NONDET_STRING_LENGTH \
19  static_cast<std::size_t>(std::numeric_limits<std::int32_t>::max())
20 #define MAX_NONDET_TREE_DEPTH 5
21 #define MAX_NONNULL_TREE_DEPTH 0
22 
24 {
27 
30 
38 
50 
52  bool string_printable = false;
53 
56 };
57 
58 #endif
irep_idt function_id
Function id, used as a prefix for identifiers of temporaries.
size_t max_nondet_tree_depth
Maximum depth for object hierarchy on input.
#define MAX_NONDET_ARRAY_LENGTH_DEFAULT
bool string_printable
Force string content to be ASCII printable characters when set to true.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
Definition: dstring.h:33
size_t max_nondet_array_length
Maximum value for the non-deterministically-chosen length of an array.
size_t max_nondet_string_length
Maximum value for the non-deterministically-chosen length of a string.
#define MAX_NONDET_TREE_DEPTH
#define MAX_NONNULL_TREE_DEPTH
#define MAX_NONDET_STRING_LENGTH
size_t max_nonnull_tree_depth
To force a certain depth of non-null objects.