java_object_factory_parameterst Struct Referencefinal
#include <java_object_factory_parameters.h>
Inheritance diagram for java_object_factory_parameterst: Collaboration diagram for java_object_factory_parameterst:Public Member Functions | |
| java_object_factory_parameterst () | |
| java_object_factory_parameterst (const optionst &options) | |
| void | set (const optionst &) |
| Assigns the parameters from given options. More... | |
| Public Member Functions inherited from object_factory_parameterst | |
| object_factory_parameterst () | |
| object_factory_parameterst (const optionst &options) | |
| virtual | ~object_factory_parameterst ()=default |
| void | set (const optionst &) |
| Assigns the parameters from given options. More... | |
Public Attributes | |
| interval_uniont | assume_inputs_interval = interval_uniont::all_integers() |
| Force numerical primitive inputs to fall within the interval. More... | |
| bool | assume_inputs_integral |
| Force double and float inputs to be integral. More... | |
| Public Attributes inherited from object_factory_parameterst | |
| size_t | max_nondet_array_length = 5 |
| Maximum value for the non-deterministically-chosen length of an array. More... | |
| size_t | max_nondet_string_length = MAX_CONCRETE_STRING_SIZE - 1 |
| Maximum value for the non-deterministically-chosen length of a string. More... | |
| size_t | min_nondet_string_length = 0 |
| Minimum value for the non-deterministically-chosen length of a string. More... | |
| size_t | max_nondet_tree_depth = 5 |
| Maximum depth of pointer chains (that contain recursion) in the nondet generated input objects. More... | |
| size_t | min_null_tree_depth = 0 |
| To force a certain depth of non-null objects. More... | |
| bool | string_printable = false |
| Force string content to be ASCII printable characters when set to true. More... | |
| std::list< std::string > | string_input_values |
| Force one of finitely many explicitly given input strings. More... | |
| irep_idt | function_id |
| Function id, used as a prefix for identifiers of temporaries. More... | |
Detailed Description
Definition at line 15 of file java_object_factory_parameters.h.
Constructor & Destructor Documentation
◆ java_object_factory_parameterst() [1/2]
|
inline |
Definition at line 17 of file java_object_factory_parameters.h.
◆ java_object_factory_parameterst() [2/2]
|
inlineexplicit |
Definition at line 21 of file java_object_factory_parameters.h.
Member Function Documentation
◆ set()
| void java_object_factory_parameterst::set | ( | const optionst & | options | ) |
Assigns the parameters from given options.
Definition at line 15 of file java_object_factory_parameters.cpp.
Member Data Documentation
◆ assume_inputs_integral
| bool java_object_factory_parameterst::assume_inputs_integral |
Force double and float inputs to be integral.
Definition at line 30 of file java_object_factory_parameters.h.
◆ assume_inputs_interval
| interval_uniont java_object_factory_parameterst::assume_inputs_interval = interval_uniont::all_integers() |
Force numerical primitive inputs to fall within the interval.
Definition at line 27 of file java_object_factory_parameters.h.
The documentation for this struct was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/java_object_factory_parameters.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/java_object_factory_parameters.cpp
