#include <java_object_factory_parameters.h>
+ Inheritance diagram for java_object_factory_parameterst:
+ Collaboration diagram for java_object_factory_parameterst:
Assigns the parameters from given options.
Assigns the parameters from given options.
Force numerical primitive inputs to fall within the interval.
Force double and float inputs to be integral.
Maximum value for the non-deterministically-chosen length of an array.
Maximum value for the non-deterministically-chosen length of a string.
Minimum value for the non-deterministically-chosen length of a string.
Maximum depth of pointer chains (that contain recursion) in the nondet generated input objects.
To force a certain depth of non-null objects.
Force string content to be ASCII printable characters when set to true.
Force one of finitely many explicitly given input strings.
Function id, used as a prefix for identifiers of temporaries.
Detailed Description
Constructor & Destructor Documentation
◆ java_object_factory_parameterst() [1/2]
java_object_factory_parameterst::java_object_factory_parameterst
(
)
inline
◆ java_object_factory_parameterst() [2/2]
java_object_factory_parameterst::java_object_factory_parameterst
(
const optionst &
options )
Member Function Documentation
◆ set()
Member Data Documentation
◆ assume_inputs_integral
bool java_object_factory_parameterst::assume_inputs_integral
◆ assume_inputs_interval
The documentation for this struct was generated from the following files:
